Source position: machotypes.pp line 32
type TMachOSubMachineTypex64 = (
msmx64_all,
msmx64_haswell
);