This is needed so that the codegen can produce C ABI calls
that require knowledge about the actual size of arguments.

Specifically aarch64-darwin will require arguments (in exess
of available registers) to be passed *packed* on the stack.