0: COND_THROW_TO 10
1: COND_THROW_TO 6
2: EMPTY
3: COND_THROW_TO 10
4: THROW_TO 6
5: GOTO [END] 14
6: WRITE io
7: READ io
8: EMPTY
9: GOTO [END] 14
10: WRITE eof
11: READ eof
12: EMPTY
13: GOTO [END] 14
14: GOTO [END] 15 RETURN