Sorry, just for the size. For the max-alignment, please keep it at 8. This may be changed later to 16, to allow complex128 to be implemented as a vector.

ABITypeAlignment possibly should be used, but in practice isn't going to be any different.