void app_redisplay(int x, int y, int w, int h);
void app_swap_buffers(void);
void app_quit(void);
void app_resize(int x, int y);
void app_fullscreen(int fs);
void app_vsync(int vsync);
void app_redisplay(int x, int y, int w, int h);
void app_swap_buffers(void);
void app_quit(void);
void app_resize(int x, int y);
void app_fullscreen(int fs);
void app_vsync(int vsync);