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