This is an old revision of the document!
Evm_bytecode is …
Example of a EVM ByteCode
00000d8b PUSH1 #2 {var_el_25} {var_co_53}
00000d8d EXP {var_co_53}
00000d8e SUB {var_c0_53} {var_a0_34}
00000d8f DUP4 {var_40_4} {var_co_54}
00000d90 AND {var_a0_35} {var_a@_34} {var_co_54}
00000d91 PUSH1 #0 {var_co_55}
00000d93 SWAP1 {var_a@_35} {var_a0_36} {var_co_56}
00000d94 DUP2 {var_e0_26}
Source: URI