.code
        push lab0
        jump
lab0:
        jumpdest
        push lab1
        jump
lab1:
        jumpdest