pub const XK_percent: u32 = 0x025; // 37u32