Reading and writing of return values by call/return instructions are no longer considered memory transfers, but ignored as an implementation detail instead.