extern VOID print_run_stats(); extern VOID print_final_stats(); extern VOID print_population();