In normal programming languages I can break out of loop under certain condition, or have multiple return statements.
If I would like to write a procedure, that checks
