pub const XK_KP_F4: u32 = 0xFF94; // 65_428u32