0: always
1: cond
3: cond
4: cond
5: cond
7: loop
6: loop
10: loop
8: loop
9: cond
11: loop
12: loop
13: cond
14: cond
2: cond
15: loop
16: loop
17: always
