1 2 3
void bad_atari_filename(const char *msg); void sanity_check_filename(const char *fname); int safe_print_filename(const char *fname, FILE *fh);