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