[next] [prev] [prev-tail] [tail] [up]

3.2 Pre-checking loop

    while (c) 
    { 
      blk1; 
    }

Translates to

    L1: 
      if (!c) goto L2: 
      blk1; 
      goto L1; 
    L2:

[next] [prev] [prev-tail] [front] [up]