<?php
function foo() {
   for($i=0, $j=1; $i<10; $i++) {
       while($j++) {
           if($j == 5) {
               goto end;
           }
       }
   }
end:
   // run cleanup code
}
?>