pub const XKB_KEY_ISO_Set_Margin_Right: u32 = 0xfe28;