| 0: EMPTY | |
| 1: READ o | |
| 2: COND_GOTO [END] 6 | |
| 3: READ childrenStamp | |
| 4: WRITE currentStamp | |
| 5: COND_GOTO [THEN] 11 | |
| 6: READ o2 | |
| 7: COND_GOTO [END] 13 | |
| 8: READ childrenStamp | |
| 9: WRITE currentStamp | |
| 10: COND_GOTO [END] 13 | |
| 11: READ currentStamp | |
| 12: WRITE childrenStamp |