The exit statement has the form
exit <name> ["(" <expr> ["," <expr>]* ")"]
An exit statement raises a local exception that must be handled
explicitly by a when arm of a containing except
statement; the compiler reports an error if an exit is not
handled, or is handled by a resignal or others handler.
Furthermore, the handler must handle any results explicitly: if there
are [tex2html_wrap2950] results, the decls in the matching arm must declare
[tex2html_wrap2952] variables, with types that are supertypes of the associated
expressions in the exit statement.