@cella-lang/cpp 0.1.202610071715 → 0.1.202610071953

package/index.json

@@ -1,11 +1,15 @@
 {
   "cbfVersion": 18,
-  "checkerHash": "42c4656ea407ecad",
+  "checkerHash": "2b96f5e88326e866",
   "defs": {
     "cpp.__RecordTag_cpp.IOS": {
       "merkle": "796edb43f4d0722b7fe3a28a440f5eb1b050ef4eafdc16cffc9f9bed220a8acd",
       "own": "4044c970bfd3496a125208d8989fd262f489b8d1370675fa4d2a3c698140b916"
     },
+    "cpp.cpp.AType": {
+      "merkle": "a62c085c174dae0c69ecfb42bdb09fd1d8097da9ffffdb4bc2ec443cc42f0715",
+      "own": "f2a0398b1a8ae3dafb8055f7b1914a6d4e6ec316c9dbb94329cb0eb9f792bb07"
+    },
     "cpp.cpp.AllInit": {
       "merkle": "5a0cfe5d8ea7f749f33a4602a351bc770ac8f055b1e5d938e61f1f0ee10aca9d",
       "own": "dc8fa0b871f61919f87b5df3a7a2a2820a02161ce71f1ad6734555a6b8401bf6"
@@ -26,16 +30,20 @@
       "merkle": "09602c498f29f7a657415a8ebd38765f7f0cfacb6216a79e3ad06482e9b03dbc",
       "own": "ca45c2f066deedf68cbcc126de08451c3e01b646916c2d4caa21cebcc2a46f00"
     },
+    "cpp.cpp.ArrNonEmptyD": {
+      "merkle": "d24865935733f1df42e270f574b56ecb0581f7ac5aceec202b1345e390cadb38",
+      "own": "12b2ae9ff4d6424b28e8679baef313f72d272dc5891104e44596cad44ed99939"
+    },
     "cpp.cpp.CStmt": {
-      "merkle": "11a4f2663e045f6c337f7a4eeddb77250e944a748c74b5e589dcf2712cde69c6",
-      "own": "849cf39ee45f9c8393bf8245d6224871fc41829a1a6dfbb3a6e392cf6c59f105"
+      "merkle": "60e37ae79b2bada50fd073fcc125f7d62f13042c7970eeca5f9b86eccd70bf46",
+      "own": "428fc2bf0d1bd08a83dbd4d8de4c1460f1210af42522595a2b7f52c3b3d28f83"
     },
     "cpp.cpp.Call": {
       "merkle": "89c2e7785a2892ce1bcb9809409d5a821b385cfdff8d133ea2f863b7e908842a",
       "own": "694ed9d3cd750686c748d229a467b5a988e1ceb51d632f67c40f56beeca896ec"
     },
     "cpp.cpp.Conf": {
-      "merkle": "4420d540b957720d9e15c98a28aec2bfa7334360e71efd38688d25828ee48861",
+      "merkle": "d29a5a3497531ec0445c0bc12653719d4f8361066b4a60fbb28e8c0bdeaae237",
       "own": "9093938d5aa8d9564ef71f1999c023c507e2f4117a7097a3202f71255af9eb53"
     },
     "cpp.cpp.Conv": {
@@ -99,8 +107,8 @@
       "own": "5be6679cd5ec758a463219a41ac79f656d92d5b1a52b41f07e77aad8dc201452"
     },
     "cpp.cpp.Frame": {
-      "merkle": "7f9fdced604bd53915c99ecc129b3650bf97473e72d1105dcf22c463bf13cccf",
-      "own": "fe2f2d45f079ed83dcb2ca64c881e877c1c81213a81b5111e64eee43fd408cb4"
+      "merkle": "209bc8d60426979f8c8edd8087c1688f825b0025b0ca326e53cd197c8dc2a3ef",
+      "own": "f8d7e672a41b55d5a95c84394a5167dac9a307ba7ac344e4138a65be1f988356"
     },
     "cpp.cpp.IOS": {
       "merkle": "7bca8585fb75b4bbb718cab1752826485668535ed4a057cf755e9f511af248d9",
@@ -130,6 +138,10 @@
       "merkle": "c2d3ced7e1391b89cf23a3e92fabf8a4d0aa333a189bf2815261aedf9cc78958",
       "own": "81f9e5a1a2891d1d72e5b06972985e6d7b86939c7c6703936128c897101c9c72"
     },
+    "cpp.cpp.InsertOkD": {
+      "merkle": "2015e6dfb1b8f5907be6fb061bc47730bbbf26ec6c2cd4534be18a50991ed3ce",
+      "own": "b6065ab3d733132ffe01a7365375fadf6eca59823d973e1bc534e041d5b7b558"
+    },
     "cpp.cpp.Int32": {
       "merkle": "0cef551223cea06da834c6b1cc731b469d293a965641747be076ba100a5fa8f1",
       "own": "ca53ec9d050dd3d2bb09750705cd5a4f1cdff63e4c9aa6e7a8ddf2b10aac2e27"
@@ -206,6 +218,10 @@
       "merkle": "816d9a48fd9441a10974833d9b1a772673c3286ba72d1319cca7cd34d020d800",
       "own": "1191298f6b0ae763e3e87537b1999dd2931b2d0cbdbb1afcf305f9d74ec5156b"
     },
+    "cpp.cpp.ReturnsD": {
+      "merkle": "883e3f4e20945b64a08b994aa4ae8b8b98e644b595929c2bbe801f913f8b03dc",
+      "own": "65d052fe2d4fe97dd33aec3de62adbedc1755e97f3554183794c14bbee372477"
+    },
     "cpp.cpp.SameBlockD": {
       "merkle": "ca8cd30300f2cc88a6c68c443edc33b5c6d3362dc12a3f53d951547c37df6b08",
       "own": "e4b997113fae6bf61aabe77227238bf67a0ddb55910a79d86ac479771637078a"
@@ -238,10 +254,18 @@
       "merkle": "18a38766c5fd119d392ed62eb3b61c328e770619054000ffd772b554e393eb15",
       "own": "5c7cebc46fa1c38613e942c27fa7f779097579f9d77f54652e8153d3a24d9be8"
     },
+    "cpp.cpp.StoiOkD": {
+      "merkle": "b64aa9667724a3084aa73cdc392c582802edfb1c77f135a9f9dc298ce076cc0e",
+      "own": "5af2aa6102ffc48080aecb9e3197c71b8d5f67808e2041b1a608ddfd35c7bf3a"
+    },
     "cpp.cpp.StoreOkD": {
       "merkle": "6212b30efc1696a33e8dbe63993ae2fa9eb373db68ccc994bb19a133ebbe201c",
       "own": "ec4a249cda2698bd043d79c14df939395c4222528ed38914976e468128d467c3"
     },
+    "cpp.cpp.StrNonEmptyD": {
+      "merkle": "27033a89795a51cdb62f35becd67a65249f7e6cc7ba162d66d1318145d95e7f7",
+      "own": "a15b6b357947f80d995dc950de8052ce8ee390deb96a728bbc38ce12acd26b34"
+    },
     "cpp.cpp.StrReadD": {
       "merkle": "3771a3b8e4e36dd3c492951939a6cd9e47de2edf26de356a6ee47cefd275d67d",
       "own": "a19d98fcf34f4dd84e13fa968d65afd14c155b539b5d1e6983cee9b5de411d0b"
@@ -290,10 +314,22 @@
       "merkle": "e0dcd0da6ce9effe06a3af63ccc89d4e583ed594945f21e583be0f0ba243f456",
       "own": "cf73f5b22ae5d2cb7be9fe5329138479e2a6f3f4e694bdb6de11859b78e9cca8"
     },
+    "cpp.cpp.addFF": {
+      "merkle": "ce487e14196ef0c6eb76ff74dca3f694569ad97c5607cfdd4fdbf411822e57d5",
+      "own": "d11051a4cf0ef06ada160b203765f86830802d16d1d99e8b28cd218acc346a27"
+    },
+    "cpp.cpp.addFI": {
+      "merkle": "68e3c4b0bb1881560554c6e97cdd7d499ee03635a7c80e0412922cc4fb21dba8",
+      "own": "dca48a06e252da4d45d376c2a897ed4e024b4296c559504b955a89460014e535"
+    },
     "cpp.cpp.addFin": {
       "merkle": "6988da812d9cd56fd1e9a5f1ffb6d916c0dd04f9006a9fd0a3b4d58891a4ceaf",
       "own": "91f9ae6c2a14650291c42c130b60cb49937fcba990aaaf94d74acabd0010c8a0"
     },
+    "cpp.cpp.addIF": {
+      "merkle": "63ce87888940f1fa2ca5e40040a0dffdf0fd7fd44462708b191fd43bf996b965",
+      "own": "b1120fd892c0fe20c8c7613b9a55a89fa4aa713d214ce1432e8fe5049e03a033"
+    },
     "cpp.cpp.addV": {
       "merkle": "3fba361a9d57f88b35627ad9862dd66ca812c5e49a56f7b42762b409e3e69247",
       "own": "51749e58de87cc60d002767108377ef7e6b65e9f17c3a869607b140b4ced2163"
@@ -350,10 +386,18 @@
       "merkle": "6af1f376222d976e140526acaedb39cf2e004ad9300608328bd4670494a8a043",
       "own": "c19507409ca24788c68322ab50dc6cafa8dafe60e8b1371f47f6f8904ecc36a9"
     },
+    "cpp.cpp.arithT": {
+      "merkle": "f761bb63ebd69ec287aee0ae7c8fdf7543a5f488ab093f66e4a5b8e9f34b0c65",
+      "own": "fa5031b1af37a978b534faf784524186f80e4b035eb693e400e2d6856c41e7c0"
+    },
     "cpp.cpp.arrLen": {
       "merkle": "2a99fadce11a81b99056cc9888bfe37a0350b171912236972d959993a456fc2e",
       "own": "1a44b6226c26366fd6fc429dafb3644d373a2bebd8ae5cc9c55cb74f4dc134b4"
     },
+    "cpp.cpp.arrNonEmptyB": {
+      "merkle": "e71858c6f46174ad5d82cfe718560afa9deabc653af695a6b10b1e32e69bfbbc",
+      "own": "9d8c7d5b70ad61cbeb09ab2c2e2b6588633a4786270b858cfb0af9a05ce0c06a"
+    },
     "cpp.cpp.assign": {
       "merkle": "76394046af7e4b200938e255fa5a6f546c1f31cbda04c385b69bbb032d2f57eb",
       "own": "05bf5bac7b0eda566d3d05dee6443dc885b3384f87917f228a894c40f4758cb8"
@@ -390,6 +434,10 @@
       "merkle": "85955cc1d6f63547adf94cdda7cd0ad78bb89989bde458259a3cccd37afc241e",
       "own": "1de17cdafbecbd5b00f810f959392002d78573d2a9169dfff81742a8c1e3a1f9"
     },
+    "cpp.cpp.backV": {
+      "merkle": "cdc31ce49e48ccfd479c95926cae4a62f447272b13685ceb8f33f60882e8d8be",
+      "own": "454eee96e1a29c483cee6d7734eb1e63398b51120278a7c14255edcccbd3c931"
+    },
     "cpp.cpp.binary32": {
       "merkle": "defa811bdea4b6beb5f275b6d0816428c933337d6c80bfa51997aa83fcdc1d8a",
       "own": "a232b2ee6182bb05047a7bcf5d4cfb0e324d8074e0bfc711c6bac1dcd315ec0a"
@@ -462,10 +510,30 @@
       "merkle": "0b1340fb67c7cb30abc4396d0fb7375cc5ef549a2a3570f6249e51938b31c266",
       "own": "789a4dbec0c9455bea9682b15bdd87285b7d91c460146b836edecd08b3d1bde5"
     },
+    "cpp.cpp.callAfter": {
+      "merkle": "584f5b53f7c76240b9f2054041abed96932c136262531a712b5b8366540cef8b",
+      "own": "be22f858a25b7b45fa0f26ad40ac2d05f0a12a50a067c879074f5a1b0dafc1f9"
+    },
+    "cpp.cpp.callAfterOut": {
+      "merkle": "c13e7eee7fd7d4ecc0c09efe90ebed23ead5c2a5f48ff1f356779691c125d892",
+      "own": "c1f56908ede3ec3a715af05e165854a03a631e2b0bd61f4e9f37b6719e380279"
+    },
     "cpp.cpp.callF": {
       "merkle": "f211989a0a8d41f9b98f69f1e12f22aee0961284d0b24287047575fa5948a03b",
       "own": "3fe9feb1d86d2c2c3e3bf98cb2dc463e7437b1c7c539df6b48e62e7ce9e15431"
     },
+    "cpp.cpp.callS": {
+      "merkle": "da4329360b75baec9ffbd0eb03a26fcadecf5a8fea14eb58802a2a6eab9de4d7",
+      "own": "e6a552b83d8e2688456835c58ce9221b67402be80a3e1408000022b1606a3808"
+    },
+    "cpp.cpp.callU": {
+      "merkle": "6dd3accb527af8e5a076f809479dd9151a608e4d43af58eeb540b5f24c3a6fca",
+      "own": "51ddcc559c0cfc7458b9b998fe5fbe87d7d08f2a38669ce1125a36856f7c7df7"
+    },
+    "cpp.cpp.callV": {
+      "merkle": "541bd886f2b488356d9dfcd048858fa4710a58f8606e4880d0be35c45854349a",
+      "own": "e27c3d5beb8da3f2fc0c9f9855ae7bfc3c3bdec2361a1cc0f90028ead35e7bc2"
+    },
     "cpp.cpp.cast": {
       "merkle": "afcaf4dc541392fb8c5ff342241e07d4b13a9e9594d1e829e3c43a90b1fbb0d2",
       "own": "2f7ecdc5628e76bbe488aeb0862cee8e00e0bc78bc2758e75d4f3e037c190c62"
@@ -494,6 +562,10 @@
       "merkle": "f2ab076aec26d8d9e587501764bd9190dea9e2460f2f0f50347713708099e95d",
       "own": "74e47c074da1abe50a70a949055c19012994a7e9d6b671ae4930db295b3cdd9b"
     },
+    "cpp.cpp.clearA": {
+      "merkle": "19f258930eca7068b28b55bb597e95d1561bda5e120b85ef90a615fe05e2ad93",
+      "own": "70b8f5dc805ec7aae73a4f3638d86c8ecb6fbbc988d0aedbb3d0211afc95acdd"
+    },
     "cpp.cpp.common": {
       "merkle": "d898b4d6a3e3d2f9322e6f213956d9885e8036d3cbff002c6e51b520ab2f2259",
       "own": "fe8870cf3e9c5efa9ae7268a06a639c911b69713da5058c2cb840f7f88b70e57"
@@ -511,23 +583,23 @@
       "own": "d4dcf4c7624cd2103336716034b49c350c1b073a1dc2ea924b926fca5ef46843"
     },
     "cpp.cpp.condConf": {
-      "merkle": "7da45f7f62c93fe2ad10a9b47874649403bfa9f3a6ee8961e1ef8d6e5c6a7455",
+      "merkle": "6c828ce24fb576b333199c14ff4472137448bce34065059678210b95d2bfb0c1",
       "own": "127e4f350be9a64cebb0b0d517256f615776eb46ac4b46be0bf469d06ce55573"
     },
     "cpp.cpp.condConfN": {
-      "merkle": "bdf46ccd0d5839f16b1b6ad1db78cc4e05bbfa1fe0716580ee8f71e8739ef908",
+      "merkle": "8bedcb6e136e83ef729961afcace7e4aa7ae671d3825eddd2c5c320ba9d35f04",
       "own": "3ca254fc1a01573ceb1ab98273f7f74cb1bdd46dfb31a07ec3ee73002b78f5ee"
     },
     "cpp.cpp.condFinish": {
-      "merkle": "b7e62e4cc85e6976cf783c89590885be928267df7db9653ae1c9c23ccd9108a3",
+      "merkle": "ef579e30a1297059feaa80476230d6168c7102aa6af7fc30260a3f9d29112181",
       "own": "46e9af77c3527d1a13f4e612da2996b4ee43b2b7224bb644d6947b2cb866160b"
     },
     "cpp.cpp.condFinishN": {
-      "merkle": "cbb8fbbd4474dc656ac8fd5e01cad2b8b8022750a58baa4e86198a6bf20ad0a0",
+      "merkle": "6a470703f89f968aedf64c6b7fb8df9de3aa01765d19550db4d5147c16d85ec9",
       "own": "dde8da42ef69a5ff912bf1c64afd65a4c332dcba47a505181ba368387c4a37a9"
     },
     "cpp.cpp.condLF": {
-      "merkle": "9543fcadbf6d80fc4bf30fa15541696408751ce04ccc7213f924239cf3ec64cc",
+      "merkle": "e6d4c3d3fcb3e91f204521f3db75761b978955786a33aa0573c0d900d2decfd1",
       "own": "940c224df1e78b8f78c21ae23aa82b92fb7341fe96860814d9a949c60472fdbe"
     },
     "cpp.cpp.condMono": {
@@ -535,20 +607,20 @@
       "own": "3c63b5a279f54a86b6464ba264c94ed21d224088327ba7e4fe80f33006fbb38e"
     },
     "cpp.cpp.confLoopFree": {
-      "merkle": "5ed4fa103bbbd1b5fd2b4baa2541aeaf05f08a96a72dea04c10623cfa9af6c9f",
+      "merkle": "19586931050baa2f1d6c317cc95affad2d64aba1b4810c87eb4b1f8aa389091d",
       "own": "7a4594f014a3b617adff86f5f99da2c63adfe4bc242d3f586dfdbef7dcf34bc2"
     },
     "cpp.cpp.confMono": {
-      "merkle": "45b8877c920a4be03b0b60ca266e14c31c2099bbc32164b0ab696f52391e7d98",
+      "merkle": "a06dedadfae88a7a4d5bf0c91367527d2d351d77fb52dc66555b30803c5e3279",
       "own": "3cbd74f26d31e5d54014df0641832676c7516177257ab54a7664b31e97cceeea"
     },
     "cpp.cpp.confN": {
-      "merkle": "c0a9f7fc367eceeab47a201704f4bde40041a95194c199d57861c8a0745a1e84",
+      "merkle": "dc707306241ad6f33088ba8cac81fbb4808dcc2ffbf5923a8140b5c2c7aae343",
       "own": "f434582658ecb26e8fb77978467ace98c32a10d1a5b0d7fb3c439c7ff5c3aa9f"
     },
     "cpp.cpp.contLoopFree": {
-      "merkle": "19c9374cc60fb15317f727981351b4df8f14d868f836b33e27d22fc3c6133c74",
-      "own": "015b161b9f416eea14ca55116427e17fea4cea43e4d4bf34bc0acc526473ee43"
+      "merkle": "f792b2c2b63fec6a7f20b40e1fbea32dc8c6e51111528f8597e90bf7c64a89ec",
+      "own": "108e6c7578141d98af13946883d7b61325530913c7e026011e88d4b425c427b3"
     },
     "cpp.cpp.continueS": {
       "merkle": "7a4f3f44b16e4fd471e95f8b94c35777570b01f058fe0806e9a37d3abdf2c12c",
@@ -631,25 +703,45 @@
       "own": "cf799543eef6f49eda118360c71ab15a720df1843681880c304e3003f04ab69f"
     },
     "cpp.cpp.denote": {
-      "merkle": "bd0620f61b87955e2e594529063ef12962a150a74cee650928965492ecc642c4",
-      "own": "075a9bae2fb43f9864485a868664093f925613945e2639c467b7e869129814dc"
+      "merkle": "dc58e9ac9cfe10bf40f5a584b51b91226d48ce41d4a9b0c23beffb27eb6c0e82",
+      "own": "8673915f529cf11044e7c2797cbac645c1beecf739840c09cfbe52fadc9b425f"
     },
     "cpp.cpp.denoteConf": {
-      "merkle": "f927f8f2dff5b58ff8ba18fe3c8b939ce4e4446304b04a92682fad12e3da9631",
+      "merkle": "2439f43405ebf736798cbdb154a9c18ef1ca94f6813f235684b5193b189b1242",
       "own": "4c02f563f19a5e7bf713fbcfa287886ee0c3ee63486d62adb7857e58bc2ae529"
     },
     "cpp.cpp.denoteMono": {
-      "merkle": "e05c75fe27745bbfeba63f34cdf4b9511c8bbef0269f2295119e405bbd01db9f",
-      "own": "960b4c35f9a13ee2d3dccebf0d3594de92672847d8d7833003b8b207353e138f"
+      "merkle": "6cfc7c9e7428cc83137e80f8e43854e728afb6ae5e5978c155ab4305e143e581",
+      "own": "0ac6fd6f92e90510b2b0709b24658fb1043ab1701ae2c9fd7e7d33380f3a436e"
     },
     "cpp.cpp.derefB": {
       "merkle": "41c431e3fbc2449b64ae06f9b7c3cfcadeb0202a2873387d8e46e8c12b496305",
       "own": "59f474be83b27227473a4adb4ecb73db5dcbc78a7d6c71c4bd291ae596318169"
     },
+    "cpp.cpp.digitB": {
+      "merkle": "c8d7d3da2ee6f0732c19d45a76c8394d3ad1c9fee89e891733938be138e8c9e3",
+      "own": "4719744efa895d881497b95f309819f8b96b7aaa1c620ec390cfe5ccb8ccd719"
+    },
+    "cpp.cpp.digitsB": {
+      "merkle": "489ce1b10a6d5b7084ff74ca185655e40c269d4c8140aabdcb459b09605b24e7",
+      "own": "5fb4b7346f41f6b6ec0f986bee57811df62301d44672d73c7cc31d38355ba415"
+    },
     "cpp.cpp.div": {
       "merkle": "c25dce8a08ffad1401476e5afde888d957231ea148a7f1305607296240009f56",
       "own": "5257e22728d218342ee89c501d91fea5acad72c90b9a8d28b2532b1da771b7a4"
     },
+    "cpp.cpp.divFF": {
+      "merkle": "0741f11f0d982620e0749edd21d2c420704939301c77b23bddccec3070362ed5",
+      "own": "ec467ad19d9aba64626620e67b4fe3ae41319f5b8be21678307e46ef37438282"
+    },
+    "cpp.cpp.divFI": {
+      "merkle": "c649c0f9157ca70f8c86af66a96b6a3d08253730afe3feb599280b980b46b432",
+      "own": "70ee7fbda631476c4bad579a2c02029640c5016bf3b8c04fe515437196bdd4b5"
+    },
+    "cpp.cpp.divIF": {
+      "merkle": "9412a28dced9e183b91fe2b3b7a88ebc74a66538dce7d64179dd7246af641b8e",
+      "own": "9fccbd010c8ddb8573a677120bd6bb9194e6b0ea1b06bac7904facbc52be7482"
+    },
     "cpp.cpp.divV": {
       "merkle": "5c4b4609a23bd492f47e313f9fc6a8ecc98d050200e585f6c0f504e69d541b92",
       "own": "da7e79c529aafb13d175bb07282afc7a625a387ed4853393774faaab60cc48db"
@@ -702,6 +794,10 @@
       "merkle": "77aa8ac2ef419818b7749392fc9e69e904eb82ea39ebe67ae2142b2302eab423",
       "own": "ab7b91f86d831eec0aa6088635d43c4bbe24900c29c8674ae89926bee5be2214"
     },
+    "cpp.cpp.dropLastL": {
+      "merkle": "99d9ef122298a94cde4f8e940e7aa500c5d07ad9089b6564abffd719c0567518",
+      "own": "48154d7d1528fd319bf7bca096a03c714a0973d58b3afac6d11890bd21b239af"
+    },
     "cpp.cpp.dropTrailingZeros": {
       "merkle": "053e17bb4b9fe6a813d3786d5283158b7abeba1909dcba13130a20655c9e0f0c",
       "own": "37d5e9e64f48b79b6d3ae7724a5a005c996e2f2083dad3455d5fc6b6c4c27389"
@@ -714,6 +810,10 @@
       "merkle": "f97d199ede9b38e46c29af0552e62a1feeaf06def7054ad829c4bb83de5caf5d",
       "own": "beddb86a754e3d633154bc03d438526480cda7699d0400c49afd194fc8919d2e"
     },
+    "cpp.cpp.emptyA": {
+      "merkle": "81682d1947db24acc390581da76433014e7823c555bff26b187357825045294e",
+      "own": "32e0c040553fed95b79da2b3018efdded2653058c335d4e475e0416909457b7b"
+    },
     "cpp.cpp.encodeV": {
       "merkle": "be351dd9791f69024d7f8f774a7042d6f6b9e93cc20be0cbe52a3beb60c078e9",
       "own": "2e14303c688d4e4d3675487454dbced9d2d60a9c8ad7d9911054ede5899e01a9"
@@ -730,6 +830,18 @@
       "merkle": "dbea1a3e962ad7697469574a4e6165c3633c3c262a4f88d76cb298eba02fd666",
       "own": "b20d6d33e9db32381266198cd6ac6d52c642d8f70d0bd62132d857ae93f1ebaf"
     },
+    "cpp.cpp.eqFF": {
+      "merkle": "0d022a2d1674cd9b216d497d9fc1c264a3b8e56299d64a7cb839386fa15d7532",
+      "own": "357b90ade087dc635ee94802dce8f6198aa037dc0259ca79473f32a4c51ebf39"
+    },
+    "cpp.cpp.eqFI": {
+      "merkle": "19de2b24aa657c4b6259d2a53b72ffec837425c80352800402668147ef0b9e4f",
+      "own": "0a7845060b9b6678dc573fb27ef54fa8f8fc98e5d37aedff3b740ec922c36507"
+    },
+    "cpp.cpp.eqIF": {
+      "merkle": "de6f48ad96ea7dd8867780f9a6aba6738efd3b6bdb0b90f6090ebbf596ba026a",
+      "own": "7d036948024181eea8b9c24bdc5ed14092670b7b1402b43a84de6a393335e4d5"
+    },
     "cpp.cpp.eqIntSym": {
       "merkle": "28e20fbb1ebab6289d5f8a36e8e02e67622ce6841ef39909600dd53aba49184e",
       "own": "aaff1b896807a4f222da143e9561dd5b2a6ba63eafc5ecf082924fdb06ebba50"
@@ -738,6 +850,10 @@
       "merkle": "90c908a31e37277afd8203917a112f0cf9447649a8748d64953c1ebc3b12476a",
       "own": "526669331ca6d0966d6753c41eb39ffec4fede6766d23b6d3b2585f550b29ff2"
     },
+    "cpp.cpp.eraseA": {
+      "merkle": "d2972deaf83cb8cbd5320b1c822b60c5c91d49a569046532cf1b50f6bfbf21b2",
+      "own": "25b58215aba6b8d517dc0552a0345da939fd80bddc488383404222fa45facb94"
+    },
     "cpp.cpp.eraseKey": {
       "merkle": "5f5c0e2d2d50b8baf0a1a1f1cc29b56887219c0b414008ed4c3f74bef6b682b8",
       "own": "244f3d5d82676f2696dd4382cd3a0d29d231c28de46a95b21aa6cfd465f658e2"
@@ -747,23 +863,23 @@
       "own": "59d200d75c5588a1ecd6f9c94ec565a827891485a39ffcdf6ad8f9bcba9bb017"
     },
     "cpp.cpp.exec": {
-      "merkle": "36d11be42a17f3af8436d8c6c2c15f682323e861a7bb454b82e0b8ccf4c9f110",
+      "merkle": "a963c5ba22ef0ed4cd2ceeb7e51752e72ed8df404d0325fda8dbf42fa0e8b8cc",
       "own": "4a9de798c933487554e2ed22d59737a0c585c85a006f1046475659711029a08f"
     },
     "cpp.cpp.execAgrees": {
-      "merkle": "ce93355b0e5d6e41defce075507747bf7538572239a70e1445414e0b6caa284a",
-      "own": "8e5d981cfeba78eee5cfec5da19765b73f99bc9d0a7374a4b38485addd7b15b0"
+      "merkle": "c266a70b5931010afca7e7b411ae497a3be2f105b75521e30527a414553a0964",
+      "own": "cf037149a66bba30d5b2d14b1dbc5d5c0828a1aef0a4f97312ceacaeac68fcbf"
     },
     "cpp.cpp.execAgreesN": {
-      "merkle": "c987bdd64f421ed1fa5d4672bb645c880c032c2fd538417911a84d2366a0fa12",
-      "own": "d019b05d69bf9fd2e26478396167a9b4c292e1247e101718e731d76a837aa77a"
+      "merkle": "f0def8df160a89787d5bdcc3a878f72e9a0217c1987853e0da44576c67499c16",
+      "own": "66f31ce55b9f2f50a10719993b54ac1af9eb6e9ccb1834c0f5ff3b3c1cc2798b"
     },
     "cpp.cpp.execDenote": {
-      "merkle": "5f77fde7036cb9144cb2bef8d918393ac2388fe182efac63e6482c4118aad844",
+      "merkle": "628f39a1e9e574af05c1d2f8a82d379daa2cf6312fdce9905baff0255d76497d",
       "own": "859ac644ac603d21938586b13743c68761870d7333751a0d6f7e672ee9fbf3d9"
     },
     "cpp.cpp.execDenoteLoop": {
-      "merkle": "d6330e116a437f6dffcb9f51f3ca6994867bab41c8262589bba3a164c9afb50f",
+      "merkle": "c007280e3b24a7c7735f337b2ad56bec20059b7c958eee77c508282815236974",
       "own": "61760c7ca2c678c0398f3548ce871edb324c33b39bad93dcf8aabe078fd53e4a"
     },
     "cpp.cpp.expStr": {
@@ -803,12 +919,12 @@
       "own": "6b9bc76debdf9fcf144924d3a91e1d744299a7ca644797f0eb0b59167ee738df"
     },
     "cpp.cpp.fconv": {
-      "merkle": "a6e067cf523f99de352e1b31b987fb95527eb6ae7c89dba372c177dea008c781",
+      "merkle": "2efca5120f5637af1669adaf6896b2e79eb436c37269137ba670997167a7b8de",
       "own": "0543af9ae95b3218d79ff1d84a3e8172a348e1cfc074313c17340e4200e2a8df"
     },
     "cpp.cpp.fconvV": {
-      "merkle": "8b1f3d1904abd9fc80ad5d2cfbe15800c25c5e0edf69f7fa1def2d66e9f9e453",
-      "own": "d13247b659e601962d5286130afcd799be8e09fa8b830d5d36bee9ff53ca3a71"
+      "merkle": "c861cd5eafa031157227aa8b52ef83165c5aff894674a10844729ae949c1516d",
+      "own": "c7e60ed9d0dd77150ac3231329d45c068919f4fc83058b961d6a08bb28f9fdea"
     },
     "cpp.cpp.fdiv": {
       "merkle": "4083f0fc6762fec84c01748285cc1a08ccac69f90d804f56c591553e638bb5a2",
@@ -831,52 +947,52 @@
       "own": "67671609b834d7224613db3f00e45305762b3175e88dc416d9440e2a020895fd"
     },
     "cpp.cpp.finish": {
-      "merkle": "a296b5819561364b98c579543d09beb1a2d5f80115afd689965623b4cb11b1a9",
-      "own": "1322ef251e66bf4e2b616fc4a99cda57197ff1ba5699d43a31e5499e8c1ac466"
+      "merkle": "85fb17169ba53ae7e100aa4107690bb7ff56bdb5c1e121bd1110bf0ea4f91846",
+      "own": "fbfa63c6f3de6e545fd5613bfa707b84e18a8e1e1ec29b07b9cc7d90a23b3f8c"
     },
     "cpp.cpp.finishBrk": {
-      "merkle": "311362dfa1e07e005f7cc921eec1c9e05dcc2b0d31980a30d3fb75c3bb7c821f",
-      "own": "e1ad692bc1d5310a8c1601f1a118b00d2d9d6af47851e9a38153e62231da4cd3"
+      "merkle": "160000d58208396e68253989e2374cd712324b2ecc1265dd748ddff94a14a1e3",
+      "own": "83fd4886c71678797e2ddf361ecd19fcb4831b22ec9cff0b42fa8a117f838667"
     },
     "cpp.cpp.finishBrkN": {
-      "merkle": "4ea66af3c4529b12885c90cd76ecb306b5324e0d186960f234daee87d646c6af",
-      "own": "d056bb67e89775f3f32c62e8979c8be8ecd50c53b89031f092b8b7ac4bc74ea9"
+      "merkle": "1109ba7f922e8d49130429a6bb332d7527f52c16a97b563152930d97c424d4bb",
+      "own": "00683dbbc22d6d8250d43c5dbe451ac37f1e6d10de00e7b06bc26c28bca9bf1e"
     },
     "cpp.cpp.finishCont": {
-      "merkle": "ee0dd18693c327c89a2f206b8fd46254c11b99069ba0bfbdfceafdb5a0829096",
-      "own": "be00957c54255e8fc230474c0321b0b1c5aa3b1a75ec525593dceca90028d0fe"
+      "merkle": "6a1eff38e95fb56837ff56151ab5618b51cdfad5900d70d6c4929f4e0b751e5e",
+      "own": "fb1aba4a20f01a07294cff12cd011ec56418a14b14167b7e4789487bd5b28c92"
     },
     "cpp.cpp.finishContN": {
-      "merkle": "3a3e5c27647f607235cd4b1971bc709a2a90687ec4e5ed6cfb722f57c6d91f03",
-      "own": "958890f20bf8bd0c5f059da78a87b0d562dbc787722b99e61f3ac6922542efd6"
+      "merkle": "e21e006895a33c624e218e6154f11218eae5fbdb675c36c182ecceaa96d80e2a",
+      "own": "13e3a97df45e6589c53a39654d62ae123f9953d3b1c58bb2b1f1c5a7ef378228"
     },
     "cpp.cpp.finishMono": {
-      "merkle": "7ad853597009776023d2e01f6f020d850ae39af81d75903cd7186b89d0c2dd4c",
-      "own": "4fac07b8318436d8c7000fba7f46d5199d67979966dd69c152a4ba0fba688f16"
+      "merkle": "e404fc9ac91d74333d3dc01a029403604fc0ffbab1be9edd5712a2c9c80b3138",
+      "own": "271325129f8f0bbe4fbff6cdb75f27c3bf5b44873af1b4969ba3f4cf6d4916df"
     },
     "cpp.cpp.finishN": {
-      "merkle": "8f242766303d423e621d08ccaae999b435b31a13f0a1317341fea9fac744c524",
-      "own": "dcba2f2e78cf18cfd49820b6336e6ffad07ed6b0c13ce6f3a2fac5908b543cc7"
+      "merkle": "98b48c3856201df5e4155649bb0b533fc96d902ccd7d706754615db8cd782af5",
+      "own": "0ed3cdd30e0b225fe8e139bee3e7de64cb4d2a4cab43625d1fc655a0a5afad78"
     },
     "cpp.cpp.finishNormal": {
-      "merkle": "b8a9ea6b89ee8434900bd0561fd4b083ed2f45b4715999e0c8d08515da30c047",
-      "own": "48457a61c4cc1b4c050da89c278ae7567e3af2ccd8187e2ae85e25a54b55db07"
+      "merkle": "13466f688334506deed084ba859d035281bc3f532108ccd8bf44cbefe5ff0c13",
+      "own": "b08960407742acbbb6a70127889f2abece3d8db8340ad2cc9f7109caf21940ca"
     },
     "cpp.cpp.finishNormalN": {
-      "merkle": "ea953651da225923c237ecd91228a19930883f798de6a5f90382d95cc8b51ecd",
-      "own": "d09a170e0f7a6557c26cbb5c99f158ec38bee7ba38741c3170a052b684d65e8c"
+      "merkle": "a2932ce45c5bcc317c324b93e4710dce44b41a27e27a8397b5835a934b37d2b9",
+      "own": "9f2a5ecf804770c35787cccae76cb28c371db6d0ba7c6a8acc16021ef6f99e5d"
     },
     "cpp.cpp.finishOut": {
-      "merkle": "6fd1264154466b76c0c91e7cf81e1ed98e4cd51fdd42faad21fa2b1c97914be8",
-      "own": "8c6d963174a3e1f39e5f1c8fba8cd90faee341641d302c01f73b526aac955d49"
+      "merkle": "8c0f9698bfe6e44fd503698d4412311ac12031f133d216a30837a2f0440c4ee8",
+      "own": "bbd99f8cc940a9a845fbaa0fdc64ea253a2cc6d3cd7833c3b8f5595fab230180"
     },
     "cpp.cpp.finishRet": {
-      "merkle": "704528537f24c765b4cb511fe55c2e89bbabdd7b29bfd2dadc0fcda1f6bf98b7",
-      "own": "fd551c360d028aa2627a5a0e43235d2c8ffdf3d132b59132ebef3aa47b82492c"
+      "merkle": "0546dee7beee3ad76484eeae5c96ba5f173abee90c7fa1462e1b4eac200e0d7d",
+      "own": "98e2720bf51d12ca9d54b5b4cd8437f790b3a33fa310be4e434addb7ba1a570f"
     },
     "cpp.cpp.finishRetN": {
-      "merkle": "1ff776a94d641ab873b453ae2a86ec01df9517b059eebc4e69a002a7023aa244",
-      "own": "66c2583dbef6813d866b11b382b17895f3bfaefe41d5dbc6d1119be1318f524d"
+      "merkle": "228a7b25024b80a2b3ddc02a9ae7ac884edcba6b8d3fc2a37704e50ffba06a6e",
+      "own": "67d6990dc3caad8cd6b23560dc19b50e1a44b4ead11b8b4f146e9108b934bd7a"
     },
     "cpp.cpp.fixLog10": {
       "merkle": "0c3de02b8c308096a5d49e20841371276e118402fe4b38a8182687552884e794",
@@ -950,10 +1066,42 @@
       "merkle": "af671caa65d7221789ad658a93beacf17eec02be7b12b436f406c90207eba2d3",
       "own": "e575cd1ab60141fe682923f5ed6b5b5a8ba884dd48caddbf2b3f398248066e4d"
     },
+    "cpp.cpp.forFrameMono": {
+      "merkle": "2fda2043365f9281fca7b080a8869e7db801c4e1771c6bf5dfc8b6aa007ea6ba",
+      "own": "f1c1838e861e364e573812ffd20ade2abdba275d22cc9146cca009d05ead3bc5"
+    },
     "cpp.cpp.forGo": {
       "merkle": "ed2a9ae43066b5f1760ad7927dd01969241f7d74b229829f6a373098ea526847",
       "own": "b9fd0427111a18a23953e49e0bf99ea92adb2dfd090634d6e1cef379b86d241c"
     },
+    "cpp.cpp.forRest": {
+      "merkle": "4f752ae5b6dc06db1255c15e52dd76f5226c25457d0c5152b379d8fc4f18a206",
+      "own": "5e8a4779047459bcf1ff1118b99994da88afc7078fb37f24f74681dbfbffe2e4"
+    },
+    "cpp.cpp.forRestAgree": {
+      "merkle": "b9c45434718bb224d9282821da3d8233ee8c8411591e3cff92b2e9cf5da75fce",
+      "own": "91eb81c5a1efa070a3f9edee64278a40526f4b294ac7250d15184bdcb483ab4d"
+    },
+    "cpp.cpp.forRestOut": {
+      "merkle": "66d01b03a0cf457c09180ba352f3c7651a81fb2a9f62433610e3fcbec955578f",
+      "own": "e5c1d32ae05538414f93fda9eb3599a9df275a4992e2439db32af17484d81f1d"
+    },
+    "cpp.cpp.forSame": {
+      "merkle": "95647ce9d9dd0552c2aed027ae34fae9067fb060100a8e5e10cc94875f47eb41",
+      "own": "3ad6df11c3f0ef71a3d6ce444667a817da0051857a544528ca7f41a05f6e6011"
+    },
+    "cpp.cpp.forStep": {
+      "merkle": "b538007654227d6e4989f8c7656d87357cd9325b90d4dc9240e59a4c392476d6",
+      "own": "22458f0f81e07836dd06949cbcb8b756a3f5600163cd1cfc5b2443b2caa495cd"
+    },
+    "cpp.cpp.forStepAgree": {
+      "merkle": "1c72bff5e77799a53ce078d8ef3c6cf70d7fa1cd8b9b454e75dbb65139c0dc6c",
+      "own": "1da8f57ea3fff9504a0823e09dbdd873151049f99181bae91ad29f6e65e41658"
+    },
+    "cpp.cpp.forUnfold": {
+      "merkle": "1473cebf67597e1cbae74a4b16dd122a00e403f6de9cd3a70802acb547aa816b",
+      "own": "3788aa8604179872103e1d25bd3ff69db49f968740d76ccec2b0d9cdc802a6e6"
+    },
     "cpp.cpp.fromIntV": {
       "merkle": "f7d8c625e5e3de235393f31efe66e48c015e1fe2b66ea23d8ca0d42b9a3c95a2",
       "own": "9064d012fe6c134127be198bbf69ad5e96cbbf8979d284c29eb73d551d9a02a3"
@@ -966,6 +1114,10 @@
       "merkle": "7bb834f955ca6cefacc37b3377b520708856e37c1cf699ce8bdb8024794596cb",
       "own": "4f0100a61f3c6b16e88befd365b5cbccef556d2264a6750007e617672054f2ec"
     },
+    "cpp.cpp.frontV": {
+      "merkle": "2b404fbdf74e76cdbc6e1612a5e36d6837eb05649bd1f5622708dbf585e8db0e",
+      "own": "ea3aadb2986143af8ba29a6431fa276285af7ac3b7294e4677772412d9ee71a1"
+    },
     "cpp.cpp.fsqrt": {
       "merkle": "bf1e8e670c388ecc3ef8b8f39bb576fcd43cf1072c99c334ed33d783a940eb13",
       "own": "1da3bc7cec3d340507069ee8f8ecf35031088c880539d30c662a0affe72b55ce"
@@ -1058,10 +1210,22 @@
       "merkle": "b06d40aaad23cdd032266ffa0b0e6758087d0612ff1120986bb2871bc575626e",
       "own": "7962903573d98bff1f2ad1b0189f23f0a5c278f31e6f8aa6d4a4de0c2748cd69"
     },
+    "cpp.cpp.insertA": {
+      "merkle": "cf0e9482ff6b0338d5b97e74f6c15b7361c4c7cebd05d3801cd03a567e1cbff2",
+      "own": "50d66fbcb2274fbdeeb1261265dd609545ddf62c5dbc42f01077fdd172ea0387"
+    },
     "cpp.cpp.insertLe": {
       "merkle": "7f62d8f0cd3c8062d569c5ce5c63497df8508b5eaf43499917bc2c19b7d702ee",
       "own": "4118edb93832b60fd630423eb3881dd09aec4d07090adf8f91f6215c2d369b00"
     },
+    "cpp.cpp.insertNth": {
+      "merkle": "918f64322976567b21f7da8d1974bd92d8ff71776129feaa0e3f5d7040111d22",
+      "own": "4afc2d71362f0e4161c89143a45279f67cd92ea601bd09ca3248cfb0a23c1e8e"
+    },
+    "cpp.cpp.insertOkB": {
+      "merkle": "78c4402d36ac25d2aadaf877a8bea9b9d6f59d764895214a4e42a8b5f240cf7c",
+      "own": "601dc0c2f2b1d678cc20e1ff62925f0410ad4728854a0dcd7e58688915248b95"
+    },
     "cpp.cpp.insertUnfold": {
       "merkle": "9bbc63d42d57b4f289beb2895ab3a930a306a3c07d354cf9464ba6bec67de830",
       "own": "740633029d9481598e5ab43fbf298fe8fbc702a5c64fd4aae0c4f54b332b906e"
@@ -1110,6 +1274,10 @@
       "merkle": "23fc4418c4d6c218f25ec2396c8069cc7b4f09f96d3dd85c3ef75f5a824fcf66",
       "own": "894028e8fdaba6870a92770180d752e5ee1e2b2a6604c5f7f16486736fc5536b"
     },
+    "cpp.cpp.isReturned": {
+      "merkle": "d52e63b5a8b5bd6359983ffe3e850014768fbcdb75cf5660c3f2e8ca17b14535",
+      "own": "e911557e7fcc19a49ffe28b493741280d66848c27d38b316b76e068373637785"
+    },
     "cpp.cpp.isSigned": {
       "merkle": "ac88b56f4f4128dd8587950e4498fb324ff3fb2cd58429f61e52cc1f83e3d178",
       "own": "dc4a59ec0045f2c7a22319eeaec84253bff96eb8d09a60c3c36324dc12ee3ea7"
@@ -1139,8 +1307,12 @@
       "own": "d56825b863dedc7477d76d67699d9fe76c175c5479497cc14e8bd3a843225113"
     },
     "cpp.cpp.labelOf": {
-      "merkle": "dda527bf5781d4b5bb8b4088317e8080afd9a9cb09f1acf3bef95b39b05ac5b6",
-      "own": "1643e147f5c8dd66ca76a2c429bbb1605b8e0e976ab852ebd115fe0c59c0b262"
+      "merkle": "b4167272b0bfddbc24fe9a07e95cb810b01de8766b97db41c22acefd583012bd",
+      "own": "11b5428bab04aa3766e6632b64c84cbf98a12bb9d438234c626f8cfb983c56fc"
+    },
+    "cpp.cpp.lastM": {
+      "merkle": "36fa7f9bed988b8e72cd738fe0277e7bed8df3be09a83aea919271de1d266766",
+      "own": "ca24f2c1ed0bd1ed5cea80db6ac949c1e3ef5dceb346327a54e583f21fac0734"
     },
     "cpp.cpp.lastOr": {
       "merkle": "3cac5dbda416929fcaac480f985bd92a119f05e49d16b6f7197e11180c2f922a",
@@ -1150,6 +1322,18 @@
       "merkle": "67627c7ca59dbc6923ce80f887f622703b75078a49f2b2bce107a2336da5a3f9",
       "own": "7057e826cdf59e05a8a863642c38164bb647c373b50bdc2e4c86c4d3da363266"
     },
+    "cpp.cpp.leFF": {
+      "merkle": "791ee4fc03325971fd06e86e5a56f0829a4513e7093f7620b9cab9f73255b6b5",
+      "own": "1383359f522d5b2f52630d5c9ee00fee99fc77f1aade9d325d9122f0059dbaef"
+    },
+    "cpp.cpp.leFI": {
+      "merkle": "a510efa2107494102142f5cd25d628ef641bfd356fb7ef633b3a4e156640e1cb",
+      "own": "0418d6604481b10518e02031df5e0685b34c5cb5ffc64c3518dde23444d9f554"
+    },
+    "cpp.cpp.leIF": {
+      "merkle": "48c22debd74b8f909b50db54f50144ffcc82db3c81d27f6bcdeecb400c3fc2f5",
+      "own": "77a9ff0731ccb156513af2d5c17ae659a8e1bd64feb783328ed8a46dfb49cca6"
+    },
     "cpp.cpp.leIntTotal": {
       "merkle": "226f81c0e74b7966f18ec214cf4151b75139baac1699cfd04cd93da9aa26c30b",
       "own": "ed9ebb4e06f152618f0569f28c28b4602d17edb75b07d342acf70cdb1084c3c3"
@@ -1182,10 +1366,26 @@
       "merkle": "888b06db3579750673ff2d1751e8b768dc42c34a03c2a0b44da425fd54e7a2d5",
       "own": "ca128de0931deae2162437c10a97d008d3f09941b6544d7338fc73c130668b2b"
     },
+    "cpp.cpp.lengthEraseA": {
+      "merkle": "cf16cd0e1588b63db99cd140a8e50c082639d7d166ef604447f0a7d199635235",
+      "own": "116e0e66de086df70929f9b86ad7ce479ba95b4b68366903577d52380db83d52"
+    },
+    "cpp.cpp.lengthInsertA": {
+      "merkle": "4239954cded81ad734d4747307a8c9a39c373a416067bee683804dbaf4b5eaf0",
+      "own": "7e1be66a0be3d187c754db442906ffa971af0e95338dfc3d3524bdace16b7cc6"
+    },
+    "cpp.cpp.lengthInsertNth": {
+      "merkle": "a7e3a5699df79e9dbcbfad5d8049a7bc5098c1f3afa42f28ec40670ddbda415d",
+      "own": "78b2499f8dacfd33e2d63c2b43b8daf88487986e3f531c68a0b94dd9335adb35"
+    },
     "cpp.cpp.lengthPushBack": {
       "merkle": "d98ac9a718825efe7ef28d4b29f3cd393453a7876fd13489efebcc08c7f97c86",
       "own": "f2559e374e7e3884baa5f48f7a4015624cff677a7ff0520d1f05c1820d74e7b0"
     },
+    "cpp.cpp.lengthRemoveNth": {
+      "merkle": "cff492fe4363b15ab9bd15efac05e898ae1f33afd5985f5a31444dc5b70ad37b",
+      "own": "d8f16a1e5d0e5192b0e550dad71517988c124cdb6c4214f68a35829aa5bbe449"
+    },
     "cpp.cpp.lengthSetAt": {
       "merkle": "f8ffe73e05c182ce908e9fef7043d210632414f7624566f951a7ca8426e083a5",
       "own": "e578a157fbe4d95b3582efb393557ab89d4ca3aa5cca71f020fba7839f64b34c"
@@ -1210,6 +1410,38 @@
       "merkle": "84c832b46172c0e64fc5e0308e6777fb7beb83522a8720d36add57bf9dd97c51",
       "own": "f05894761eb06cd4991d06f474269492a3298e743b46e97ba71505e6211ecf7f"
     },
+    "cpp.cpp.loadAddrOf": {
+      "merkle": "ee0f7edae361ad1174d0dc3c6c12dd77decaf80ddcb43232a1770f0dc190948a",
+      "own": "cb38744d9d385172d93af4607a8e52f79a3f14cb15ba3cf94412a3f11c139cda"
+    },
+    "cpp.cpp.loadAt": {
+      "merkle": "60a3c9ec4a8d95c127abc144a3b46957a3e66ba352aa5ec579e2ad0b89151bf8",
+      "own": "a82c3c3247e649f483dd03385723563a507df818351d278669bed6e1fd0f5f05"
+    },
+    "cpp.cpp.loadNewObj": {
+      "merkle": "264e7cc65d5d9610d44554524577cf31202bc392031a904fd8598171f321aeee",
+      "own": "b8f1e5974a4f81efab67865f868686a2e904f199dc241670df5795db62e27483"
+    },
+    "cpp.cpp.loadStore": {
+      "merkle": "8fa466957e65638d85efbba0d978336fb4bd7d904ab32a4743311e7233f32dd3",
+      "own": "6cb6fbe5fb030482387b99e22c9f3666a7c2bd79ef8d629bffe2c5711d349083"
+    },
+    "cpp.cpp.loadStoreAt": {
+      "merkle": "d36ad65a14dcec8554b3f0808131cf992253aa332a406b3e063ea7e9bf1b8c71",
+      "own": "a37b1c5ce62f07f25ab4e9253cf500a08465fd640f538549b42a79b4cd479f91"
+    },
+    "cpp.cpp.loadStoreCellAt": {
+      "merkle": "a1ce399cfb00dce2b07bc64d2dee03e78ca4fe92171e4682b0fa6ce1a91b6173",
+      "own": "c375090865f7f29871c3d2d2371ee5fe4c1bd4b3f45fe2c2e98db39fec6a323e"
+    },
+    "cpp.cpp.loadStoreOtherBlock": {
+      "merkle": "7564693c4e168c5bd72de4ef641719dbe2d18d15ea379c78d07ed98d024668b3",
+      "own": "9f105209bbeb3802e56635a3822c8159c82269eea43d466f3e2709e5dad67c4c"
+    },
+    "cpp.cpp.loadStoreOtherCell": {
+      "merkle": "6439ba28bcc149235c803e4b320366aacb915d3fd7b80a0d8fc41cb9b4420736",
+      "own": "2179ea143c415527a5bb090f5ba0ad0b601702beeb36386355d27d5ca871488c"
+    },
     "cpp.cpp.lookAt": {
       "merkle": "3d2a5632c4404af9937e13ce1710b023444b94ecc00a0f320bfa273d68928154",
       "own": "55975d6fd5ba5449bb98285428ea4332a5ac0e041eb5e6e407fbbc2f56bbd09d"
@@ -1231,8 +1463,8 @@
       "own": "7ed212c2afe0871bb62f7a1dcb8fb8821e09a02b5526494af4ad9de919fddebb"
     },
     "cpp.cpp.loopFree": {
-      "merkle": "26cf7c59ce3b64b5c3b2d7c5631f4457a37f48525d6a737a1ad2b4a9b70d9de9",
-      "own": "be6d0a4b576d9b16a8944b1bfcf0aecedda0fbbf7a6ff6e6afa6b35112a807b6"
+      "merkle": "8c8ede897fda424c35cee70b968df35f8e0d6a083a61c11b619868fa253f4384",
+      "own": "36b53ae970ec59da080b9d6204fadc2cd67ebf90d24dfa711703ae7ee4d87652"
     },
     "cpp.cpp.loopRest": {
       "merkle": "72444a6dfafc38019e3b5d487c988e8d7e2ac6b214969d8f201ad29bf4feda7e",
@@ -1262,10 +1494,22 @@
       "merkle": "43661906da6775bcddb4eb0f671698e4afab5c926cb9d2746e682a6bb96e5cdf",
       "own": "5bc94424e5602b2f249662308857078be93efb07ac2edc01e5e1d1f57da285d5"
     },
+    "cpp.cpp.ltFF": {
+      "merkle": "a206ff8a57f328f2fed5273f430a0a21a7983566f0b676d55410dfa8ebd60d2e",
+      "own": "ef768c286e5c8c5c59632ea2d0841871dc8574229568a6e44d749fa7b54cbe56"
+    },
+    "cpp.cpp.ltFI": {
+      "merkle": "e3e140808e2875c4738e7554828dc236156d920c166451590adb0b550596ff5d",
+      "own": "1b70a6560e3edbb59dd1aaacccc2673f6c62ee82224ed5e6a0f09ab4be27bbda"
+    },
     "cpp.cpp.ltFin": {
       "merkle": "d7dd8519252ed07f41d94abeb298e6ffdafe6cd6a58ccf7cba190d8ab69a4329",
       "own": "c384ce44e55c53045b8e191bbef7b6218c0d2b2e6da628486d3166fbc9433918"
     },
+    "cpp.cpp.ltIF": {
+      "merkle": "5c0e8b43eea3f051af42ce136f7247c2b052b8c866c2bc5c764d54d7d61bc9c2",
+      "own": "6634435e3c8ceef900b4cfbee9583ec90dc9830e2d08a4c202db592661e2dc08"
+    },
     "cpp.cpp.ltPair": {
       "merkle": "90e51eb9c41ba2b861f9ebe8aa72d665a3be8a7f557e84b8dca66b0852d95fbd",
       "own": "eff7d54296b318578658bab333fc95ae07289f17a7b6b48ac3b192f2166946de"
@@ -1382,6 +1626,18 @@
       "merkle": "aed5e5eb778c628376866474038dbd047492b4dd1dd9022e1f1fdf7936c8a1a2",
       "own": "59c50c23e150ca0a1f4c80b98130ebe99c1d50e11d4ba176a45fef1cdf62a7d5"
     },
+    "cpp.cpp.mulFF": {
+      "merkle": "d185ca157e3fdb4cfb2a8fd18dd41d55cbe5069ca16058214e754d7c65983330",
+      "own": "aa411222441b4d949c2c23d4d498d3cc3acd54267b0196d4ccab5fe3d3019123"
+    },
+    "cpp.cpp.mulFI": {
+      "merkle": "11354855709ef4266856423b4a1108cee4ec71de3897c065cab80bafe73bc768",
+      "own": "c62a1c2128c0494875f9fb05a5c0a15bc4707bec1df998191c3268504b3432c9"
+    },
+    "cpp.cpp.mulIF": {
+      "merkle": "027e128585ee8ff17dcd0dbae36a83c8e506b9f7819f2393a47013556c3acd9f",
+      "own": "2365b76ee7bb28c5cb62a8e9aa24cde183d1b66f4aac56b7f8f623079301a611"
+    },
     "cpp.cpp.mulV": {
       "merkle": "b730132771d15a0de9598123dd5008748f12657cc4b76084817f45c1379fa51c",
       "own": "049c48ad81f5839042a78ca431c50024cd77a9202177f5f54e0fda0516e10681"
@@ -1446,6 +1702,14 @@
       "merkle": "7bbe042e69a820d5c1766d1830cc65ec5fe036f1be67f8d0ca1b8318c7f7965f",
       "own": "56d27192b1b0b87435b1f959f83e32b98b31e43e3da90ac3c515e51d7d21b6a4"
     },
+    "cpp.cpp.nthSnocLen": {
+      "merkle": "bbb26dbc25b51ec5c483ea33911cf7ca89f8941e87da83f7cd363bfed9be28f6",
+      "own": "e44f3aad9bffd3b3dd05f8ba890cfa45ec2ce6041484313ed7ed8319979092fe"
+    },
+    "cpp.cpp.nthUpdOther": {
+      "merkle": "200c68434dc5966927fd9a5c8180a3c3f14cf21a7acd1fb1fad9366017141cca",
+      "own": "b9f9da5616dec995a56198b6f719c300047382c99ac6fcc9954ae7451ccb0595"
+    },
     "cpp.cpp.numGet": {
       "merkle": "604ce6e2fe2f05400eb4def47d387a04698857d39ca9cd5588b0eb08dea6e60f",
       "own": "1695970fe5bf60c7bcc7e4ec240615a8edb67a8e482a46fee62f1d031681f096"
@@ -1490,29 +1754,41 @@
       "merkle": "f7ecc3ff134776ee0a4ead57933fb8f2a1f32beef5b5eb2130c3b0b04b0932b1",
       "own": "79558b79ce72b819696c9b6da1f65852c91e31f528096713d53f2944837d060c"
     },
+    "cpp.cpp.popBack": {
+      "merkle": "42b4bf515f145fd5ff60d27d9f4405353f978bb4f157cd19dc52c12b08f11683",
+      "own": "802bc2434bc259aad8dba9a8918149533771e56f3b0345f78462f3ab61a92ca1"
+    },
     "cpp.cpp.popBreak": {
-      "merkle": "569d4bf2707673db99248740c52badf24ac172fa95f3ae8b12f8570944291f63",
-      "own": "9448ab3a1835dc797233642a0ea1707842ad005ddb274c6ad996e56bc4c43843"
+      "merkle": "9325cacb79829624a10022ce275e688251c8c006e3ca3e29e1451147f5e5d8e6",
+      "own": "2641efaa36eed4de67ac325fae40359252686523c1b6f474549e343dfb343743"
     },
     "cpp.cpp.popBreakLF": {
-      "merkle": "4c31a1545729b54cba7c2d24095168ca4f98fdf2377587f31f90b58faeffa0c9",
-      "own": "35bacb99076345e9a8922665ee76d1958352efd9d41ee83af53b3512615409c4"
+      "merkle": "2c69d12b448f23b535ad456fb57b33ca6e83b863c600389f0b6ea2e9ec048b49",
+      "own": "d76c95a1c29dbfc92c2943cf9d208d0d66fad83100abb5fd5711e02aae1f3ea0"
     },
     "cpp.cpp.popContLF": {
-      "merkle": "000e702e8e5c3f07bfc6b5a2ff7348e1b445c8e933e28e5b555582f97c184bb7",
-      "own": "270eb67092ec6e78f42a0e0d00a1e8d9fedc1f7f74f81370e8c992f363d3c249"
+      "merkle": "369944be96e0e277b6cc5d29d13e245a0e8e25f37136609e193adbaf4daea2e5",
+      "own": "2bd4573e83e58691db5eb6601e82846d6d8a79c6c660da9d6a29b1c4242f4cd7"
     },
     "cpp.cpp.popContinue": {
-      "merkle": "417e8d49b33b9d859282b37db758ac789652a3440df8a90cecb02fa0fcc7e5f9",
-      "own": "534e00d67e1520ca6c4e1c96d56dc03a4402bbe11475d035e2c896687b797e66"
+      "merkle": "4d561ea3faade8b972ffa4a55da3da7de9d1ec7a3f9e9fc73224bc40f0777360",
+      "own": "65ee6743add0abc963994d72b11ce78b047871de3e8e4b7f36eb6953212d5177"
     },
     "cpp.cpp.popNormal": {
-      "merkle": "f0fb77699988101eb86818f5c7e80687ed8aed64eee3e7a066de950debcfc71d",
-      "own": "fbded0434796360125bb162d58f39ddefb69165a7c70361452d0963560d8b6bd"
+      "merkle": "eb266db10477ce06addb6736d6a89ee1a08698f500fe94e09079e78431aa57fa",
+      "own": "d9c5d327ec8b8b88dbc34bbdf985151b42879aa1e4271da85656fb2388f77803"
     },
     "cpp.cpp.popNormalLF": {
-      "merkle": "e4282e3a3a78fbecc68fb0243560257e6b96f61c8a856e6602241e96b6b86bf7",
-      "own": "a08b178edf3b96015d5970a3e384d243ed9236424275b16edc4a8f6fcfbcbe64"
+      "merkle": "cd3b3043a884383331ae2a8027e3d3c72ba6da52996bde3f49349f165116731b",
+      "own": "b8a7d6f63efc64ca8e4bfe4374d6f2b26cf4a059f70c154568f4673735491fbe"
+    },
+    "cpp.cpp.popReturn": {
+      "merkle": "7a44501216cd2db0bde981b02b00a738313c88b91bb2c941a4836b66812ef9af",
+      "own": "0c40a2c2c33d95814e0302f5e104c393b817e05fd0477502992deb703e90ca2b"
+    },
+    "cpp.cpp.popReturnLF": {
+      "merkle": "713e6c07f968573e66957a820a050faf750ddea278fc1bbf2d3b5a95c39cf57e",
+      "own": "1da76068678a97d93212ef5c5e0be513227e9ebbc97e740ddb04b6688a14d834"
     },
     "cpp.cpp.pow2": {
       "merkle": "1621607c530bf91713bfdb70e3511b36f63701bf7ff8c0e6e7d2ddf7df4e1be7",
@@ -1658,6 +1934,10 @@
       "merkle": "49afb917b6aaae8ee3f066da1bac8399c7a5c5d4ddb11682b2868dae1ea0e302",
       "own": "cf108c8b3e80750c8b84e3a29bbfa036ee32d6bc7c5b3986d298df9ae5187721"
     },
+    "cpp.cpp.removeNth": {
+      "merkle": "c1f70cdf17d277a8148763d1407952cee275067d7966e0ab1d1b5a054d7f7f81",
+      "own": "def6cddb12974cb37c7f5040e45736544d1ccf1c8c9aee9d230841ddd81d5bc1"
+    },
     "cpp.cpp.repr": {
       "merkle": "3287655de4951cf1c3b1a7887c4edee5f1aa327665307c0b82128f1a5e86c6ed",
       "own": "12277fc86030a4fb4d8f14414e4f9f94f07fa8476c7bf7ad4ae685d8bbba481c"
@@ -1666,6 +1946,14 @@
       "merkle": "06f63f59694dc56768d394afe7a69a903e7ae77270817108bacc5307c7661827",
       "own": "a2ed95e3ef3c6ec07281e48e416bb4da8aa1ac920c8c562b32fef34a495400b4"
     },
+    "cpp.cpp.resizeA": {
+      "merkle": "7a8235d99818f47ad9b8f98dd170d522bb08dfe2d0ae7beecb85113c67b8ebfc",
+      "own": "8b4f2f6d22366db53d6f4b72780a2ab516c002e7bdd92d9072d59e694777cdc2"
+    },
+    "cpp.cpp.retVal": {
+      "merkle": "e57705f26f08ccde19c9003ff1d18b90158fdb7f4155c1a167fe758f76456b89",
+      "own": "1b47c83dfb45304180ac57fd79831ee892f421cdc1112ffd36fd36749b2f6320"
+    },
     "cpp.cpp.returnS": {
       "merkle": "dcf7b3d4f57d23034c304a916f9518b4fefcdb38ddbac4fe4c6c4aac5076fa4c",
       "own": "ee1118e8984534a64fe395b75af24ee86e1174812ad51ade8d6c85cb2888b36c"
@@ -1674,6 +1962,10 @@
       "merkle": "03e918176ead3c1b197d3b80516107072e1025f3f30197219db549f28c12fe0a",
       "own": "2d4b0fdd58876d3713ec253e3262b2e7420a856450c6a9d1400ef3b20ebf3b49"
     },
+    "cpp.cpp.roundBin": {
+      "merkle": "b89005d815e78a588ea42429ed5b547f9cb9130d23d8020229114480e2d94f4d",
+      "own": "10772f96aeb6d3ebc1f9d971786afc2bf11ce31150f73c9de3a1eea66d55597e"
+    },
     "cpp.cpp.roundFinish": {
       "merkle": "7a83939262b13276d3588fa565c92e9c04fbb5afb24b8e96e1ea45265d2ff915",
       "own": "af88e3f36c08452f7b9a7bbf277629f3c4b110accbd84397aac733b8be3b7d65"
@@ -1691,9 +1983,13 @@
       "own": "7bf0978ddf9383e540e0ba1a45df72b25e71394aa1efda4563f484b3aac25664"
     },
     "cpp.cpp.runFuel": {
-      "merkle": "d44a95c75a2879e4bfe568121ad04a31ed0ca3f04f9e4ee9b1a5ea4be1f312f5",
+      "merkle": "9b5cabbb4105bff9b339a00f8ef18406885a1f761ddc8d38690dcd54742d94ee",
       "own": "79c7d17511c0cc13069fe8c316a24e1081693b3089866696c3ca9ca2e52a0380"
     },
+    "cpp.cpp.sFor": {
+      "merkle": "825e413c0bbae79f09ebe9f1dd02178f49c80436680a105b125cb8d22f465282",
+      "own": "c830f9e2559dbe16ad3469c932d906803a61735d9347c2fd3a73fbc47ae8a62f"
+    },
     "cpp.cpp.sameBlockB": {
       "merkle": "83d9bff11accf04776670f693049d7d54268e7eafdbad06c0e33abed7bdf3b3d",
       "own": "7ef70d7d5c516a292392c33b3509f4f0d94bac63cb727a68e4ff044664c74bbe"
@@ -1818,6 +2114,10 @@
       "merkle": "42babffe2798695a8d7bf1c6615b2dfb22f516eb0e946aaa18a6f211f25404ee",
       "own": "04eec6ec78eef3f59a40e3079cc9ea57616ec48de96e96fb1eb9930cc89308b9"
     },
+    "cpp.cpp.skipWsB": {
+      "merkle": "abc4f9b77e8680a08e3b98d3182f6885218c4281427b7e4d6eec8764edfdf8af",
+      "own": "7fae97e6801c70b2102deef51429e555713a088667e453443e3a30eeb0fe8e71"
+    },
     "cpp.cpp.sortArr": {
       "merkle": "990381b9022b300e291bb2100d25c05ad688a4577b706d22f88de437c313e39e",
       "own": "f4784194d9b4c99477f5eafc80286d0ecc68dea76c48396418e9dab022a7f4d2"
@@ -1851,32 +2151,32 @@
       "own": "c69674c14e2c43e0a1eb14464e1f8ee6546ba4b50e2bc47cfdb5d544d35601e7"
     },
     "cpp.cpp.step": {
-      "merkle": "8c4c9e3435b61ff1fe198ba8e5075c8737fb252898f2594de409143f615c62fb",
+      "merkle": "982a298017591db72c10377d7865b9d2356e893c8e54e6c7d265f137eb8f5215",
       "own": "bb1767b6c2504fd7b989ecebb506087c038af57da0b4776478868b7540acd012"
     },
     "cpp.cpp.stepLF": {
-      "merkle": "83fdaf3cb87ea5337ff457dbbd46fd81dc250930db1a5f8313b2bb57a99beff8",
-      "own": "c98fd166038472bd6e5e6eea26e2db0ed4c68bfb964f92c1b8e80576dd335135"
+      "merkle": "a42690d65f2e17d1416ff41a1d3b9745a9e3ab4c9b189801fe58c496f9dc15dd",
+      "own": "abf64be9a5fc935bf81100bb3a16ed1fea00d9a6c92c7467b2e7ec671de22690"
     },
     "cpp.cpp.stepPreserves": {
-      "merkle": "7e891e685e3bcf06f132747c7254cc5f32ba370eb7c2106d430ce02f4bca3ce6",
-      "own": "8b0a32c9d044b1df25467be4ab7c28427f04771a67d734475416726eb3486da7"
+      "merkle": "f5c184370eb1d4837bfbc099b7c09e387778192ca029f0554c36a9a60f1f88d8",
+      "own": "2470967bf2dad93b424fb0ba69760bd2e195e61c273579755c03bcabcffb5063"
     },
     "cpp.cpp.stepRun": {
-      "merkle": "f82892c5bbea44cf679c76c621ad0e978892c30ae63a7073fa809eb71599e5e7",
-      "own": "5c1a21ebcb48c6e258c6dfa6c4f0903578f76317dd28218eee92e28f9fdb4d24"
+      "merkle": "7d09d1535b31ce7b68bba6c04ab92f9cf0d8ebed88c8a8814c53f605dea55f00",
+      "own": "f98a1c8c0a8a9fd96ee8de1403446d1e936e998166657b450d0b3065ec516f74"
     },
     "cpp.cpp.stepRunAgree": {
-      "merkle": "e54f863f0cd8a263e3a41723fc2751f46776ca36831281f02643c5c341b83b62",
-      "own": "fda196e38d3af1aaa78411d5bb1b4666d66fe3a2f42174e50afd7a257f7fe001"
+      "merkle": "ff69b5be135a5337ceb6929b2174aebdc39003f5d5e150561da67c86bc7c9a5e",
+      "own": "cab5e31ea5db287136c7aac476437921a3c91e9d69fe3ff468ef7b963aba89fd"
     },
     "cpp.cpp.stepRunLF": {
-      "merkle": "254226e2da1171a8ad7123772c758cb5b5503b7669e601abefc1dfb5b521409a",
-      "own": "6497cea8f4a258a12dfca124cd88b8bb202c45e7855c7d3f142a4e6ed7d2268d"
+      "merkle": "e90b53a3175d860f371beed5b9ba5c99cd24a08af9056f3d3de0f3a613963b27",
+      "own": "eec205e5e873bb4c964b72159db5e69beb90612f001188a8cd7f25fd57047944"
     },
     "cpp.cpp.stepRunPreserves": {
-      "merkle": "919b47df14600e653b66529cd5822e8cb6eff0e60f88fa772968c800274b0479",
-      "own": "0d41a5255de282b730e9e3aa72d7bca49dce6780c69404d743ee0146296c14cd"
+      "merkle": "a726a90f5607f4e60180a7c7efa8213911d4e030d096fd89d26362d5732da918",
+      "own": "757a2ab1d850b4033756ca307cc86d305a99b579bb34afd7f697ba0150df3ca0"
     },
     "cpp.cpp.stkElems": {
       "merkle": "8eb85220b8cb89b6dad8db85780e4c1ddf79507bca5b5d28bed16d9352814124",
@@ -1906,18 +2206,50 @@
       "merkle": "fbe2e41995040f523fbfd6191f354a53d004e3fb5928cfac0547840b71188d92",
       "own": "bed35f742ab3070b06390b184919ce296e8d75109d498a56d8e3138b27b76281"
     },
+    "cpp.cpp.stoi": {
+      "merkle": "c43e00edfae47e6ea36c6972d1d96c678833f7bf3461a7bac49e3f682ced7424",
+      "own": "d62e6cf31cc60bd5e2780c7e691d7a5c312c971d97bad9b3f8ad2713c42ca862"
+    },
+    "cpp.cpp.stoiField": {
+      "merkle": "85b5d094450bcf2d519297b7f07cf65df2e413bd2b63a940ee863d4b4a203890",
+      "own": "6d56500c4edf76a3e6250499a23731ad32a2a87b09cc40de11a37442998d3138"
+    },
+    "cpp.cpp.stoiOkB": {
+      "merkle": "c0048ca229c5535ec6915645bb8137a5b0a8d7e037c481dadb5a11200543ab5e",
+      "own": "c1dd84c36d6a5ecd78ec3e3437c9a40dc90740ff41addac16a2053ef13c35877"
+    },
+    "cpp.cpp.stoiRaw": {
+      "merkle": "8fa571599bc904d774eee066e1801b8bd5f332daead38c50a7f4d9756c56dbe2",
+      "own": "54bd7a228a618550ac744fdaa0cd461d3cbe782f6be50f4a583411135c0389c7"
+    },
     "cpp.cpp.store": {
       "merkle": "4383c40a95d4dff7b64637a698b9c48ac61039e7cfe6d0eac4419e71e7fcf284",
       "own": "f9dbec514456fb8a597f394fd81e1403e38f5b024cadf0e6a7d7e4d658f888c1"
     },
+    "cpp.cpp.storeAt": {
+      "merkle": "a19235d8e89569ff6326ae1fad0366b8f335408c93b8271d2277b1744fcb271d",
+      "own": "2c2f8ff26754c83537a077a972551817f1f88a8b14ae55649cfe46bdf26124b0"
+    },
     "cpp.cpp.strAt": {
       "merkle": "36fb79d37e02e4a301d5ae7f1efa515a83f8496b88da953eb83304ea7aa746cf",
       "own": "f04d4bda24159f8ad4d6fdc2b36c2460f678a0de80bd59dab9474b81ebc814f6"
     },
+    "cpp.cpp.strBack": {
+      "merkle": "dfc9e7a9f70814be7a9adf2072c9a3abb51a9b28abb3c68c87f83464e62420d2",
+      "own": "f5ca95cf13cf57e0a78324d528867776f82ec2eb3369fc536414d0b96042fd40"
+    },
     "cpp.cpp.strCat": {
       "merkle": "adf41f8e2cd26171c7e9e2ef9faf290b8a31f75f25f1e36f0605ac7054125c4e",
       "own": "567d0f791df7c48cea3ea40811f89efca8c4607ecb30e42cdfaa43d987ec6332"
     },
+    "cpp.cpp.strClear": {
+      "merkle": "0290b2447111997d1d78d72efbb21f651fda7e8ae3af195a88f54fd08d82d6eb",
+      "own": "936c2b53eea6fc7d8576578be0243097444c186223ad9d6686aa23ae1324f2e3"
+    },
+    "cpp.cpp.strCompare": {
+      "merkle": "975882880566a80ab37487957166d1dc22d9e301320cee69a00a11d6eff7c13f",
+      "own": "bfc2990277aa5888732b62f9856195c011e46b920801b7a6a5a219512d96e142"
+    },
     "cpp.cpp.strEmpty": {
       "merkle": "3b3a018ad1351277f4dd9dbbf10bdf534a7583357e2480bcc97f38ba61e5d55d",
       "own": "dd3cc5a2e88c2ae8672fa9301cdce699fe2368e3a923adbed35250bc1b126483"
@@ -1926,10 +2258,26 @@
       "merkle": "68beb6b59ca8056ce6fd0a10cf0b3ad38f1b1f03fd1ae41434abfa514808a5ec",
       "own": "f30d55901322b20defa4733074aa10c1012de6b59cb4f28a503f469f1f40013e"
     },
+    "cpp.cpp.strErase": {
+      "merkle": "42ba23055289ef510b4324056449bd970cd2ff84f70d12e29f23603a0d420cfb",
+      "own": "96358856aa12fef2c9182bc16c4929e8bd391f51738abca92b8fff6a6dd958c3"
+    },
     "cpp.cpp.strFind": {
       "merkle": "013723dccb43cde7d312919d25dc1826f4ef289107a5be1725fe94d44cd1fd9f",
       "own": "769a6cab0bfe9f42caf03c487ad3076a41f69a50a292a99603d9c21590a659fa"
     },
+    "cpp.cpp.strFront": {
+      "merkle": "afcb9400c269a7ba87131a0f6d55f6adbd38ff1f6d15f8df20f67acfdbc5401f",
+      "own": "4125e089ec1689879f7d45264542d52dc04d072666b73b126c337cf135b893aa"
+    },
+    "cpp.cpp.strInsert": {
+      "merkle": "2f30c3ea06a70c31836b4bdf56fa7733ea1d34cae9ade95a9a5e56e38357689e",
+      "own": "1010806d513e5b69401b0e2cb4630168523fd4862daa221c08e7732e4a6c9e99"
+    },
+    "cpp.cpp.strIsEmpty": {
+      "merkle": "e6c9b79f8234e6a6a1e35ecba561e80bce47bc7497413242115ad3df13bf40b0",
+      "own": "809aa4ea69af59a71d542c6c61e906693c4e1743bab5ca1dad6ec83fd26165ef"
+    },
     "cpp.cpp.strLit": {
       "merkle": "dc93546338daf3b8d54353c137e47665777ecc87dddcc2f427c7db58aafd7cfa",
       "own": "9a5ea58f2d2d945e81e860c04d911933b9a01f80b865e9b9f30563b879b62718"
@@ -1938,6 +2286,10 @@
       "merkle": "dabfc157cf228e1717a1ea689b74d39a1e0d0325d37b8e110651eacbbe06a901",
       "own": "63c8cf36a0422eb928af963674da06e6b5930b017b53bc6dd525bc99250f02db"
     },
+    "cpp.cpp.strNonEmptyB": {
+      "merkle": "28f656121d3c54fbaf289f305c567c7dbbb126d9c8185892a83bdc0cbfc4536e",
+      "own": "dae3fe96cc980ace222e5e0d2c93b680cfc20d9f10c24bd913a9e88f5eb86e0d"
+    },
     "cpp.cpp.strOfChars": {
       "merkle": "0c47c55f42b55812892e2786b72c894be320fe0e6758ba46e1810be8a2a4f4cc",
       "own": "f9c416568fd35d2abdc58782c2e41edacf30b5b8506f163cf5648dbb0a28e40d"
@@ -1946,6 +2298,10 @@
       "merkle": "4a5c9160e693c3fd09001a98ec49f6722153beeb31d9ba1da89bb21fadc4405e",
       "own": "c64efb701ea97353e7881e14bce67deb63562eab827f42175e0255ef3a504d7d"
     },
+    "cpp.cpp.strPopBack": {
+      "merkle": "29e8f98209fb84cb02757df5ff5ac16cdc7e30e0bfcfcfecf21f8d9fbdc24a09",
+      "own": "ee5c54457a43297d94ddc9be915bc850b4b9b39d5d428e0f66165b638f34ea8b"
+    },
     "cpp.cpp.strPush": {
       "merkle": "281c0ec6115ccffdbbbcfc0f6df7400d5cb749d8a340c5eb89b097f71ac47fc9",
       "own": "fa094e366e7ad2578c9cbb4faba8a80940f9c9a7690f8700fc72dbfe0e8c4dd7"
@@ -1954,6 +2310,10 @@
       "merkle": "35b210b6644d2e16853e0c44812f11c28fadf77c282e87bf496597b4bf18adbc",
       "own": "1452135671e93d835c015c618ec889c594d7693adb0fe6a88588c67e63be699a"
     },
+    "cpp.cpp.strReplace": {
+      "merkle": "7613481e7ed38779f897d17bf7ca582d81c5d8daded470f2009834df2f1367fe",
+      "own": "ed68f3c42c5ceffd78e6922126d31f70de851d45fb8774b6818165e0daaabd5e"
+    },
     "cpp.cpp.strSet": {
       "merkle": "fe135ff6e94cabfb643c6744a49b18685a0cf2181b30d28a808cb77e502dc326",
       "own": "8055e405f61ce8c9e0efc2668fe6eedd118ae71128eed38ea3230305fcd4ac18"
@@ -1978,6 +2338,18 @@
       "merkle": "a0dde2ad9495663248cf9022828c62a28f41ba1a08f2c6cbc3d3b14134cfa91c",
       "own": "d607cfd8f3a5924db4b3183896e56379c315aa87f93ce117f38aa1ea45450681"
     },
+    "cpp.cpp.subFF": {
+      "merkle": "dec1d76d0ca4730cf5bf883ea29acf0ddf155e6f24db8755796a442d9c32de07",
+      "own": "20d229f9b43070030a3613a09b5abd282f6b860f87ab372e5ccdac475b3552a6"
+    },
+    "cpp.cpp.subFI": {
+      "merkle": "394d651d2ed36ba576fb0d6c3ff34c107e1ab3b99eae762ad82a3f5d302c1f85",
+      "own": "91fbd65702b2f44172bb2cbdd8c253caefa8d506c76e1cd89db1344b37a0ca7a"
+    },
+    "cpp.cpp.subIF": {
+      "merkle": "95d9d72d451574b0a155af371f8095b8f1c506c942a04ad107668657784ba29a",
+      "own": "bb36fac4c90a13577e00c5fda20e0863e49c4692f3f6e98003ae878beb8f5fba"
+    },
     "cpp.cpp.subV": {
       "merkle": "ad105612c6f60bcd162d2c7df61cdb81df18d101fa9156278b1d3b07b1418fad",
       "own": "c9a2e799e87befbc604d32d75736b4bed85494d4ccd9d17dc0eb857cf2d6cd21"
@@ -2103,7 +2475,7 @@
       "own": "b4916da3bf7a2db23e1e087f06f69588a0ba387ca964fc854ef26b4e2a043b96"
     },
     "cpp.cpp.traceFuel": {
-      "merkle": "4010e1ba10e94eea107adb3bcf0f31f2430f8d94ee08a4b896293fec9eaa7543",
+      "merkle": "3b1b84a98a9831b2d453d6369d3db4e27367319091ecdaf487c520cbca21bcb2",
       "own": "2c32d03fd55629b81195e6887edc073cb5c4c60e4d4374b0afc61d1381d0c499"
     },
     "cpp.cpp.trimFrac": {
@@ -2163,21 +2535,25 @@
       "own": "b5fa80742fa822006f7a7b694142f018836343bd62d9e97e0215e45c836bbc3c"
     },
     "cpp.cpp.whileStepAgree": {
-      "merkle": "5553bda8cbe8a9fe56752b377cb14a066a7cf74b3ec1ba9c709a37c3055d7b48",
+      "merkle": "0f6245b30353343f897fdd94625a2ddea45c48c175afef0d05e72c1baf171374",
       "own": "713641e04824fe626f89f95c62328bcfce258278773d9ae8417ad70d0904a2d9"
     },
     "cpp.cpp.whileStepAt": {
-      "merkle": "5b6f34838e5b40889d8d82aa982479217f53d73a14e3ad1bfc64b0414e5e143f",
+      "merkle": "35bc38428073971d8b8071072360a125df6b996a4de1fa4a0f9f6ac09c7db6d0",
       "own": "a2ab00bde4ab8a40a1c26ccbe201ea771c3a04bebf205095fb323a8c23aaae5e"
     },
     "cpp.cpp.whileStepUnfold": {
-      "merkle": "d88b2929ee88227165e1a888d15202ab2a7636dc56fd2996485d230a75ae6777",
+      "merkle": "fe7389bb7ec82c2767c34d4f66c0e27c64a478296027a3c11a28a7d9814e095d",
       "own": "fb2d58f39b2edc720f3434c48819e9e25559df85de1caf4ffd8f201ad8992968"
     },
     "cpp.cpp.whileUnfold": {
       "merkle": "5b201d4ff40e0e7f95c50c7475e45910a3fb72a03309c11abd7641e4cb5f5cb5",
       "own": "4f369c1a66e14f39f889e00e7a1029c9b5df470d7f14760e84a67bb877669f54"
     },
+    "cpp.cpp.wider": {
+      "merkle": "4e3813e446a732df7eb787fcb25ce803b1768fcac0c7d1ace49906d7961832bf",
+      "own": "13d98d70695b15356f9042ff66dd4aefc19a8f39db53ea0c49a0f8c38fa6b8da"
+    },
     "cpp.cpp.widthOf": {
       "merkle": "53b3c52a9b4269d8bda9d065f86b3441fc6ae45a2cc23b5991194214e1084848",
       "own": "e4b72123ac37bf97df20de2ecb362655c22a380cb0e622252eb78a71b2b03a8d"
@@ -2186,6 +2562,18 @@
       "merkle": "aadb44e427f07a6c892bf68458e0258a38c568da32c477d300bdc220e3ca8db5",
       "own": "22d6bfa750bb2713c598c9ba151df943e7bbccda3ca63100a52a79963ff3baf1"
     },
+    "cpp.cpp.withBAgree": {
+      "merkle": "ead8b0e8ff97cb26f17b91a62cab0923002c40c4bcbf0658ddd022bc70702b1f",
+      "own": "b11220516cad59033276d15621c22828bd7967cca5a9fcd742bf1fe329efb6ce"
+    },
+    "cpp.cpp.withBConf": {
+      "merkle": "57d17a1882f4523e0d8b37418321a51613ab6820471cfb7cef3e4020469ee678",
+      "own": "60b99ad2ce31dd2cfe8239e47686beec5f5c9297c0c73b5d02ce08b7eecd7200"
+    },
+    "cpp.cpp.withBFinish": {
+      "merkle": "5d4de46bf0ae3ff9a8a6b21a7dac2e2ef35927d246dc335ff80f0050541923fb",
+      "own": "c1d541326288ec91f1972963f075ff969e673e469ab9bde7eea9a7a227308788"
+    },
     "cpp.cpp.withPoint": {
       "merkle": "4466c80856494c04f057ee8551b8698903a1e2f9671a6d03d3683ef303b8adab",
       "own": "e36f73387e241130a8c870476b5f10cf30cef00e80b06c126218e367a00cbfff"
@@ -2210,6 +2598,10 @@
       "merkle": "0573abe65216e4fd6a7fd1bd4a1ecc10e0af2c3033baf2c537caa08ac756be67",
       "own": "c66fa754525736f21ba203ea433fbacdf0d33f383d52677ed173e8e2de02c4b6"
     },
+    "cpp.cpp.writableAt": {
+      "merkle": "32d7c96d08aa10ae2c9d692d5bbefba2153164adcde032bf8a7eadd4591ba662",
+      "own": "8e0e3b41fcd65651027e0566b3870f04f270ee93ccaa6a77d05e2a0691216e4e"
+    },
     "cpp.cpp.xorB": {
       "merkle": "b053368e78f8f935f799f09213b5757113a456775728d8d3f98f9e4b992dd1b1",
       "own": "bf2175290b18b6503231e34f18f7faa653caa6793038abe0085c027ae57edb07"
@@ -2234,7 +2626,7 @@
   "format": 1,
   "modules": {
     "cpp": {
-      "bytes": 2472565,
+      "bytes": 6165685,
       "deps": [
         "cpp"
       ]
@@ -2242,7 +2634,7 @@
   },
   "requires": {
     "cella-lang": {
-      "checkerHash": "42c4656ea407ecad",
+      "checkerHash": "2b96f5e88326e866",
       "modules": [
         "int"
       ]

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cella-lang/cpp",
-  "version": "0.1.202610071715",
+  "version": "0.1.202610071953",
   "description": "A formally verified C++ subset for the Cella proof checker: integer types with C++ promotions and conversions (LP64 / AVR), control flow with small-step semantics, iostream, arrays, vector, sort, and standard containers — compiled module pack.",
   "files": [
     "cpp.cell",
@@ -19,10 +19,10 @@
   "license": "Apache-2.0",
   "author": "SungYu Chang",
   "peerDependencies": {
-    "cella-lang": "0.1.202610071715"
+    "cella-lang": "0.1.202610071953"
   },
   "cella": {
-    "checkerHash": "42c4656ea407ecad",
+    "checkerHash": "2b96f5e88326e866",
     "cbfVersion": 18,
     "modules": [
       "cpp"