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