.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 callvalue swap15 jump lab0: jumpdest