"fall-through" and default values

[xigoi]

Correct. Only procedures can implicitly return the default value because of the 
`result` variable.