pub const XK_Greek_sigma: u32 = 0x7f2; // 2_034u32