pub const XKB_KEY_Thai_sarao: u32 = 3554;