0: COND_THROW_TO 10
1: COND_THROW_TO 10
2: COND_THROW_TO 10
3: GOTO [END] 8 RETURN
4: COND_THROW_TO 10
5: GOTO [END] 6
6: CALL 12
7: GOTO [END] 31
8: CALL 12
9: GOTO [END] 31 RETURN
10: CALL 12
11: GOTO [END] 30
12: COND_THROW_TO 20
13: EMPTY
14: COND_THROW_TO 20
15: GOTO [END] 16
16: CALL 22
17: GOTO [END] 27
18: CALL 22
19: GOTO [END] 28 RETURN
20: CALL 22
21: GOTO [END] 26
22: GOTO [END] 24 RETURN
23: RETURN FROM 22
24: RETURN FROM 22 TO 19
25: RETURN FROM 22 TO 21
26: THROW_TO 31
27: RETURN FROM 12
28: RETURN FROM 12 TO 9
29: RETURN FROM 12 TO 11
30: THROW_TO 31