int internal_keycode_from_sdl(int);