Function calls

  A recent draft of the C specification says about "return":

|A return statement terminates execution of the current
|function and returns control to its caller.

  . There's also a section "Function calls" in a recent draft.
  I expect that this section says something similar, to the effect that
  during the evaluation of a function call, control is transferred to
  the called function, but I was not able to find such wording!