The list of parameters in a function or procedure declaration can make use of default values as in:
The default value in implementation definition must match the declaration exactly. So the body definition cannot start with:
Here length is somewhat different.