pub const XK_hairspace: u32 = 0xaa8; // 2_728u32