LOOP: {
  charlie;
  last LOOP if bob;
  david;
  redo LOOP if alice;
}

##</code><code>##

for (;;) {
  charlie;
  last if bob;
  david;
  last if !alice;
}