pub const XK_Greek_etaaccent: u32 = 0x7b3; // 1_971u32