void abort_game(void);
void center_string(char *,int,int);
int  file_exists(char *);
void flushkey(void);
void init_graphics(void);
void init_mouse(void);
void put_string(char *,int,int);
void quit_graphics(void);