prn_writefile
static int prn_writefile(FILE *);
if (prn_writefile(fp) == -1)
if (prn_writefile(fp) == -1 || prn_write("\0", 1) == -1)