pub const XK_Thai_chochoe: u32 = 3500;