Move EOF activation to Prague

ethereum · Jul 19, 2023 · 57aa098 · 57aa098
1 parent be2d00b
commit 57aa098
Show file tree

Hide file tree

Showing 25 changed files with 98 additions and 97 deletions.
diff --git a/lib/evmone/advanced_execution.cpp b/lib/evmone/advanced_execution.cpp
@@ -33,7 +33,7 @@ evmc_result execute(evmc_vm* /*unused*/, const evmc_host_interface* host, evmc_h
     const bytes_view container = {code, code_size};
     if (is_eof_container(container))
     {
-        if (rev >= EVMC_CANCUN)
+        if (rev >= EVMC_PRAGUE)
         {
             const auto eof1_header = read_valid_eof1_header(container);
             analysis = analyze(rev, eof1_header.get_code(container, 0));

diff --git a/lib/evmone/baseline.cpp b/lib/evmone/baseline.cpp
@@ -85,7 +85,7 @@ CodeAnalysis analyze_eof1(bytes_view container)
 
 CodeAnalysis analyze(evmc_revision rev, bytes_view code)
 {
-    if (rev < EVMC_CANCUN || !is_eof_container(code))
+    if (rev < EVMC_PRAGUE || !is_eof_container(code))
         return analyze_legacy(code);
     return analyze_eof1(code);
 }

diff --git a/lib/evmone/baseline_instruction_table.cpp b/lib/evmone/baseline_instruction_table.cpp
@@ -24,25 +24,25 @@ constexpr auto common_cost_tables = []() noexcept {
 
 constexpr auto legacy_cost_tables = []() noexcept {
     auto tables = common_cost_tables;
-    tables[EVMC_CANCUN][OP_RJUMP] = instr::undefined;
-    tables[EVMC_CANCUN][OP_RJUMPI] = instr::undefined;
-    tables[EVMC_CANCUN][OP_RJUMPV] = instr::undefined;
-    tables[EVMC_CANCUN][OP_CALLF] = instr::undefined;
-    tables[EVMC_CANCUN][OP_RETF] = instr::undefined;
-    tables[EVMC_CANCUN][OP_DATALOAD] = instr::undefined;
-    tables[EVMC_CANCUN][OP_DATALOADN] = instr::undefined;
-    tables[EVMC_CANCUN][OP_DATASIZE] = instr::undefined;
-    tables[EVMC_CANCUN][OP_DATACOPY] = instr::undefined;
+    tables[EVMC_PRAGUE][OP_RJUMP] = instr::undefined;
+    tables[EVMC_PRAGUE][OP_RJUMPI] = instr::undefined;
+    tables[EVMC_PRAGUE][OP_RJUMPV] = instr::undefined;
+    tables[EVMC_PRAGUE][OP_CALLF] = instr::undefined;
+    tables[EVMC_PRAGUE][OP_RETF] = instr::undefined;
+    tables[EVMC_PRAGUE][OP_DATALOAD] = instr::undefined;
+    tables[EVMC_PRAGUE][OP_DATALOADN] = instr::undefined;
+    tables[EVMC_PRAGUE][OP_DATASIZE] = instr::undefined;
+    tables[EVMC_PRAGUE][OP_DATACOPY] = instr::undefined;
     return tables;
 }();
 
 constexpr auto eof_cost_tables = []() noexcept {
     auto tables = common_cost_tables;
-    tables[EVMC_CANCUN][OP_JUMP] = instr::undefined;
-    tables[EVMC_CANCUN][OP_JUMPI] = instr::undefined;
-    tables[EVMC_CANCUN][OP_PC] = instr::undefined;
-    tables[EVMC_CANCUN][OP_CALLCODE] = instr::undefined;
-    tables[EVMC_CANCUN][OP_SELFDESTRUCT] = instr::undefined;
+    tables[EVMC_PRAGUE][OP_JUMP] = instr::undefined;
+    tables[EVMC_PRAGUE][OP_JUMPI] = instr::undefined;
+    tables[EVMC_PRAGUE][OP_PC] = instr::undefined;
+    tables[EVMC_PRAGUE][OP_CALLCODE] = instr::undefined;
+    tables[EVMC_PRAGUE][OP_SELFDESTRUCT] = instr::undefined;
     return tables;
 }();
 

diff --git a/lib/evmone/eof.cpp b/lib/evmone/eof.cpp
@@ -553,7 +553,7 @@ EOFValidationError validate_eof(evmc_revision rev, bytes_view container) noexcep
 
     if (version == 1)
     {
-        if (rev < EVMC_CANCUN)
+        if (rev < EVMC_PRAGUE)
             return EOFValidationError::eof_version_unknown;
 
         const auto header_or_error = validate_eof1(rev, container);

diff --git a/lib/evmone/instructions_calls.cpp b/lib/evmone/instructions_calls.cpp
@@ -98,7 +98,7 @@ Result call_impl(StackTop stack, int64_t gas_left, ExecutionState& state) noexce
 
     if constexpr (Op == OP_DELEGATECALL)
     {
-        if (state.rev >= EVMC_CANCUN && is_eof_container(state.original_code))
+        if (state.rev >= EVMC_PRAGUE && is_eof_container(state.original_code))
         {
             // The code targeted by DELEGATECALL must also be an EOF.
             // This restriction has been added to EIP-3540 in

diff --git a/lib/evmone/instructions_storage.cpp b/lib/evmone/instructions_storage.cpp
@@ -39,6 +39,7 @@ constexpr auto storage_cost_spec = []() noexcept {
     tbl[EVMC_PARIS] = tbl[EVMC_LONDON];
     tbl[EVMC_SHANGHAI] = tbl[EVMC_LONDON];
     tbl[EVMC_CANCUN] = tbl[EVMC_LONDON];
+    tbl[EVMC_PRAGUE] = tbl[EVMC_LONDON];
     return tbl;
 }();
 

diff --git a/lib/evmone/instructions_traits.hpp b/lib/evmone/instructions_traits.hpp
@@ -165,19 +165,19 @@ constexpr inline GasCostTable gas_costs = []() noexcept {
 
     table[EVMC_CANCUN] = table[EVMC_SHANGHAI];
     table[EVMC_CANCUN][OP_MCOPY] = 3;
-    table[EVMC_CANCUN][OP_DUPN] = 3;
-    table[EVMC_CANCUN][OP_SWAPN] = 3;
-    table[EVMC_CANCUN][OP_RJUMP] = 2;
-    table[EVMC_CANCUN][OP_RJUMPI] = 4;
-    table[EVMC_CANCUN][OP_RJUMPV] = 4;
-    table[EVMC_CANCUN][OP_CALLF] = 5;
-    table[EVMC_CANCUN][OP_RETF] = 3;
-    table[EVMC_CANCUN][OP_DATALOAD] = 3;
-    table[EVMC_CANCUN][OP_DATALOADN] = 2;
-    table[EVMC_CANCUN][OP_DATASIZE] = 2;
-    table[EVMC_CANCUN][OP_DATACOPY] = 3;
 
     table[EVMC_PRAGUE] = table[EVMC_CANCUN];
+    table[EVMC_PRAGUE][OP_DUPN] = 3;
+    table[EVMC_PRAGUE][OP_SWAPN] = 3;
+    table[EVMC_PRAGUE][OP_RJUMP] = 2;
+    table[EVMC_PRAGUE][OP_RJUMPI] = 4;
+    table[EVMC_PRAGUE][OP_RJUMPV] = 4;
+    table[EVMC_PRAGUE][OP_CALLF] = 5;
+    table[EVMC_PRAGUE][OP_RETF] = 3;
+    table[EVMC_PRAGUE][OP_DATALOAD] = 3;
+    table[EVMC_PRAGUE][OP_DATALOADN] = 2;
+    table[EVMC_PRAGUE][OP_DATASIZE] = 2;
+    table[EVMC_PRAGUE][OP_DATACOPY] = 3;
 
     return table;
 }();
@@ -298,10 +298,10 @@ constexpr inline std::array<Traits, 256> traits = []() noexcept {
     table[OP_MSIZE] = {"MSIZE", 0, false, 0, 1, EVMC_FRONTIER};
     table[OP_GAS] = {"GAS", 0, false, 0, 1, EVMC_FRONTIER};
     table[OP_JUMPDEST] = {"JUMPDEST", 0, false, 0, 0, EVMC_FRONTIER};
-    table[OP_RJUMP] = {"RJUMP", 2, false, 0, 0, EVMC_CANCUN};
-    table[OP_RJUMPI] = {"RJUMPI", 2, false, 1, -1, EVMC_CANCUN};
+    table[OP_RJUMP] = {"RJUMP", 2, false, 0, 0, EVMC_PRAGUE};
+    table[OP_RJUMPI] = {"RJUMPI", 2, false, 1, -1, EVMC_PRAGUE};
     table[OP_RJUMPV] = {
-        "RJUMPV", 1 /* 1 byte static immediate + dynamic immediate */, false, 1, -1, EVMC_CANCUN};
+        "RJUMPV", 1 /* 1 byte static immediate + dynamic immediate */, false, 1, -1, EVMC_PRAGUE};
 
     table[OP_PUSH0] = {"PUSH0", 0, false, 0, 1, EVMC_SHANGHAI};
 
@@ -378,13 +378,13 @@ constexpr inline std::array<Traits, 256> traits = []() noexcept {
     table[OP_LOG3] = {"LOG3", 0, false, 5, -5, EVMC_FRONTIER};
     table[OP_LOG4] = {"LOG4", 0, false, 6, -6, EVMC_FRONTIER};
 
-    table[OP_DUPN] = {"DUPN", 1, false, 0, 1, EVMC_CANCUN};
-    table[OP_SWAPN] = {"SWAPN", 1, false, 0, 0, EVMC_CANCUN};
+    table[OP_DUPN] = {"DUPN", 1, false, 0, 1, EVMC_PRAGUE};
+    table[OP_SWAPN] = {"SWAPN", 1, false, 0, 0, EVMC_PRAGUE};
     table[OP_MCOPY] = {"MCOPY", 0, false, 3, -3, EVMC_CANCUN};
-    table[OP_DATALOAD] = {"DATALOAD", 0, false, 1, 0, EVMC_CANCUN};
-    table[OP_DATALOADN] = {"DATALOADN", 2, false, 0, 1, EVMC_CANCUN};
-    table[OP_DATASIZE] = {"DATASIZE", 0, false, 0, 1, EVMC_CANCUN};
-    table[OP_DATACOPY] = {"DATACOPY", 0, false, 3, -3, EVMC_CANCUN};
+    table[OP_DATALOAD] = {"DATALOAD", 0, false, 1, 0, EVMC_PRAGUE};
+    table[OP_DATALOADN] = {"DATALOADN", 2, false, 0, 1, EVMC_PRAGUE};
+    table[OP_DATASIZE] = {"DATASIZE", 0, false, 0, 1, EVMC_PRAGUE};
+    table[OP_DATACOPY] = {"DATACOPY", 0, false, 3, -3, EVMC_PRAGUE};
 
     table[OP_CREATE] = {"CREATE", 0, false, 3, -2, EVMC_FRONTIER};
     table[OP_CALL] = {"CALL", 0, false, 7, -6, EVMC_FRONTIER};
@@ -393,8 +393,8 @@ constexpr inline std::array<Traits, 256> traits = []() noexcept {
     table[OP_DELEGATECALL] = {"DELEGATECALL", 0, false, 6, -5, EVMC_HOMESTEAD};
     table[OP_CREATE2] = {"CREATE2", 0, false, 4, -3, EVMC_CONSTANTINOPLE};
     table[OP_STATICCALL] = {"STATICCALL", 0, false, 6, -5, EVMC_BYZANTIUM};
-    table[OP_CALLF] = {"CALLF", 2, false, 0, 0, EVMC_CANCUN};
-    table[OP_RETF] = {"RETF", 0, true, 0, 0, EVMC_CANCUN};
+    table[OP_CALLF] = {"CALLF", 2, false, 0, 0, EVMC_PRAGUE};
+    table[OP_RETF] = {"RETF", 0, true, 0, 0, EVMC_PRAGUE};
     table[OP_REVERT] = {"REVERT", 0, true, 2, -2, EVMC_BYZANTIUM};
     table[OP_INVALID] = {"INVALID", 0, true, 0, 0, EVMC_FRONTIER};
     table[OP_SELFDESTRUCT] = {"SELFDESTRUCT", 0, true, 1, -1, EVMC_FRONTIER};

diff --git a/test/eofparse/eofparse.cpp b/test/eofparse/eofparse.cpp
@@ -52,7 +52,7 @@ int main()
             }
 
             const auto& eof = *o;
-            const auto err = evmone::validate_eof(EVMC_CANCUN, eof);
+            const auto err = evmone::validate_eof(EVMC_PRAGUE, eof);
             if (err != evmone::EOFValidationError::success)
             {
                 std::cout << "err: " << evmone::get_error_message(err) << "\n";

diff --git a/test/eofparsefuzz/eofparsefuzz.cpp b/test/eofparsefuzz/eofparsefuzz.cpp
@@ -7,7 +7,7 @@
 extern "C" int LLVMFuzzerTestOneInput(const uint8_t* data, size_t data_size) noexcept
 {
     const evmone::bytes_view eof{data, data_size};
-    if (evmone::validate_eof(EVMC_CANCUN, eof) == evmone::EOFValidationError::success)
+    if (evmone::validate_eof(EVMC_PRAGUE, eof) == evmone::EOFValidationError::success)
         (void)evmone::read_valid_eof1_header(eof);
     return 0;
 }
diff --git a/test/integration/statetest/eof/invalid_eof_in_state.json b/test/integration/statetest/eof/invalid_eof_in_state.json
@@ -11,7 +11,7 @@
       "currentTimestamp": "0x03e8"
     },
     "post": {
-      "Cancun": [
+      "Prague": [
         {
           "hash": "0xe8010ce590f401c9d61fef8ab05bea9bcec24281b795e5868809bc4e515aa530",
           "indexes": {

diff --git a/test/state/host.cpp b/test/state/host.cpp
@@ -199,7 +199,7 @@ evmc::Result Host::create(const evmc_message& msg) noexcept
     create_msg.input_data = nullptr;
     create_msg.input_size = 0;
 
-    if (m_rev >= EVMC_CANCUN && (is_eof_container(initcode) || is_eof_container(sender_acc.code)))
+    if (m_rev >= EVMC_PRAGUE && (is_eof_container(initcode) || is_eof_container(sender_acc.code)))
     {
         if (validate_eof(m_rev, initcode) != EOFValidationError::success)
             return evmc::Result{EVMC_CONTRACT_VALIDATION_FAILURE};
@@ -228,7 +228,7 @@ evmc::Result Host::create(const evmc_message& msg) noexcept
                                           evmc::Result{EVMC_FAILURE};
     }
 
-    if (m_rev >= EVMC_CANCUN && (is_eof_container(initcode) || is_eof_container(code)))
+    if (m_rev >= EVMC_PRAGUE && (is_eof_container(initcode) || is_eof_container(code)))
     {
         if (validate_eof(m_rev, code) != EOFValidationError::success)
             return evmc::Result{EVMC_CONTRACT_VALIDATION_FAILURE};

diff --git a/test/statetest/statetest_loader.cpp b/test/statetest/statetest_loader.cpp
@@ -380,7 +380,7 @@ void validate_deployed_code(const state::State& state, evmc_revision rev)
     {
         if (is_eof_container(acc.code))
         {
-            if (rev >= EVMC_CANCUN)
+            if (rev >= EVMC_PRAGUE)
             {
                 if (const auto result = validate_eof(rev, acc.code);
                     result != EOFValidationError::success)

diff --git a/test/unittests/analysis_test.cpp b/test/unittests/analysis_test.cpp
@@ -260,7 +260,7 @@ TEST(analysis, example1_eof1)
     const auto code = eof1_bytecode(
         push(0x2a) + push(0x1e) + OP_MSTORE8 + OP_MSIZE + push(0) + OP_SSTORE, 2, "deadbeef");
     const auto header = evmone::read_valid_eof1_header(code);
-    const auto analysis = analyze(EVMC_CANCUN, header.get_code(code, 0));
+    const auto analysis = analyze(EVMC_PRAGUE, header.get_code(code, 0));
 
     ASSERT_EQ(analysis.instrs.size(), 8);
 

diff --git a/test/unittests/eof_test.cpp b/test/unittests/eof_test.cpp
@@ -61,7 +61,7 @@ TEST(eof, read_valid_eof1_header)
     for (const auto& test_case : test_cases)
     {
         const auto code = from_spaced_hex(test_case.code).value();
-        EXPECT_EQ(validate_eof(EVMC_CANCUN, code), EOFValidationError::success) << test_case.code;
+        EXPECT_EQ(validate_eof(EVMC_PRAGUE, code), EOFValidationError::success) << test_case.code;
 
         const auto header = read_valid_eof1_header(code);
         EXPECT_EQ(header.code_sizes, test_case.code_sizes) << test_case.code;

diff --git a/test/unittests/eof_validation_test.cpp b/test/unittests/eof_validation_test.cpp
@@ -14,7 +14,7 @@ namespace
 {
 // Can be called as validate_eof(string_view hex, rev) or validate_eof(bytes_view cont, rev).
 inline EOFValidationError validate_eof(
-    const bytecode& container, evmc_revision rev = EVMC_CANCUN) noexcept
+    const bytecode& container, evmc_revision rev = EVMC_PRAGUE) noexcept
 {
     return evmone::validate_eof(rev, container);
 }
@@ -222,7 +222,7 @@ TEST(eof_validation, EOF1_code_section_offset)
 {
     const auto eof =
         "EF0001 010008 02000200030001 040004 00 00000001 00000000 6001fe fe 0000 0000"_hex;
-    ASSERT_EQ(validate_eof(EVMC_CANCUN, eof), EOFValidationError::success);
+    ASSERT_EQ(validate_eof(EVMC_PRAGUE, eof), EOFValidationError::success);
 
     const auto header = read_valid_eof1_header(eof);
     ASSERT_EQ(header.code_sizes.size(), 2);
@@ -313,7 +313,7 @@ TEST(eof_validation, EOF1_too_many_code_sections)
 
 TEST(eof_validation, EOF1_undefined_opcodes)
 {
-    const auto& gas_table = evmone::instr::gas_costs[EVMC_CANCUN];
+    const auto& gas_table = evmone::instr::gas_costs[EVMC_PRAGUE];
 
     for (uint16_t opcode = 0; opcode <= 0xff; ++opcode)
     {
@@ -323,7 +323,7 @@ TEST(eof_validation, EOF1_undefined_opcodes)
             opcode == OP_SWAPN || opcode == OP_RJUMP || opcode == OP_RJUMPI || opcode == OP_CALLF ||
             opcode == OP_RJUMPV || opcode == OP_DATALOADN)
             continue;
-        // These opcodes are deprecated since Cancun.
+        // These opcodes are deprecated since Prague.
         // gas_cost table current implementation does not allow to undef instructions.
         if (opcode == OP_JUMP || opcode == OP_JUMPI || opcode == OP_PC || opcode == OP_CALLCODE ||
             opcode == OP_SELFDESTRUCT)

diff --git a/test/unittests/evm_eip663_dupn_swapn_test.cpp b/test/unittests/evm_eip663_dupn_swapn_test.cpp
@@ -16,7 +16,7 @@ TEST_P(evm, dupn)
     if (evm::is_advanced())
         return;
 
-    rev = EVMC_CANCUN;
+    rev = EVMC_PRAGUE;
 
     auto pushes = bytecode{};
     for (uint64_t i = 1; i <= 20; ++i)
@@ -44,7 +44,7 @@ TEST_P(evm, swapn)
     if (evm::is_advanced())
         return;
 
-    rev = EVMC_CANCUN;
+    rev = EVMC_PRAGUE;
 
     auto pushes = bytecode{};
     for (uint64_t i = 1; i <= 20; ++i)
@@ -84,7 +84,7 @@ TEST_P(evm, dupn_full_stack)
     if (evm::is_advanced())
         return;
 
-    rev = EVMC_CANCUN;
+    rev = EVMC_PRAGUE;
     auto full_stack_code = bytecode{};
     for (uint64_t i = 1023; i >= 1; --i)
         full_stack_code += push(i);
@@ -111,7 +111,7 @@ TEST_P(evm, swapn_full_stack)
     if (evm::is_advanced())
         return;
 
-    rev = EVMC_CANCUN;
+    rev = EVMC_PRAGUE;
     auto full_stack_code = bytecode{};
     for (uint64_t i = 1024; i >= 1; --i)
         full_stack_code += push(i);
@@ -139,7 +139,7 @@ TEST_P(evm, dupn_dup_consistency)
     if (evm::is_advanced())
         return;
 
-    rev = EVMC_CANCUN;
+    rev = EVMC_PRAGUE;
     auto pushes = bytecode{};
     for (uint64_t i = 32; i >= 1; --i)
         pushes += push(i);
@@ -167,7 +167,7 @@ TEST_P(evm, swapn_swap_consistency)
     if (evm::is_advanced())
         return;
 
-    rev = EVMC_CANCUN;
+    rev = EVMC_PRAGUE;
     auto pushes = bytecode{};
     for (uint64_t i = 32; i >= 1; --i)
         pushes += push(i);

diff --git a/test/unittests/evm_eof_calls_test.cpp b/test/unittests/evm_eof_calls_test.cpp
@@ -10,7 +10,7 @@ using namespace evmc::literals;
 
 TEST_P(evm, eof1_delegatecall_eof1)
 {
-    rev = EVMC_CANCUN;
+    rev = EVMC_PRAGUE;
     constexpr auto callee = 0xca11ee_address;
     host.accounts[callee].code = eof1_bytecode(OP_STOP);
     bytes call_output{0x01, 0x02, 0x03};
@@ -30,7 +30,7 @@ TEST_P(evm, eof1_delegatecall_eof1)
 
 TEST_P(evm, eof1_delegatecall_legacy)
 {
-    rev = EVMC_CANCUN;
+    rev = EVMC_PRAGUE;
     constexpr auto callee = 0xca11ee_address;
     host.access_account(callee);
 

diff --git a/test/unittests/evm_eof_function_test.cpp b/test/unittests/evm_eof_function_test.cpp
@@ -13,7 +13,7 @@ TEST_P(evm, eof_function_example1)
     if (is_advanced())
         return;
 
-    rev = EVMC_CANCUN;
+    rev = EVMC_PRAGUE;
     const auto code = "EF00 01 010008 020002 000f 0002 040000 00 00000002 02010002" +
                       /* func0: */ push(1) + push(8) + OP_CALLF + "0001" + ret_top() +
                       /* func1: */ OP_SUB + OP_RETF;
@@ -31,7 +31,7 @@ TEST_P(evm, eof_function_example2)
     if (is_advanced())
         return;
 
-    rev = EVMC_CANCUN;
+    rev = EVMC_PRAGUE;
     const auto code =
         "ef0001 01000c 020003 003b 0017 001d 040000 00 00000004 01010003 01010004"
         "60043560003560e01c63c76652678114e1001c63c6c2ea178114e100065050600080fd50e30002600052602060"
@@ -62,7 +62,7 @@ TEST_P(evm, callf_stack_size_1024)
     if (is_advanced())
         return;
 
-    rev = EVMC_CANCUN;
+    rev = EVMC_PRAGUE;
     const auto code = bytecode{"ef0001 010008 020002 0BFF 0004 040000 00 000003FF 00000001"_hex} +
                       1023 * push(1) + OP_CALLF + bytecode{"0x0001"_hex} + 1021 * OP_POP +
                       OP_RETURN + push(1) + OP_POP + OP_RETF;
@@ -78,7 +78,7 @@ TEST_P(evm, callf_stack_overflow)
     if (is_advanced())
         return;
 
-    rev = EVMC_CANCUN;
+    rev = EVMC_PRAGUE;
     const auto code =
         bytecode{"ef0001 010008 020002 0BFF 0007 040000 00 000003FF 00000002"_hex} +  // EOF header
         1023 * push(1) + OP_CALLF + bytecode{"0x0001"_hex} + 1021 * OP_POP + OP_RETURN +
@@ -95,7 +95,7 @@ TEST_P(evm, callf_call_stack_size_1024)
     if (is_advanced())
         return;
 
-    rev = EVMC_CANCUN;
+    rev = EVMC_PRAGUE;
     const auto code = bytecode{"ef0001 010008 020002 0007 000e 040000 00 00000001 01000002"_hex} +
                       push(1023) + OP_CALLF + bytecode{"0x0001"_hex} + OP_STOP + OP_DUP1 +
                       OP_RJUMPI + bytecode{"0x0002"_hex} + OP_POP + OP_RETF + push(1) + OP_SWAP1 +
@@ -112,7 +112,7 @@ TEST_P(evm, callf_call_stack_size_1025)
     if (is_advanced())
         return;
 
-    rev = EVMC_CANCUN;
+    rev = EVMC_PRAGUE;
     const auto code = bytecode{"ef0001 010008 020002 0007 000e 040000 00 00000001 01000002"_hex} +
                       push(1024) + OP_CALLF + bytecode{"0x0001"_hex} + OP_STOP + OP_DUP1 +
                       OP_RJUMPI + bytecode{"0x0002"_hex} + OP_POP + OP_RETF + push(1) + OP_SWAP1 +