| ERROR | no choices may appear with choice OTHERS in an exception handler |
| CAUSE | A construct of the form WHEN excep1 OR OTHERS => was encountered in the definition of an exception handler. The OTHERS handler must appear by itself as the last exception handler in a block. |
| ACTION | Remove the identifier that appears with OTHERS or write a separate exception handler for that identifier. |