Note that this code may be redundant with the implementation in c-call/archs/x86-64-svid-fn.sml.

