0: READ b1
1: COND_GOTO [END] 4
2: READ b2
3: COND_GOTO [END] 6
4: EMPTY
5: GOTO [END] 0
6: GOTO [END] 7 RETURN
