pub const XK_gabovedot: u32 = 0x2f5; // 757u32