db_get_output_file
extern char *db_get_output_file(void);
(void) snprintf(hfn, sizeof (hfn), "%s.c", db_get_output_file());
db_get_output_file());
db_get_output_file());
db_get_output_file());
db_get_output_file());