pub const XK_Greek_PSI: u32 = 0x7d8; // 2_008u32