To instantiate relationship functions, there is an associated set of relationship ‘body’
macros that take the same first four parameters (which must be invoked from a source file).
For example, to match the two relationship macros in Figure 27.19, we need the following
two statements: