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