pub const XK_colon: u32 = 0x03a; // 58u32