int main (int argc, char **argv, char **envp) { write_basic_trace_file (); done_making_trace_files (); return 0; }
int main (void) { write_basic_trace_file (); write_error_trace_file (); done_making_trace_files (); return 0; }