LOOP_START:
   do { bar() };
   goto LOOP_START unless foo();