pub const XKB_KEY_ISO_Set_Margin_Right: u32 = 65064;