<<I hope that this requirement is applicable only to the externally visible efffect. A few days ago, I looked at assembler output from GCC 2.8.1, and I think there were some interleaved function calls (without externally visible effect, of course). >> All requirements in the standard are applicable only to the externally visible effect, all rules are "as-if".