ABIs are not only a quirk of each compiler, rather the ABI can be covered by its own standards document. See for instance the SysV Amd64 ABI specification. One should not have the idea that ABIs are magical or impossible to specify, if it is desired to do so.