pub const XK_Greek_psi: u32 = 0x7f8; // 2_040u32