In C++, default values can only appear as a suffix formal parameter list. In HAC, we allow default values in any position of the formal parameter list. However, each defaulting argument position in a type reference must be given a placeholder (a blank space between commas), even if it is at the end of the argument list.