pub const XKB_KEY_Thai_maitho: u32 = 0x0de9;