0: always
 1: cond
 4: loop
 2: loop
 5: loop
 3: cond
 6: cond