pub const XKB_KEY_Greek_accentdieresis: u32 = 0x07ae;