void input_scrub_close (void) { input_file_close (); physical_input_line = 0; logical_input_line = -1; }
void input_scrub_close (void) { input_file_close (); }