pub const XK_numerosign: u32 = 1712;