.code push 0x00 push 0x01 sload lt iszero push lab0 jumpi push 0x00 push 0x00 revert lab0: jumpdest