pub const XK_F3: u32 = 65472;