.code push lab0 push 0x01 dup1 or pop jump lab0: jumpdest