dtrace_program_header
if (dtrace_program_header(g_dtp, g_ofp, g_ofile) != 0 ||
extern int dtrace_program_header(dtrace_hdl_t *, FILE *, const char *);