int init_machine(const char *gamename); int run_machine(const char *gamename); extern unsigned char RAM[];