Some fixes might be overkill and not actually needed. One can probably revert part of the changes safely.

We should also consider adding a stress option (potentially using StressCallingConvention) that thrashes all registers at calls into the runtime.