pub const XK_Thai_sarauee: u32 = 3543;