Introducing default values

This demonstrates the possibility of clashing local values against
argument values.