EXIT [ label_name ] [ WHEN boolean_expression ] ;