pub const XKB_KEY_Num_Lock: u32 = 0xff7f;