while (alice) { charlie; last if bob; david; } #### do { charlie; last if bob; david; } while (alice);