* src/output.h (output_write): Remove unused function declaration * src/makeint.h (dbg): Add formatting attribute * src/misc.c (dbg): Keep the file open, once opened