.code
lab0:
        jumpdest
        push lab0
        jump