1. Parameter with a Default Value
z3.4-default.cc
