In this Section, phrases such as ``the caller must pass...'' are constraints on the implementation (i.e., on the generated code produced by the compiler), not on the source code produced by the programmer.