pub const XK_abovedot: u32 = 0x1ff; // 511u32