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