write_header
if (write_header()) /* write header if no records */
if (write_header())
extern int write_header();
if (write_header(ef) == -1) {