void bad_atari_filename(const char *msg);
void sanity_check_filename(const char *fname);