Constant XK_ISO_Set_Margin_Right 

pub const XK_ISO_Set_Margin_Right: c_uint = 0xfe28;