.code
        push lab0
        push 0x00
        push 0x00
        push 0x00
        push 0x00
        push 0x00
        push 0x00
        push 0x00
        push 0x00
        push 0x00
        push 0x00
        push 0x00
        push 0x00
        push 0x00
        push 0x00
        push 0x00
        dup16
        jump
lab0:
        jumpdest