pub const XK_numerosign: u32 = 1712; // 1_712u32