extern int fb_width;
extern int fb_height;
extern long fb_size;
-extern uint16_t *fb_pixels;
+extern uint16_t *fb_pixels, *vmem;
extern long time_msec;
+extern int show_fps;
extern void (*swap_buffers)(void*);
void game_quit(void);
void dbg_print(void *fb, int x, int y, const char *str);
+void dbg_printf(void *fb, int x, int y, const char *fmt, ...);
+void dbg_fps(void *fb);
#endif /* GAME_H_ */