This could only be true if the returned value is placed on the stack (where the size of the reserved space is determined by the expected type), but usually a re

This could only be true if the returned value is placed on the stack (where the size of the reserved space is determined by the expected type), but usually a register suffices, and then it does not matter as much.