Description of the illustration exit_statement.eps
EXIT [ label ] [ WHEN boolean_expression ] ;