pub const XK_Thai_thothong: u32 = 3512;