extern void v20_Init(void);
extern void v20_Step(void);
extern void v20_Start(char * filename);
extern void v20_Input(int key);