exit_statement ::= EXIT [label_name] [WHEN boolean_expression];