void handle_keyboard(bool down, SDL_Keycode sym, SDL_Scancode scancode);