int preceding_buffer_size;
int scroll_xoffset, scroll_yoffset;
int preceding_buffer_size;
int scroll_xoffset, scroll_yoffset;
extern void InitGfxBuffers_SP();
extern void InitGameEngine_SP();
extern void GameActions_SP(byte *, boolean);
extern void InitGfxBuffers_SP();
extern void InitGameEngine_SP();
extern void GameActions_SP(byte *, boolean);