@keep-network/tbtc-v2 1.6.0-dev.6 → 1.6.0-dev.8

package/export/artifacts/contracts/test/TestERC721.sol/TestERC721.json

@@ -434,15 +434,15 @@
   "evm": {
     "bytecode": {
       "functionDebugData": {
-        "@_18624": {
+        "@_18633": {
           "entryPoint": null,
-          "id": 18624,
+          "id": 18633,
           "parameterSlots": 2,
           "returnSlots": 0
         },
-        "@_40484": {
+        "@_40609": {
           "entryPoint": null,
-          "id": 40484,
+          "id": 40609,
           "parameterSlots": 0,
           "returnSlots": 0
         },
@@ -2584,207 +2584,207 @@
     },
     "deployedBytecode": {
       "functionDebugData": {
-        "@NAME_40473": {
+        "@NAME_40598": {
           "entryPoint": null,
-          "id": 40473,
+          "id": 40598,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@SYMBOL_40476": {
+        "@SYMBOL_40601": {
           "entryPoint": null,
-          "id": 40476,
+          "id": 40601,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@_afterTokenTransfer_19505": {
+        "@_afterTokenTransfer_19514": {
           "entryPoint": null,
-          "id": 19505,
+          "id": 19514,
           "parameterSlots": 4,
           "returnSlots": 0
         },
-        "@_approve_19338": {
+        "@_approve_19347": {
           "entryPoint": 2208,
-          "id": 19338,
+          "id": 19347,
           "parameterSlots": 2,
           "returnSlots": 0
         },
-        "@_baseURI_18775": {
+        "@_baseURI_18784": {
           "entryPoint": null,
-          "id": 18775,
+          "id": 18784,
           "parameterSlots": 0,
           "returnSlots": 1
         },
-        "@_beforeTokenTransfer_19492": {
+        "@_beforeTokenTransfer_19501": {
           "entryPoint": 3914,
-          "id": 19492,
+          "id": 19501,
           "parameterSlots": 4,
           "returnSlots": 0
         },
-        "@_checkOnERC721Received_19446": {
+        "@_checkOnERC721Received_19455": {
           "entryPoint": 4050,
-          "id": 19446,
+          "id": 19455,
           "parameterSlots": 4,
           "returnSlots": 1
         },
-        "@_exists_19007": {
+        "@_exists_19016": {
           "entryPoint": null,
-          "id": 19007,
+          "id": 19016,
           "parameterSlots": 1,
           "returnSlots": 1
         },
-        "@_isApprovedOrOwner_19041": {
+        "@_isApprovedOrOwner_19050": {
           "entryPoint": 2331,
-          "id": 19041,
+          "id": 19050,
           "parameterSlots": 2,
           "returnSlots": 1
         },
-        "@_mint_19162": {
+        "@_mint_19171": {
           "entryPoint": 2989,
-          "id": 19162,
+          "id": 19171,
           "parameterSlots": 2,
           "returnSlots": 0
         },
-        "@_msgSender_20009": {
+        "@_msgSender_20018": {
           "entryPoint": null,
-          "id": 20009,
+          "id": 20018,
           "parameterSlots": 0,
           "returnSlots": 1
         },
-        "@_ownerOf_18989": {
+        "@_ownerOf_18998": {
           "entryPoint": null,
-          "id": 18989,
+          "id": 18998,
           "parameterSlots": 1,
           "returnSlots": 1
         },
-        "@_requireMinted_19384": {
+        "@_requireMinted_19393": {
           "entryPoint": 2105,
-          "id": 19384,
+          "id": 19393,
           "parameterSlots": 1,
           "returnSlots": 0
         },
-        "@_safeTransfer_18976": {
+        "@_safeTransfer_18985": {
           "entryPoint": 3617,
-          "id": 18976,
+          "id": 18985,
           "parameterSlots": 4,
           "returnSlots": 0
         },
-        "@_setApprovalForAll_19370": {
+        "@_setApprovalForAll_19379": {
           "entryPoint": 3411,
-          "id": 19370,
+          "id": 19379,
           "parameterSlots": 3,
           "returnSlots": 0
         },
-        "@_transfer_19314": {
+        "@_transfer_19323": {
           "entryPoint": 2458,
-          "id": 19314,
+          "id": 19323,
           "parameterSlots": 3,
           "returnSlots": 0
         },
-        "@approve_18818": {
+        "@approve_18827": {
           "entryPoint": 1082,
-          "id": 18818,
+          "id": 18827,
           "parameterSlots": 2,
           "returnSlots": 0
         },
-        "@balanceOf_18679": {
+        "@balanceOf_18688": {
           "entryPoint": 1683,
-          "id": 18679,
+          "id": 18688,
           "parameterSlots": 1,
           "returnSlots": 1
         },
-        "@getApproved_18836": {
+        "@getApproved_18845": {
           "entryPoint": 1043,
-          "id": 18836,
+          "id": 18845,
           "parameterSlots": 1,
           "returnSlots": 1
         },
-        "@isApprovedForAll_18871": {
+        "@isApprovedForAll_18880": {
           "entryPoint": null,
-          "id": 18871,
+          "id": 18880,
           "parameterSlots": 2,
           "returnSlots": 1
         },
-        "@isContract_19685": {
+        "@isContract_19694": {
           "entryPoint": null,
-          "id": 19685,
+          "id": 19694,
           "parameterSlots": 1,
           "returnSlots": 1
         },
-        "@log10_21353": {
+        "@log10_21362": {
           "entryPoint": 4393,
-          "id": 21353,
+          "id": 21362,
           "parameterSlots": 1,
           "returnSlots": 1
         },
-        "@mint_40497": {
+        "@mint_40622": {
           "entryPoint": 1541,
-          "id": 40497,
+          "id": 40622,
           "parameterSlots": 2,
           "returnSlots": 0
         },
-        "@name_18717": {
+        "@name_18726": {
           "entryPoint": 897,
-          "id": 18717,
+          "id": 18726,
           "parameterSlots": 0,
           "returnSlots": 1
         },
-        "@ownerOf_18707": {
+        "@ownerOf_18716": {
           "entryPoint": 1582,
-          "id": 18707,
+          "id": 18716,
           "parameterSlots": 1,
           "returnSlots": 1
         },
-        "@safeTransferFrom_18917": {
+        "@safeTransferFrom_18926": {
           "entryPoint": 1555,
-          "id": 18917,
+          "id": 18926,
           "parameterSlots": 3,
           "returnSlots": 0
         },
-        "@safeTransferFrom_18947": {
+        "@safeTransferFrom_18956": {
           "entryPoint": 1863,
-          "id": 18947,
+          "id": 18956,
           "parameterSlots": 4,
           "returnSlots": 0
         },
-        "@setApprovalForAll_18853": {
+        "@setApprovalForAll_18862": {
           "entryPoint": 1852,
-          "id": 18853,
+          "id": 18862,
           "parameterSlots": 2,
           "returnSlots": 0
         },
-        "@supportsInterface_18655": {
+        "@supportsInterface_18664": {
           "entryPoint": 740,
-          "id": 18655,
+          "id": 18664,
           "parameterSlots": 1,
           "returnSlots": 1
         },
-        "@supportsInterface_20638": {
+        "@supportsInterface_20647": {
           "entryPoint": null,
-          "id": 20638,
+          "id": 20647,
           "parameterSlots": 1,
           "returnSlots": 1
         },
-        "@symbol_18727": {
+        "@symbol_18736": {
           "entryPoint": 1837,
-          "id": 18727,
+          "id": 18736,
           "parameterSlots": 0,
           "returnSlots": 1
         },
-        "@toString_20137": {
+        "@toString_20146": {
           "entryPoint": 3754,
-          "id": 20137,
+          "id": 20146,
           "parameterSlots": 1,
           "returnSlots": 1
         },
-        "@tokenURI_18766": {
+        "@tokenURI_18775": {
           "entryPoint": 1989,
-          "id": 18766,
+          "id": 18775,
           "parameterSlots": 1,
           "returnSlots": 1
         },
-        "@transferFrom_18898": {
+        "@transferFrom_18907": {
           "entryPoint": 1422,
-          "id": 18898,
+          "id": 18907,
           "parameterSlots": 3,
           "returnSlots": 0
         },
@@ -10537,7 +10537,7 @@
   "storageLayout": {
     "storage": [
       {
-        "astId": 18587,
+        "astId": 18596,
         "contract": "contracts/test/TestERC721.sol:TestERC721",
         "label": "_name",
         "offset": 0,
@@ -10545,7 +10545,7 @@
         "type": "t_string_storage"
       },
       {
-        "astId": 18589,
+        "astId": 18598,
         "contract": "contracts/test/TestERC721.sol:TestERC721",
         "label": "_symbol",
         "offset": 0,
@@ -10553,7 +10553,7 @@
         "type": "t_string_storage"
       },
       {
-        "astId": 18593,
+        "astId": 18602,
         "contract": "contracts/test/TestERC721.sol:TestERC721",
         "label": "_owners",
         "offset": 0,
@@ -10561,7 +10561,7 @@
         "type": "t_mapping(t_uint256,t_address)"
       },
       {
-        "astId": 18597,
+        "astId": 18606,
         "contract": "contracts/test/TestERC721.sol:TestERC721",
         "label": "_balances",
         "offset": 0,
@@ -10569,7 +10569,7 @@
         "type": "t_mapping(t_address,t_uint256)"
       },
       {
-        "astId": 18601,
+        "astId": 18610,
         "contract": "contracts/test/TestERC721.sol:TestERC721",
         "label": "_tokenApprovals",
         "offset": 0,
@@ -10577,7 +10577,7 @@
         "type": "t_mapping(t_uint256,t_address)"
       },
       {
-        "astId": 18607,
+        "astId": 18616,
         "contract": "contracts/test/TestERC721.sol:TestERC721",
         "label": "_operatorApprovals",
         "offset": 0,

package/export/artifacts/contracts/test/TestEcdsaLib.sol/TestEcdsaLib.json

@@ -47,15 +47,15 @@
     },
     "deployedBytecode": {
       "functionDebugData": {
-        "@compressPublicKey_30297": {
+        "@compressPublicKey_30270": {
           "entryPoint": 108,
-          "id": 30297,
+          "id": 30270,
           "parameterSlots": 2,
           "returnSlots": 1
         },
-        "@compressPublicKey_40518": {
+        "@compressPublicKey_40643": {
           "entryPoint": 89,
-          "id": 40518,
+          "id": 40643,
           "parameterSlots": 2,
           "returnSlots": 1
         },

package/export/artifacts/contracts/test/WormholeBridgeStub.sol/WormholeBridgeStub.json

@@ -377,13 +377,13 @@
   "evm": {
     "bytecode": {
       "functionDebugData": {
-        "@_40576": {
+        "@_40701": {
           "entryPoint": null,
-          "id": 40576,
+          "id": 40701,
           "parameterSlots": 1,
           "returnSlots": 0
         },
-        "abi_decode_tuple_t_contract$_TestERC20_$40465_fromMemory": {
+        "abi_decode_tuple_t_contract$_TestERC20_$40590_fromMemory": {
           "entryPoint": 84,
           "id": null,
           "parameterSlots": 2,
@@ -655,7 +655,7 @@
                     }
                   ]
                 },
-                "name": "abi_decode_tuple_t_contract$_TestERC20_$40465_fromMemory",
+                "name": "abi_decode_tuple_t_contract$_TestERC20_$40590_fromMemory",
                 "nodeType": "YulFunctionDefinition",
                 "parameters": [
                   {
@@ -683,7 +683,7 @@
               }
             ]
           },
-          "contents": "{\n    { }\n    function abi_decode_tuple_t_contract$_TestERC20_$40465_fromMemory(headStart, dataEnd) -> value0\n    {\n        if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n        let value := mload(headStart)\n        if iszero(eq(value, and(value, sub(shl(160, 1), 1)))) { revert(0, 0) }\n        value0 := value\n    }\n}",
+          "contents": "{\n    { }\n    function abi_decode_tuple_t_contract$_TestERC20_$40590_fromMemory(headStart, dataEnd) -> value0\n    {\n        if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n        let value := mload(headStart)\n        if iszero(eq(value, and(value, sub(shl(160, 1), 1)))) { revert(0, 0) }\n        value0 := value\n    }\n}",
           "id": 126,
           "language": "Yul",
           "name": "#utility.yul"
@@ -695,63 +695,63 @@
     },
     "deployedBytecode": {
       "functionDebugData": {
-        "@completeTransferWithPayload_40621": {
+        "@completeTransferWithPayload_40746": {
           "entryPoint": 672,
-          "id": 40621,
+          "id": 40746,
           "parameterSlots": 1,
           "returnSlots": 1
         },
-        "@mintWormholeToken_40731": {
+        "@mintWormholeToken_40856": {
           "entryPoint": 1226,
-          "id": 40731,
+          "id": 40856,
           "parameterSlots": 2,
           "returnSlots": 0
         },
-        "@parseTransferWithPayload_40696": {
+        "@parseTransferWithPayload_40821": {
           "entryPoint": 1135,
-          "id": 40696,
+          "id": 40821,
           "parameterSlots": 1,
           "returnSlots": 1
         },
-        "@receiverAddress_40533": {
+        "@receiverAddress_40658": {
           "entryPoint": null,
-          "id": 40533,
+          "id": 40658,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@setReceiverAddress_40716": {
+        "@setReceiverAddress_40841": {
           "entryPoint": null,
-          "id": 40716,
+          "id": 40841,
           "parameterSlots": 1,
           "returnSlots": 0
         },
-        "@setTransferAmount_40706": {
+        "@setTransferAmount_40831": {
           "entryPoint": null,
-          "id": 40706,
+          "id": 40831,
           "parameterSlots": 1,
           "returnSlots": 0
         },
-        "@transferAmount_40531": {
+        "@transferAmount_40656": {
           "entryPoint": null,
-          "id": 40531,
+          "id": 40656,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@transferTokensWithPayload_40679": {
+        "@transferTokensWithPayload_40804": {
           "entryPoint": 1054,
-          "id": 40679,
+          "id": 40804,
           "parameterSlots": 6,
           "returnSlots": 1
         },
-        "@transferTokens_40650": {
+        "@transferTokens_40775": {
           "entryPoint": 552,
-          "id": 40650,
+          "id": 40775,
           "parameterSlots": 6,
           "returnSlots": 1
         },
-        "@wormholeToken_40529": {
+        "@wormholeToken_40654": {
           "entryPoint": null,
-          "id": 40529,
+          "id": 40654,
           "parameterSlots": 0,
           "returnSlots": 0
         },
@@ -803,7 +803,7 @@
           "parameterSlots": 2,
           "returnSlots": 1
         },
-        "abi_decode_tuple_t_struct$_TransferWithPayload_$37009_memory_ptr_fromMemory": {
+        "abi_decode_tuple_t_struct$_TransferWithPayload_$37134_memory_ptr_fromMemory": {
           "entryPoint": 2422,
           "id": null,
           "parameterSlots": 2,
@@ -869,13 +869,13 @@
           "parameterSlots": 2,
           "returnSlots": 1
         },
-        "abi_encode_tuple_t_contract$_TestERC20_$40465__to_t_address__fromStack_reversed": {
+        "abi_encode_tuple_t_contract$_TestERC20_$40590__to_t_address__fromStack_reversed": {
           "entryPoint": null,
           "id": null,
           "parameterSlots": 2,
           "returnSlots": 1
         },
-        "abi_encode_tuple_t_struct$_TransferWithPayload_$37009_memory_ptr__to_t_struct$_TransferWithPayload_$37009_memory_ptr__fromStack_reversed": {
+        "abi_encode_tuple_t_struct$_TransferWithPayload_$37134_memory_ptr__to_t_struct$_TransferWithPayload_$37134_memory_ptr__fromStack_reversed": {
           "entryPoint": 2083,
           "id": null,
           "parameterSlots": 2,
@@ -2287,7 +2287,7 @@
                     }
                   ]
                 },
-                "name": "abi_encode_tuple_t_contract$_TestERC20_$40465__to_t_address__fromStack_reversed",
+                "name": "abi_encode_tuple_t_contract$_TestERC20_$40590__to_t_address__fromStack_reversed",
                 "nodeType": "YulFunctionDefinition",
                 "parameters": [
                   {
@@ -5769,7 +5769,7 @@
                     }
                   ]
                 },
-                "name": "abi_encode_tuple_t_struct$_TransferWithPayload_$37009_memory_ptr__to_t_struct$_TransferWithPayload_$37009_memory_ptr__fromStack_reversed",
+                "name": "abi_encode_tuple_t_struct$_TransferWithPayload_$37134_memory_ptr__to_t_struct$_TransferWithPayload_$37134_memory_ptr__fromStack_reversed",
                 "nodeType": "YulFunctionDefinition",
                 "parameters": [
                   {
@@ -8540,7 +8540,7 @@
                     }
                   ]
                 },
-                "name": "abi_decode_tuple_t_struct$_TransferWithPayload_$37009_memory_ptr_fromMemory",
+                "name": "abi_decode_tuple_t_struct$_TransferWithPayload_$37134_memory_ptr_fromMemory",
                 "nodeType": "YulFunctionDefinition",
                 "parameters": [
                   {
@@ -8568,7 +8568,7 @@
               }
             ]
           },
-          "contents": "{\n    { }\n    function abi_decode_address(offset) -> value\n    {\n        value := calldataload(offset)\n        if iszero(eq(value, and(value, 0xffffffffffffffffffffffffffffffffffffffff))) { revert(0, 0) }\n    }\n    function validator_revert_uint16(value)\n    {\n        if iszero(eq(value, and(value, 0xffff))) { revert(0, 0) }\n    }\n    function abi_decode_uint32(offset) -> value\n    {\n        value := calldataload(offset)\n        if iszero(eq(value, and(value, 0xffffffff))) { revert(0, 0) }\n    }\n    function abi_decode_tuple_t_addresst_uint256t_uint16t_bytes32t_uint256t_uint32(headStart, dataEnd) -> value0, value1, value2, value3, value4, value5\n    {\n        if slt(sub(dataEnd, headStart), 192) { revert(0, 0) }\n        value0 := abi_decode_address(headStart)\n        value1 := calldataload(add(headStart, 32))\n        let value := calldataload(add(headStart, 64))\n        validator_revert_uint16(value)\n        value2 := value\n        value3 := calldataload(add(headStart, 96))\n        value4 := calldataload(add(headStart, 128))\n        value5 := abi_decode_uint32(add(headStart, 160))\n    }\n    function abi_encode_tuple_t_uint64__to_t_uint64__fromStack_reversed(headStart, value0) -> tail\n    {\n        tail := add(headStart, 32)\n        mstore(headStart, and(value0, 0xffffffffffffffff))\n    }\n    function abi_encode_tuple_t_bytes32__to_t_bytes32__fromStack_reversed(headStart, value0) -> tail\n    {\n        tail := add(headStart, 32)\n        mstore(headStart, value0)\n    }\n    function abi_encode_tuple_t_uint256__to_t_uint256__fromStack_reversed(headStart, value0) -> tail\n    {\n        tail := add(headStart, 32)\n        mstore(headStart, value0)\n    }\n    function abi_decode_tuple_t_uint256(headStart, dataEnd) -> value0\n    {\n        if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n        value0 := calldataload(headStart)\n    }\n    function abi_encode_tuple_t_contract$_TestERC20_$40465__to_t_address__fromStack_reversed(headStart, value0) -> tail\n    {\n        tail := add(headStart, 32)\n        mstore(headStart, and(value0, 0xffffffffffffffffffffffffffffffffffffffff))\n    }\n    function panic_error_0x41()\n    {\n        mstore(0, 35408467139433450592217433187231851964531694900788300625387963629091585785856)\n        mstore(4, 0x41)\n        revert(0, 0x24)\n    }\n    function allocate_memory_1198() -> memPtr\n    {\n        memPtr := mload(64)\n        let newFreePtr := add(memPtr, 0x0100)\n        if or(gt(newFreePtr, 0xffffffffffffffff), lt(newFreePtr, memPtr)) { panic_error_0x41() }\n        mstore(64, newFreePtr)\n    }\n    function allocate_memory(size) -> memPtr\n    {\n        memPtr := mload(64)\n        let newFreePtr := add(memPtr, and(add(size, 31), not(31)))\n        if or(gt(newFreePtr, 0xffffffffffffffff), lt(newFreePtr, memPtr)) { panic_error_0x41() }\n        mstore(64, newFreePtr)\n    }\n    function array_allocation_size_bytes(length) -> size\n    {\n        if gt(length, 0xffffffffffffffff) { panic_error_0x41() }\n        size := add(and(add(length, 31), not(31)), 0x20)\n    }\n    function abi_decode_bytes(offset, end) -> array\n    {\n        if iszero(slt(add(offset, 0x1f), end)) { revert(0, 0) }\n        let _1 := calldataload(offset)\n        let array_1 := allocate_memory(array_allocation_size_bytes(_1))\n        mstore(array_1, _1)\n        if gt(add(add(offset, _1), 0x20), end) { revert(0, 0) }\n        calldatacopy(add(array_1, 0x20), add(offset, 0x20), _1)\n        mstore(add(add(array_1, _1), 0x20), 0)\n        array := array_1\n    }\n    function abi_decode_tuple_t_bytes_memory_ptr(headStart, dataEnd) -> value0\n    {\n        if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n        let offset := calldataload(headStart)\n        if gt(offset, 0xffffffffffffffff) { revert(0, 0) }\n        value0 := abi_decode_bytes(add(headStart, offset), dataEnd)\n    }\n    function copy_memory_to_memory_with_cleanup(src, dst, length)\n    {\n        let i := 0\n        for { } lt(i, length) { i := add(i, 32) }\n        {\n            mstore(add(dst, i), mload(add(src, i)))\n        }\n        mstore(add(dst, length), 0)\n    }\n    function abi_encode_bytes(value, pos) -> end\n    {\n        let length := mload(value)\n        mstore(pos, length)\n        copy_memory_to_memory_with_cleanup(add(value, 0x20), add(pos, 0x20), length)\n        end := add(add(pos, and(add(length, 31), not(31))), 0x20)\n    }\n    function abi_encode_tuple_t_bytes_memory_ptr__to_t_bytes_memory_ptr__fromStack_reversed(headStart, value0) -> tail\n    {\n        mstore(headStart, 32)\n        tail := abi_encode_bytes(value0, add(headStart, 32))\n    }\n    function abi_decode_tuple_t_addresst_uint256t_uint16t_bytes32t_uint32t_bytes_memory_ptr(headStart, dataEnd) -> value0, value1, value2, value3, value4, value5\n    {\n        if slt(sub(dataEnd, headStart), 192) { revert(0, 0) }\n        value0 := abi_decode_address(headStart)\n        value1 := calldataload(add(headStart, 32))\n        let value := calldataload(add(headStart, 64))\n        validator_revert_uint16(value)\n        value2 := value\n        value3 := calldataload(add(headStart, 96))\n        value4 := abi_decode_uint32(add(headStart, 128))\n        let offset := calldataload(add(headStart, 160))\n        if gt(offset, 0xffffffffffffffff) { revert(0, 0) }\n        value5 := abi_decode_bytes(add(headStart, offset), dataEnd)\n    }\n    function abi_decode_tuple_t_bytes32(headStart, dataEnd) -> value0\n    {\n        if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n        value0 := calldataload(headStart)\n    }\n    function abi_encode_uint16(value, pos)\n    {\n        mstore(pos, and(value, 0xffff))\n    }\n    function abi_encode_tuple_t_struct$_TransferWithPayload_$37009_memory_ptr__to_t_struct$_TransferWithPayload_$37009_memory_ptr__fromStack_reversed(headStart, value0) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), and(mload(value0), 0xff))\n        mstore(add(headStart, 64), mload(add(value0, 32)))\n        mstore(add(headStart, 96), mload(add(value0, 64)))\n        mstore(add(headStart, 128), and(mload(add(value0, 96)), 0xffff))\n        mstore(add(headStart, 160), mload(add(value0, 128)))\n        let memberValue0 := mload(add(value0, 160))\n        abi_encode_uint16(memberValue0, add(headStart, 192))\n        mstore(add(headStart, 224), mload(add(value0, 192)))\n        let memberValue0_1 := mload(add(value0, 224))\n        let _1 := 0x0100\n        mstore(add(headStart, _1), _1)\n        tail := abi_encode_bytes(memberValue0_1, add(headStart, 288))\n    }\n    function abi_decode_tuple_t_addresst_uint256(headStart, dataEnd) -> value0, value1\n    {\n        if slt(sub(dataEnd, headStart), 64) { revert(0, 0) }\n        value0 := abi_decode_address(headStart)\n        value1 := calldataload(add(headStart, 32))\n    }\n    function abi_encode_tuple_t_address_t_uint256_t_uint16_t_bytes32_t_uint256_t_uint32__to_t_address_t_uint256_t_uint16_t_bytes32_t_uint256_t_uint32__fromStack_reversed(headStart, value5, value4, value3, value2, value1, value0) -> tail\n    {\n        tail := add(headStart, 192)\n        mstore(headStart, and(value0, 0xffffffffffffffffffffffffffffffffffffffff))\n        mstore(add(headStart, 32), value1)\n        mstore(add(headStart, 64), and(value2, 0xffff))\n        mstore(add(headStart, 96), value3)\n        mstore(add(headStart, 128), value4)\n        mstore(add(headStart, 160), and(value5, 0xffffffff))\n    }\n    function abi_encode_tuple_t_address_t_uint256__to_t_address_t_uint256__fromStack_reversed(headStart, value1, value0) -> tail\n    {\n        tail := add(headStart, 64)\n        mstore(headStart, and(value0, 0xffffffffffffffffffffffffffffffffffffffff))\n        mstore(add(headStart, 32), value1)\n    }\n    function abi_encode_tuple_t_address_t_uint256_t_uint16_t_bytes32_t_uint32_t_bytes_memory_ptr__to_t_address_t_uint256_t_uint16_t_bytes32_t_uint32_t_bytes_memory_ptr__fromStack_reversed(headStart, value5, value4, value3, value2, value1, value0) -> tail\n    {\n        mstore(headStart, and(value0, 0xffffffffffffffffffffffffffffffffffffffff))\n        mstore(add(headStart, 32), value1)\n        mstore(add(headStart, 64), and(value2, 0xffff))\n        mstore(add(headStart, 96), value3)\n        mstore(add(headStart, 128), and(value4, 0xffffffff))\n        mstore(add(headStart, 160), 192)\n        tail := abi_encode_bytes(value5, add(headStart, 192))\n    }\n    function abi_decode_uint8_fromMemory(offset) -> value\n    {\n        value := mload(offset)\n        if iszero(eq(value, and(value, 0xff))) { revert(0, 0) }\n    }\n    function abi_decode_uint16_fromMemory(offset) -> value\n    {\n        value := mload(offset)\n        validator_revert_uint16(value)\n    }\n    function abi_decode_bytes_fromMemory(offset, end) -> array\n    {\n        if iszero(slt(add(offset, 0x1f), end)) { revert(0, 0) }\n        let _1 := mload(offset)\n        let array_1 := allocate_memory(array_allocation_size_bytes(_1))\n        mstore(array_1, _1)\n        if gt(add(add(offset, _1), 0x20), end) { revert(0, 0) }\n        copy_memory_to_memory_with_cleanup(add(offset, 0x20), add(array_1, 0x20), _1)\n        array := array_1\n    }\n    function abi_decode_tuple_t_struct$_TransferWithPayload_$37009_memory_ptr_fromMemory(headStart, dataEnd) -> value0\n    {\n        if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n        let offset := mload(headStart)\n        let _1 := 0xffffffffffffffff\n        if gt(offset, _1) { revert(0, 0) }\n        let _2 := add(headStart, offset)\n        if slt(sub(dataEnd, _2), 0x0100) { revert(0, 0) }\n        let value := allocate_memory_1198()\n        mstore(value, abi_decode_uint8_fromMemory(_2))\n        mstore(add(value, 32), mload(add(_2, 32)))\n        mstore(add(value, 64), mload(add(_2, 64)))\n        mstore(add(value, 96), abi_decode_uint16_fromMemory(add(_2, 96)))\n        mstore(add(value, 128), mload(add(_2, 128)))\n        mstore(add(value, 160), abi_decode_uint16_fromMemory(add(_2, 160)))\n        mstore(add(value, 192), mload(add(_2, 192)))\n        let offset_1 := mload(add(_2, 224))\n        if gt(offset_1, _1) { revert(0, 0) }\n        mstore(add(value, 224), abi_decode_bytes_fromMemory(add(_2, offset_1), dataEnd))\n        value0 := value\n    }\n}",
+          "contents": "{\n    { }\n    function abi_decode_address(offset) -> value\n    {\n        value := calldataload(offset)\n        if iszero(eq(value, and(value, 0xffffffffffffffffffffffffffffffffffffffff))) { revert(0, 0) }\n    }\n    function validator_revert_uint16(value)\n    {\n        if iszero(eq(value, and(value, 0xffff))) { revert(0, 0) }\n    }\n    function abi_decode_uint32(offset) -> value\n    {\n        value := calldataload(offset)\n        if iszero(eq(value, and(value, 0xffffffff))) { revert(0, 0) }\n    }\n    function abi_decode_tuple_t_addresst_uint256t_uint16t_bytes32t_uint256t_uint32(headStart, dataEnd) -> value0, value1, value2, value3, value4, value5\n    {\n        if slt(sub(dataEnd, headStart), 192) { revert(0, 0) }\n        value0 := abi_decode_address(headStart)\n        value1 := calldataload(add(headStart, 32))\n        let value := calldataload(add(headStart, 64))\n        validator_revert_uint16(value)\n        value2 := value\n        value3 := calldataload(add(headStart, 96))\n        value4 := calldataload(add(headStart, 128))\n        value5 := abi_decode_uint32(add(headStart, 160))\n    }\n    function abi_encode_tuple_t_uint64__to_t_uint64__fromStack_reversed(headStart, value0) -> tail\n    {\n        tail := add(headStart, 32)\n        mstore(headStart, and(value0, 0xffffffffffffffff))\n    }\n    function abi_encode_tuple_t_bytes32__to_t_bytes32__fromStack_reversed(headStart, value0) -> tail\n    {\n        tail := add(headStart, 32)\n        mstore(headStart, value0)\n    }\n    function abi_encode_tuple_t_uint256__to_t_uint256__fromStack_reversed(headStart, value0) -> tail\n    {\n        tail := add(headStart, 32)\n        mstore(headStart, value0)\n    }\n    function abi_decode_tuple_t_uint256(headStart, dataEnd) -> value0\n    {\n        if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n        value0 := calldataload(headStart)\n    }\n    function abi_encode_tuple_t_contract$_TestERC20_$40590__to_t_address__fromStack_reversed(headStart, value0) -> tail\n    {\n        tail := add(headStart, 32)\n        mstore(headStart, and(value0, 0xffffffffffffffffffffffffffffffffffffffff))\n    }\n    function panic_error_0x41()\n    {\n        mstore(0, 35408467139433450592217433187231851964531694900788300625387963629091585785856)\n        mstore(4, 0x41)\n        revert(0, 0x24)\n    }\n    function allocate_memory_1198() -> memPtr\n    {\n        memPtr := mload(64)\n        let newFreePtr := add(memPtr, 0x0100)\n        if or(gt(newFreePtr, 0xffffffffffffffff), lt(newFreePtr, memPtr)) { panic_error_0x41() }\n        mstore(64, newFreePtr)\n    }\n    function allocate_memory(size) -> memPtr\n    {\n        memPtr := mload(64)\n        let newFreePtr := add(memPtr, and(add(size, 31), not(31)))\n        if or(gt(newFreePtr, 0xffffffffffffffff), lt(newFreePtr, memPtr)) { panic_error_0x41() }\n        mstore(64, newFreePtr)\n    }\n    function array_allocation_size_bytes(length) -> size\n    {\n        if gt(length, 0xffffffffffffffff) { panic_error_0x41() }\n        size := add(and(add(length, 31), not(31)), 0x20)\n    }\n    function abi_decode_bytes(offset, end) -> array\n    {\n        if iszero(slt(add(offset, 0x1f), end)) { revert(0, 0) }\n        let _1 := calldataload(offset)\n        let array_1 := allocate_memory(array_allocation_size_bytes(_1))\n        mstore(array_1, _1)\n        if gt(add(add(offset, _1), 0x20), end) { revert(0, 0) }\n        calldatacopy(add(array_1, 0x20), add(offset, 0x20), _1)\n        mstore(add(add(array_1, _1), 0x20), 0)\n        array := array_1\n    }\n    function abi_decode_tuple_t_bytes_memory_ptr(headStart, dataEnd) -> value0\n    {\n        if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n        let offset := calldataload(headStart)\n        if gt(offset, 0xffffffffffffffff) { revert(0, 0) }\n        value0 := abi_decode_bytes(add(headStart, offset), dataEnd)\n    }\n    function copy_memory_to_memory_with_cleanup(src, dst, length)\n    {\n        let i := 0\n        for { } lt(i, length) { i := add(i, 32) }\n        {\n            mstore(add(dst, i), mload(add(src, i)))\n        }\n        mstore(add(dst, length), 0)\n    }\n    function abi_encode_bytes(value, pos) -> end\n    {\n        let length := mload(value)\n        mstore(pos, length)\n        copy_memory_to_memory_with_cleanup(add(value, 0x20), add(pos, 0x20), length)\n        end := add(add(pos, and(add(length, 31), not(31))), 0x20)\n    }\n    function abi_encode_tuple_t_bytes_memory_ptr__to_t_bytes_memory_ptr__fromStack_reversed(headStart, value0) -> tail\n    {\n        mstore(headStart, 32)\n        tail := abi_encode_bytes(value0, add(headStart, 32))\n    }\n    function abi_decode_tuple_t_addresst_uint256t_uint16t_bytes32t_uint32t_bytes_memory_ptr(headStart, dataEnd) -> value0, value1, value2, value3, value4, value5\n    {\n        if slt(sub(dataEnd, headStart), 192) { revert(0, 0) }\n        value0 := abi_decode_address(headStart)\n        value1 := calldataload(add(headStart, 32))\n        let value := calldataload(add(headStart, 64))\n        validator_revert_uint16(value)\n        value2 := value\n        value3 := calldataload(add(headStart, 96))\n        value4 := abi_decode_uint32(add(headStart, 128))\n        let offset := calldataload(add(headStart, 160))\n        if gt(offset, 0xffffffffffffffff) { revert(0, 0) }\n        value5 := abi_decode_bytes(add(headStart, offset), dataEnd)\n    }\n    function abi_decode_tuple_t_bytes32(headStart, dataEnd) -> value0\n    {\n        if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n        value0 := calldataload(headStart)\n    }\n    function abi_encode_uint16(value, pos)\n    {\n        mstore(pos, and(value, 0xffff))\n    }\n    function abi_encode_tuple_t_struct$_TransferWithPayload_$37134_memory_ptr__to_t_struct$_TransferWithPayload_$37134_memory_ptr__fromStack_reversed(headStart, value0) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), and(mload(value0), 0xff))\n        mstore(add(headStart, 64), mload(add(value0, 32)))\n        mstore(add(headStart, 96), mload(add(value0, 64)))\n        mstore(add(headStart, 128), and(mload(add(value0, 96)), 0xffff))\n        mstore(add(headStart, 160), mload(add(value0, 128)))\n        let memberValue0 := mload(add(value0, 160))\n        abi_encode_uint16(memberValue0, add(headStart, 192))\n        mstore(add(headStart, 224), mload(add(value0, 192)))\n        let memberValue0_1 := mload(add(value0, 224))\n        let _1 := 0x0100\n        mstore(add(headStart, _1), _1)\n        tail := abi_encode_bytes(memberValue0_1, add(headStart, 288))\n    }\n    function abi_decode_tuple_t_addresst_uint256(headStart, dataEnd) -> value0, value1\n    {\n        if slt(sub(dataEnd, headStart), 64) { revert(0, 0) }\n        value0 := abi_decode_address(headStart)\n        value1 := calldataload(add(headStart, 32))\n    }\n    function abi_encode_tuple_t_address_t_uint256_t_uint16_t_bytes32_t_uint256_t_uint32__to_t_address_t_uint256_t_uint16_t_bytes32_t_uint256_t_uint32__fromStack_reversed(headStart, value5, value4, value3, value2, value1, value0) -> tail\n    {\n        tail := add(headStart, 192)\n        mstore(headStart, and(value0, 0xffffffffffffffffffffffffffffffffffffffff))\n        mstore(add(headStart, 32), value1)\n        mstore(add(headStart, 64), and(value2, 0xffff))\n        mstore(add(headStart, 96), value3)\n        mstore(add(headStart, 128), value4)\n        mstore(add(headStart, 160), and(value5, 0xffffffff))\n    }\n    function abi_encode_tuple_t_address_t_uint256__to_t_address_t_uint256__fromStack_reversed(headStart, value1, value0) -> tail\n    {\n        tail := add(headStart, 64)\n        mstore(headStart, and(value0, 0xffffffffffffffffffffffffffffffffffffffff))\n        mstore(add(headStart, 32), value1)\n    }\n    function abi_encode_tuple_t_address_t_uint256_t_uint16_t_bytes32_t_uint32_t_bytes_memory_ptr__to_t_address_t_uint256_t_uint16_t_bytes32_t_uint32_t_bytes_memory_ptr__fromStack_reversed(headStart, value5, value4, value3, value2, value1, value0) -> tail\n    {\n        mstore(headStart, and(value0, 0xffffffffffffffffffffffffffffffffffffffff))\n        mstore(add(headStart, 32), value1)\n        mstore(add(headStart, 64), and(value2, 0xffff))\n        mstore(add(headStart, 96), value3)\n        mstore(add(headStart, 128), and(value4, 0xffffffff))\n        mstore(add(headStart, 160), 192)\n        tail := abi_encode_bytes(value5, add(headStart, 192))\n    }\n    function abi_decode_uint8_fromMemory(offset) -> value\n    {\n        value := mload(offset)\n        if iszero(eq(value, and(value, 0xff))) { revert(0, 0) }\n    }\n    function abi_decode_uint16_fromMemory(offset) -> value\n    {\n        value := mload(offset)\n        validator_revert_uint16(value)\n    }\n    function abi_decode_bytes_fromMemory(offset, end) -> array\n    {\n        if iszero(slt(add(offset, 0x1f), end)) { revert(0, 0) }\n        let _1 := mload(offset)\n        let array_1 := allocate_memory(array_allocation_size_bytes(_1))\n        mstore(array_1, _1)\n        if gt(add(add(offset, _1), 0x20), end) { revert(0, 0) }\n        copy_memory_to_memory_with_cleanup(add(offset, 0x20), add(array_1, 0x20), _1)\n        array := array_1\n    }\n    function abi_decode_tuple_t_struct$_TransferWithPayload_$37134_memory_ptr_fromMemory(headStart, dataEnd) -> value0\n    {\n        if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n        let offset := mload(headStart)\n        let _1 := 0xffffffffffffffff\n        if gt(offset, _1) { revert(0, 0) }\n        let _2 := add(headStart, offset)\n        if slt(sub(dataEnd, _2), 0x0100) { revert(0, 0) }\n        let value := allocate_memory_1198()\n        mstore(value, abi_decode_uint8_fromMemory(_2))\n        mstore(add(value, 32), mload(add(_2, 32)))\n        mstore(add(value, 64), mload(add(_2, 64)))\n        mstore(add(value, 96), abi_decode_uint16_fromMemory(add(_2, 96)))\n        mstore(add(value, 128), mload(add(_2, 128)))\n        mstore(add(value, 160), abi_decode_uint16_fromMemory(add(_2, 160)))\n        mstore(add(value, 192), mload(add(_2, 192)))\n        let offset_1 := mload(add(_2, 224))\n        if gt(offset_1, _1) { revert(0, 0) }\n        mstore(add(value, 224), abi_decode_bytes_fromMemory(add(_2, offset_1), dataEnd))\n        value0 := value\n    }\n}",
           "id": 126,
           "language": "Yul",
           "name": "#utility.yul"
@@ -8615,15 +8615,15 @@
   "storageLayout": {
     "storage": [
       {
-        "astId": 40529,
+        "astId": 40654,
         "contract": "contracts/test/WormholeBridgeStub.sol:WormholeBridgeStub",
         "label": "wormholeToken",
         "offset": 0,
         "slot": "0",
-        "type": "t_contract(TestERC20)40465"
+        "type": "t_contract(TestERC20)40590"
       },
       {
-        "astId": 40531,
+        "astId": 40656,
         "contract": "contracts/test/WormholeBridgeStub.sol:WormholeBridgeStub",
         "label": "transferAmount",
         "offset": 0,
@@ -8631,7 +8631,7 @@
         "type": "t_uint256"
       },
       {
-        "astId": 40533,
+        "astId": 40658,
         "contract": "contracts/test/WormholeBridgeStub.sol:WormholeBridgeStub",
         "label": "receiverAddress",
         "offset": 0,
@@ -8645,7 +8645,7 @@
         "label": "bytes32",
         "numberOfBytes": "32"
       },
-      "t_contract(TestERC20)40465": {
+      "t_contract(TestERC20)40590": {
         "encoding": "inplace",
         "label": "contract TestERC20",
         "numberOfBytes": "20"