write_behind
write_behind(file, convert);
write_behind(file, convert); /* flush last buffer */
(void)write_behind(file, convert);
int write_behind(FILE *, int);