with Ortho_Code.X86.Flags_Linux;
package Ortho_Code.X86.Flags renames Ortho_Code.X86.Flags_Linux;