pub const XK_toprightsummation: u32 = 0x8b5; // 2_229u32