pub const XK_sevensuperior: u32 = 16785527;