int init_machine(const char *gamename);
int run_machine(void);

extern int dsw1;
extern unsigned char RAM[];