pub const XK_ISO_Set_Margin_Right: u32 = 0xfe28; // 65_064u32