pub const XK_Thai_nonu: u32 = 3513;