to make the IO_KEYBOARD_CODE index ok