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