0: COND_GOTO [END] 4
1: READ b
2: COND_GOTO [END] 4
3: THROW_TO 5
4: EMPTY
