A: S; if B then goto Z fi; T; goto A; Z: #### loop; S while !B: T; repeat; #### loop { S; } while (!B) { T; }