pub const XKB_KEY_Thai_leksong: u32 = 0x0df2;