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