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