Procedures with exit statement (and updated Readme)