pub const XK_rightmiddlesummation: u32 = 0x8b7; // 2_231u32