with Ortho_Code.X86.Abi;

package Ortho_Code.Abi renames Ortho_Code.X86.Abi;