on a 16 bytes boundary. To get things done, we currently duplicate a lot of code from copyargs(), this should be done in a nicer way.