.code
        push 0x01
        push lab0
        jumpi
        db 0x00
lab0:
        jumpdest