6. Pass by Reference
z3.7-reference.cc
