pub const XK_Greek_ETAaccent: u32 = 0x7a3; // 1_955u32