pub const XF86_Numeric12: u32 = 0x1008126d; // 268_964_461u32