Constant GDK_KEY_ISO_Release_Margin_Right 

pub const GDK_KEY_ISO_Release_Margin_Right: c_int = 65066;