char *(*window_title_function)(void);
void (*exit_message_function)(char *, va_list);
char *(*window_title_function)(void);
void (*exit_message_function)(char *, va_list);
int full_sxsize, full_sysize;
int scrollbuffer_width, scrollbuffer_height;
int full_sxsize, full_sysize;
int scrollbuffer_width, scrollbuffer_height;
void ClosePlatformDependentStuff(void);
void InitGfxFieldInfo(int, int, int, int, int, int, int, int, Bitmap *);
void ClosePlatformDependentStuff(void);
void InitGfxFieldInfo(int, int, int, int, int, int, int, int, Bitmap *);
void InitGfxDoor1Info(int, int, int, int);
void InitGfxDoor2Info(int, int, int, int);
void InitGfxDoor3Info(int, int, int, int);
void InitGfxDoor1Info(int, int, int, int);
void InitGfxDoor2Info(int, int, int, int);
void InitGfxDoor3Info(int, int, int, int);
void ReloadCustomImage(Bitmap *, char *);
Bitmap *ZoomBitmap(Bitmap *, int, int);
void ReloadCustomImage(Bitmap *, char *);
Bitmap *ZoomBitmap(Bitmap *, int, int);
void ScaleBitmap(Bitmap *, int);
void SetMouseCursor(int);
void ScaleBitmap(Bitmap *, int);
void SetMouseCursor(int);