.code
        push lab0
        dup1
        jump
lab0:
        jumpdest