pub const XK_KP_F3: u32 = 0xFF93; // 65_427u32