Exit Statements are Executable Miracles