exception_handler

exception_handler ::= 
      "when" [ choice_parameter_specification ":" ] 
      exception_choice { "|" exception_choice } "=>" 
      sequence_of_statements 

[rule list]
This rule is called by

-> handled_sequence_of_statements