void jumpnrun_render_player_symbol(badge_framebuffer *fb, int8_t x, int8_t y);
void jumpnrun_render_key_symbol (badge_framebuffer *fb, int8_t x, int8_t y);
void jumpnrun_render_player_symbol(badge_framebuffer *fb, int8_t x, int8_t y);
void jumpnrun_render_key_symbol (badge_framebuffer *fb, int8_t x, int8_t y);