Constant XK_toprightsummation 

pub const XK_toprightsummation: c_uint = 0x8b5;