4. Function Name Overloading
z3.6-overloading.cc
z3.6-swap.cc
- bad swap functions using overloading
