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