pub const XK_F12: u32 = 65481;