value of $exception unspecified

[crhf]

I see that $exception of procedures are not assigned a default value, so it remains unspecified in procedures that do not explicitly throw. Should we let $exception := $null; at the beginning of every procedure?