@cella-lang/cpp 0.1.202610071337 → 0.1.202610071620

package/index.json

@@ -1,6 +1,6 @@
 {
   "cbfVersion": 18,
-  "checkerHash": "be8ca6ec1db9d002",
+  "checkerHash": "9683a1620f61ee5c",
   "defs": {
     "cpp.__RecordTag_cpp.IOS": {
       "merkle": "796edb43f4d0722b7fe3a28a440f5eb1b050ef4eafdc16cffc9f9bed220a8acd",
@@ -14,6 +14,14 @@
       "merkle": "6421b541ca21866f1c08396e13fdbfa0d7d7a6ca7ce6be1f36ca556823819a6d",
       "own": "9e2df223266ba029dd87772a9b018ff330a41074d3f9ada5f525d2138270cfe7"
     },
+    "cpp.cpp.Alloc": {
+      "merkle": "5200e4f196e484fba6d0ab115c7a65c96778f4dc5549abbd72575dbd73668d13",
+      "own": "5e9fe902655d2bacd1e606030fdec79c1d5b175f7032af12cd77d843fcc95073"
+    },
+    "cpp.cpp.Allocated": {
+      "merkle": "711f28a0277e66dca33861b88441766f8131dd6a7bf1b2e5a3fe430cd1e4e70b",
+      "own": "65b695a88e4b8ea8976c1abc97ee13c846842be123b2990dc6996e9a76e0df91"
+    },
     "cpp.cpp.Arr": {
       "merkle": "09602c498f29f7a657415a8ebd38765f7f0cfacb6216a79e3ad06482e9b03dbc",
       "own": "ca45c2f066deedf68cbcc126de08451c3e01b646916c2d4caa21cebcc2a46f00"
@@ -34,14 +42,26 @@
       "merkle": "63e3576193a94662ea71ec16eb1be73b53c47bb9970478430f8812ba911a7c24",
       "own": "0c550bc24d373ca9c703b96efec0f059549f507e7c67e8cfe6b4298cd25c9dd3"
     },
+    "cpp.cpp.DeleteOkD": {
+      "merkle": "8c3fce5ac104324c4cac3527dc97b2ffc4da75adb9ba44ebbd9429b595c82a8a",
+      "own": "a58ff5104f5826b775dc2333f2e8fd40b4fdd8cd8fe380cfc9d04693aa683675"
+    },
     "cpp.cpp.Deque": {
       "merkle": "3399c31d4c3a2aac7a8cf43e9048bc33f5c0cf61de6bbbbe8184505182e53dae",
       "own": "50d3ac8200f87ed551b55ab4a095b02302f47691325c666c765194ded87e860d"
     },
+    "cpp.cpp.DerefOkD": {
+      "merkle": "71710401b491267505566755d399cd775c9c7392c79b055f9f3ae3833526a0be",
+      "own": "ec5cb06b69b843dd853ddf6234b63bf2113ce388471feaacdb3170cf23bb9cbc"
+    },
     "cpp.cpp.Digits": {
       "merkle": "fd81324c20eef0ece2931038d298080833f2da455e438d63437aa931bc4df97b",
       "own": "029e560fd404553dea06c01c6f66db20d741a96800a805e84889c225a16f4776"
     },
+    "cpp.cpp.Double": {
+      "merkle": "ae2c9be88227d97b586a70fc4b0125e061f7142200726651e8699853d5f19979",
+      "own": "850f207186afb061494e677b896b1fa37b73eeb958dbcaa7404ea5c3cbffcc96"
+    },
     "cpp.cpp.DqInBD": {
       "merkle": "fe2490cc1a485879c0f8bf6adac12c28e9adc9bd71a6ac6873ba0c1c4d90c44f",
       "own": "bffa959ec669b66e7af681fb914d9654d8dad05dd6919646c3ef46752a8ccf97"
@@ -50,10 +70,30 @@
       "merkle": "fc1c216595c36e06d8ac17413f1d05df7b3459b1d0f55568584e3eb8ea8f6f98",
       "own": "60a9c4d4f38ec35d6060cf5f7aaa4c02fa80009e28de22def3a84095551c9461"
     },
+    "cpp.cpp.FFmt": {
+      "merkle": "c2a364aa33f08f48f10a1b99189af212beefb3aba2520599836dd4b35f4dabd4",
+      "own": "42367c4fbf4fb4de12a5c446d81389b737983c8a002be446ad56fa641fa53fe8"
+    },
+    "cpp.cpp.FNonZeroD": {
+      "merkle": "b1280fc9afbeda3542ee0ba9f7570f9e5c03d3d67cd796c5029513f1aebb0316",
+      "own": "e0ef51ecb0d859e7da8d1d700c54ae9e765ec4bc30f79b285909796f0fb87c3f"
+    },
+    "cpp.cpp.FV": {
+      "merkle": "8617a4726fde9c8d670a8267a8b333ae198783681bacb937e214d79ec9451535",
+      "own": "e299b12f0f4ef933d86b4b436fafbb18e73857225a4d8484349f740db6e695f1"
+    },
+    "cpp.cpp.FVal": {
+      "merkle": "82ad8798d946dcc1a650c7b444d5ea7c956fad3e45a2cabff57d77c234df77a2",
+      "own": "26b939bc5d2c57dca4169b0aaa3ce791bcc0b474980be0da3dd4e3affd79b57b"
+    },
     "cpp.cpp.Field": {
       "merkle": "b93292fe60a7385bf03dc8e252e0392aaeca85ea618d774c2207065449a727fc",
       "own": "3d1564ab40f01cd616917ce5cbc4a82ce88dfb4b94c1acf727ad331e88aa843c"
     },
+    "cpp.cpp.Float": {
+      "merkle": "55b603d26121a97619cd416bbd6b7c8dc8fab4415e7b344f4ce7d4a31e28e2e3",
+      "own": "d8ad3a1d1341d4b1030ff3499bf8df2210970126433337eddbe0ca1613589b53"
+    },
     "cpp.cpp.Flow": {
       "merkle": "9606d6453900de107692233eb18f07cf6fe5408e4a2a2de93df6f67ac090a4f5",
       "own": "5be6679cd5ec758a463219a41ac79f656d92d5b1a52b41f07e77aad8dc201452"
@@ -102,6 +142,10 @@
       "merkle": "e2fec056bd4662cbfaf5fdc066c70e0b7f425b46f845902921004cf0a04f1b2e",
       "own": "edac82d23a55b7b730668ad7744da3f81c8e6aadee77d7d3f85003851072e34a"
     },
+    "cpp.cpp.Mem": {
+      "merkle": "69ee8c8be40eb5f1485026e3ba18c33984dede24a6b4b674578a8897ec1d7ba2",
+      "own": "aaa943cad1993d3515f2ee6160c8810a06c0e6589aae02d73487b9a841c9615e"
+    },
     "cpp.cpp.NonEmptyD": {
       "merkle": "0970fb617811ad8f0cb9dd1c2c87afa294cb707cdce6aba6063fc02863aa6a0b",
       "own": "fcc52e80fc28bc554b66a118d878e7653e58209026f481e2e4b1c7ece5dedd2f"
@@ -130,6 +174,14 @@
       "merkle": "38c93c0a1927ab57bd53b7d198d4cded232a76c5dcbb455c8c98f2f075a426e6",
       "own": "8428275ed6e1e8782ae3ded3dc1ff017db05d4e0ec7f3eeee001d2890eef9f6e"
     },
+    "cpp.cpp.Ptr": {
+      "merkle": "87385228b8d3723503e17835190f00bc8b6c47fdec57f98f02865ce17e6af3e7",
+      "own": "02e03002eae92ce02d327201ae40b40dcd1d40e423e4dc86be9366883911ed04"
+    },
+    "cpp.cpp.PtrAddOkD": {
+      "merkle": "97ba07ca8a70fe7ea9d0c0bb9c2656521a5ef543e65e5a071c7f647486390457",
+      "own": "3ed7f89aebff1de18dc9957255a185f57053f45ce02904deca02ea3117971a28"
+    },
     "cpp.cpp.QueNE": {
       "merkle": "8e3feb0543fbd345a6d5b605572d898809a4cb1017f1c3985dbd890b02d70f14",
       "own": "be27e1038bdd865f3c06442f11cfde74dff7f264812761cc6c8996efcf0b7805"
@@ -154,10 +206,26 @@
       "merkle": "816d9a48fd9441a10974833d9b1a772673c3286ba72d1319cca7cd34d020d800",
       "own": "1191298f6b0ae763e3e87537b1999dd2931b2d0cbdbb1afcf305f9d74ec5156b"
     },
+    "cpp.cpp.SameBlockD": {
+      "merkle": "ca8cd30300f2cc88a6c68c443edc33b5c6d3362dc12a3f53d951547c37df6b08",
+      "own": "e4b997113fae6bf61aabe77227238bf67a0ddb55910a79d86ac479771637078a"
+    },
     "cpp.cpp.SetV": {
       "merkle": "72ccc799db4406e3b30f26456f40931c17599a52497c99b2f8b8b5a55fee9b39",
       "own": "b0998c76a231ae29eca25a7408d1ae7b172ab0aa2b808d3c212c33f0b838d61e"
     },
+    "cpp.cpp.ShlOkD": {
+      "merkle": "159a28d83422d050e9cbe53791b9dc83c69aa05d6cc345bd5ecfdea26a8f915c",
+      "own": "1a8144c9ba3868b98bc777d2a04ab681e0918a5fb7030f3f0b9ecfea01da0336"
+    },
+    "cpp.cpp.ShrOkD": {
+      "merkle": "84d59dfd5d3d92951938402e79029da87f6354374282e589ff09c3a60e47d6a5",
+      "own": "a1d3196739fc26f06d01a3194b4b35bb02212b632c7e510f138b285a76e051ad"
+    },
+    "cpp.cpp.Sig": {
+      "merkle": "5a6c36db829fbc58cb1fc5d7ed93d6c9fa0cdb35335807ad3d6d169bf024ce59",
+      "own": "ea55252ab5ae97f3da1dcbd591007ffa7f649df0f4caad14f37b372cd03b29a7"
+    },
     "cpp.cpp.Stack": {
       "merkle": "d2252f1a20e7ded534f63f506d3ba4877475f33826ee2c2cdc70bf4018a57b11",
       "own": "c1a29e396fb4bb430b064ef97c051624ace43217190dd5bc021f3161e62e4c93"
@@ -170,6 +238,10 @@
       "merkle": "18a38766c5fd119d392ed62eb3b61c328e770619054000ffd772b554e393eb15",
       "own": "5c7cebc46fa1c38613e942c27fa7f779097579f9d77f54652e8153d3a24d9be8"
     },
+    "cpp.cpp.StoreOkD": {
+      "merkle": "6212b30efc1696a33e8dbe63993ae2fa9eb373db68ccc994bb19a133ebbe201c",
+      "own": "ec4a249cda2698bd043d79c14df939395c4222528ed38914976e468128d467c3"
+    },
     "cpp.cpp.StrReadD": {
       "merkle": "3771a3b8e4e36dd3c492951939a6cd9e47de2edf26de356a6ee47cefd275d67d",
       "own": "a19d98fcf34f4dd84e13fa968d65afd14c155b539b5d1e6983cee9b5de411d0b"
@@ -190,6 +262,10 @@
       "merkle": "c3af475c032d67c1da8add2f771ea06f14a3473bf21fef2d4d90fca48e15f51f",
       "own": "7e6ca93ce33a4e6b4d9074722c9c232476033b4efaa56e717fb35f8d8754fcb4"
     },
+    "cpp.cpp.TruncOkD": {
+      "merkle": "e2dd58b11fd25eab222f0e2a7bc35a85bd6906f960ac7562252a34b8cba59444",
+      "own": "5a33e7bf849ba3958b84e8e2d43b525d4b4528604938763de60a4dab5d1de62b"
+    },
     "cpp.cpp.Val": {
       "merkle": "1db86625b298b656a1c4a8487a326cedbc78336f7a1225188080e0d97d4be573",
       "own": "7c85e2d84c71ce7b5f9c15f91caebad3e9de0849d31c11c4f65f2d3b41a00fb2"
@@ -206,10 +282,26 @@
       "merkle": "010d8b9992d9320ed4f8960a21be20be27309815ab922ed5476e9f1f8d4efdfa",
       "own": "55dddb329fadc10e4692da25f18529b86b928e6a432a2b129e5fe13520365118"
     },
+    "cpp.cpp.addAlloc": {
+      "merkle": "1331ea898a372a78c2efba3ae404b01e83743407582d9acc113fddca846f9afa",
+      "own": "e88467b550e013f24ae830230dbf24d19d53952516758e000d85c49ff1d3eb41"
+    },
+    "cpp.cpp.addB": {
+      "merkle": "e0dcd0da6ce9effe06a3af63ccc89d4e583ed594945f21e583be0f0ba243f456",
+      "own": "cf73f5b22ae5d2cb7be9fe5329138479e2a6f3f4e694bdb6de11859b78e9cca8"
+    },
+    "cpp.cpp.addFin": {
+      "merkle": "6988da812d9cd56fd1e9a5f1ffb6d916c0dd04f9006a9fd0a3b4d58891a4ceaf",
+      "own": "91f9ae6c2a14650291c42c130b60cb49937fcba990aaaf94d74acabd0010c8a0"
+    },
     "cpp.cpp.addV": {
       "merkle": "3fba361a9d57f88b35627ad9862dd66ca812c5e49a56f7b42762b409e3e69247",
       "own": "51749e58de87cc60d002767108377ef7e6b65e9f17c3a869607b140b4ced2163"
     },
+    "cpp.cpp.addrOf": {
+      "merkle": "4bec863e9d687af50477a66f6ddf53ad9700d9165c722b9f70dedeeeb0b8780e",
+      "own": "b0d44509d3ddc24e3eb99aa585e4227c65e1f8eb11b8b5ca412efe3d57e4c7fe"
+    },
     "cpp.cpp.afterLine": {
       "merkle": "b5ef423be6b0113035c2a46e956c7f1edc96a9aef1f676cf01f8a562ab6468ee",
       "own": "0fa1ba30b1abef19dd23a05492a6c7eec7f14ff22c48ffdecd84f7dbc8dcfb0c"
@@ -218,6 +310,22 @@
       "merkle": "2560bc00592bccdef1450853c77668948b254b71fff546e4aa218782956c02f2",
       "own": "8a6a225045c57a5bcb022f5a73a9132c208f408a3702f3d23cecd14786b18695"
     },
+    "cpp.cpp.allocAlive": {
+      "merkle": "a5f75a4df90835afde4b5bf4969fd11fa3b942475298fbc52bdcdd6f076bef4a",
+      "own": "aca1e5e1bc914adf28d1072724dd68b7ec76ecd99c6087e8792ec07a427e1335"
+    },
+    "cpp.cpp.allocCells": {
+      "merkle": "baa8098f815cf582e13f18dcbb2e8ac8cde543358ae910141d3f01b247fc3461",
+      "own": "f0ca8d780f37a3d784b3a651f309345e8369f8a9c5f4c3e38df8a54d811e1bf7"
+    },
+    "cpp.cpp.allocHeap": {
+      "merkle": "93e9560e514fb558ff693b0d67e5d4264112c09456cae09507b6e393934d41fe",
+      "own": "f3304c6e384aa12943e02d33c8c008a8d6f16461f4d02f979d1f2099d2d9fa95"
+    },
+    "cpp.cpp.amem": {
+      "merkle": "69c53bc1e46e4eab5ae9170ca0d72d791547aaa88246e409640d9a7fbdd5a823",
+      "own": "89455e10bff29eea71960112cc8a77d861394efb5f9140c184fb71ccf5c853b2"
+    },
     "cpp.cpp.andFalse": {
       "merkle": "fe11b5be957205cebd57d7f28bdc0075156472e90fd42c11b3514e0a57860f07",
       "own": "2d71b8ffb6bea997429f882a86ffa06aa52fb0c25671fa52d126d9aa3e8ea358"
@@ -234,6 +342,14 @@
       "merkle": "9a5e5b206d6e1708c72c92f953d9fd419f14f9153f17aac475b975e016cada1a",
       "own": "8e47ab8af4b1b1581f30a02a2ddceb38f51ba818ff0bb94f313782ee5c5986df"
     },
+    "cpp.cpp.andV": {
+      "merkle": "745b38812f3d51c69d284b05b4c634df984aff59a3c711222e82859026b3c7af",
+      "own": "550ff2d2dac6227ac263dc29edcc352fc66146834609a8dee43c6254d82982b6"
+    },
+    "cpp.cpp.aptr": {
+      "merkle": "6af1f376222d976e140526acaedb39cf2e004ad9300608328bd4670494a8a043",
+      "own": "c19507409ca24788c68322ab50dc6cafa8dafe60e8b1371f47f6f8904ecc36a9"
+    },
     "cpp.cpp.arrLen": {
       "merkle": "2a99fadce11a81b99056cc9888bfe37a0350b171912236972d959993a456fc2e",
       "own": "1a44b6226c26366fd6fc429dafb3644d373a2bebd8ae5cc9c55cb74f4dc134b4"
@@ -274,6 +390,34 @@
       "merkle": "85955cc1d6f63547adf94cdda7cd0ad78bb89989bde458259a3cccd37afc241e",
       "own": "1de17cdafbecbd5b00f810f959392002d78573d2a9169dfff81742a8c1e3a1f9"
     },
+    "cpp.cpp.binary32": {
+      "merkle": "defa811bdea4b6beb5f275b6d0816428c933337d6c80bfa51997aa83fcdc1d8a",
+      "own": "a232b2ee6182bb05047a7bcf5d4cfb0e324d8074e0bfc711c6bac1dcd315ec0a"
+    },
+    "cpp.cpp.binary64": {
+      "merkle": "5a6caf0cb2d672f9c93a748444a0c66dbd49b8c9af808cd0e70d0d13a24ebf49",
+      "own": "c6e0110feef54e6079cfb03be16c67c854a778516158e54218386781f8ec3bd7"
+    },
+    "cpp.cpp.bitLen": {
+      "merkle": "ece1197fb20527673dfd2067ada8b7f8924c1ba3e545384c40d9079609e7fa78",
+      "own": "997add9deed3fdcd725601bf01d84415583ec6dcf6b51d1a7ec118612be7363c"
+    },
+    "cpp.cpp.bitV": {
+      "merkle": "30f5cf5b9e9a564651535f440da27e2f070d631f91644e49d570972287248e19",
+      "own": "48b28d4bbe12f9883ff8686b94e7c5c2bd84b0fa4c8950585509b5a7b1b86809"
+    },
+    "cpp.cpp.bitsOf": {
+      "merkle": "4b5bbcf20aa9e9f1e5ce58b66f265c9f136cc316912eea33d0895295c8623ef1",
+      "own": "194465400c7df179db4e3cb1d2b74d11c22c67c7643253d72096c23009e1742c"
+    },
+    "cpp.cpp.bitsOp": {
+      "merkle": "0b5ab06911fd1e5083beb9df2f5783e77352b9f4e95a47856115e8873bb34863",
+      "own": "b38db08a49a4fb96ea602a5d475ef3fb7ef81817598b491c4973134583cbd77a"
+    },
+    "cpp.cpp.blockOf": {
+      "merkle": "dab3e3c2ab0f69959e76aceb5ec81c1c1cc39ace2fed17418e6a993ceff71efd",
+      "own": "1550b31bb72e538b9b7801276b2b6fcada4355a247343b8f452108db4a83ba55"
+    },
     "cpp.cpp.boolCode": {
       "merkle": "09e45afde7627039cd7bb53ec6bcb049615f9a450e94030c2fd30ab0e0c3f62d",
       "own": "fe0052e41033d024e8611ea11d458dbbd01075a86d3be52c782bd3469a6152cd"
@@ -434,6 +578,10 @@
       "merkle": "21c849937be1215ee76aa3303c9b6aefb2a8ea7563bc9c2a8f9ad19a1344dca0",
       "own": "515a3631452c657125e66409f1c571dcd53add4848106570ccde62f7bb9ecdb1"
     },
+    "cpp.cpp.coutF": {
+      "merkle": "7935e449e557033821c942297b019d886559d69da38aeb74a927a6774463495f",
+      "own": "06203576d7e4ddda3e63c4e367155e9a4fb98b163f685301462dd88a23701a9d"
+    },
     "cpp.cpp.coutS": {
       "merkle": "174a94933102cb291dd19e30377267cb79c832be7cf2a0e7b33a2b82c5420cfb",
       "own": "24f2f2745e9132cf2636ad0500c6bf856d4d3ea05916b373183883c6b2be80cf"
@@ -458,6 +606,22 @@
       "merkle": "014168e2483f5055ea2d1db6cbc226ceb5411090fcefc412f4a986a44c0bf7a9",
       "own": "832d7633391896f7dc7500b401129dbade7687af6d8e1a911594f1542dea6799"
     },
+    "cpp.cpp.declArr": {
+      "merkle": "647c9fbe490ed2b5a498c7673215df3a8c63ffc87b3868b25cc434f6ec1c9ae0",
+      "own": "112d742acfee5acee5f0d79410421c27c6d743dd21a6eeff02b6152b08ad0ce4"
+    },
+    "cpp.cpp.decodeV": {
+      "merkle": "15729f9015ab8666902bb09f04c53b477d94d24ac2d5abe0d12a468c5e56464c",
+      "own": "4041eeb54d67e53f283fe61aa9ef9ffe9d146370dbe6560968b6200c7636061d"
+    },
+    "cpp.cpp.delete": {
+      "merkle": "c3d09313994355fe2c38faa2d502d2e05e7ee2f83d3ea6026849a8b84b273ad0",
+      "own": "453bc32883bcdf3f3c1eea31439b7b299f242001c2da9a84b3591876a801b6e8"
+    },
+    "cpp.cpp.deleteB": {
+      "merkle": "ddfd4b398a268ba377ccb626fb901bcff3c0590b20448f9ffd4a3c89ba77a404",
+      "own": "cf799543eef6f49eda118360c71ab15a720df1843681880c304e3003f04ab69f"
+    },
     "cpp.cpp.denote": {
       "merkle": "bd0620f61b87955e2e594529063ef12962a150a74cee650928965492ecc642c4",
       "own": "075a9bae2fb43f9864485a868664093f925613945e2639c467b7e869129814dc"
@@ -470,6 +634,10 @@
       "merkle": "e05c75fe27745bbfeba63f34cdf4b9511c8bbef0269f2295119e405bbd01db9f",
       "own": "960b4c35f9a13ee2d3dccebf0d3594de92672847d8d7833003b8b207353e138f"
     },
+    "cpp.cpp.derefB": {
+      "merkle": "41c431e3fbc2449b64ae06f9b7c3cfcadeb0202a2873387d8e46e8c12b496305",
+      "own": "59f474be83b27227473a4adb4ecb73db5dcbc78a7d6c71c4bd291ae596318169"
+    },
     "cpp.cpp.div": {
       "merkle": "c25dce8a08ffad1401476e5afde888d957231ea148a7f1305607296240009f56",
       "own": "5257e22728d218342ee89c501d91fea5acad72c90b9a8d28b2532b1da771b7a4"
@@ -526,6 +694,10 @@
       "merkle": "77aa8ac2ef419818b7749392fc9e69e904eb82ea39ebe67ae2142b2302eab423",
       "own": "ab7b91f86d831eec0aa6088635d43c4bbe24900c29c8674ae89926bee5be2214"
     },
+    "cpp.cpp.dropTrailingZeros": {
+      "merkle": "053e17bb4b9fe6a813d3786d5283158b7abeba1909dcba13130a20655c9e0f0c",
+      "own": "37d5e9e64f48b79b6d3ae7724a5a005c996e2f2083dad3455d5fc6b6c4c27389"
+    },
     "cpp.cpp.dropWord": {
       "merkle": "784ae8977ff5af9efc4ef5c787df94df03619bc3d53a2daf4513f1ce01f52292",
       "own": "e0964239159e3c9f4c30c2b8424a2416a73e635d6059bbcf41da9ef4b7505cdd"
@@ -534,6 +706,14 @@
       "merkle": "f97d199ede9b38e46c29af0552e62a1feeaf06def7054ad829c4bb83de5caf5d",
       "own": "beddb86a754e3d633154bc03d438526480cda7699d0400c49afd194fc8919d2e"
     },
+    "cpp.cpp.encodeV": {
+      "merkle": "be351dd9791f69024d7f8f774a7042d6f6b9e93cc20be0cbe52a3beb60c078e9",
+      "own": "2e14303c688d4e4d3675487454dbced9d2d60a9c8ad7d9911054ede5899e01a9"
+    },
+    "cpp.cpp.endScope": {
+      "merkle": "7fa479204560a1ea5c8ff24e5a26010de4794dd7c2f89aafe51f2e05111ecb30",
+      "own": "35b132078e8bde58c2625eab9ffb32e7ff02ea71241883f708db331e144c0628"
+    },
     "cpp.cpp.endl": {
       "merkle": "51f7d6a81e3616d36c44516d5fc23933b5b7d62b78cacc96b8570d9acc589467",
       "own": "d3d9cf4182f2399a66e03ce6c68a8a1ec1b4e0a09ec9298fa5f2c5a6a73ec5ae"
@@ -578,10 +758,66 @@
       "merkle": "d6330e116a437f6dffcb9f51f3ca6994867bab41c8262589bba3a164c9afb50f",
       "own": "61760c7ca2c678c0398f3548ce871edb324c33b39bad93dcf8aabe078fd53e4a"
     },
+    "cpp.cpp.expStr": {
+      "merkle": "d69d400a4b5278f3785fdc67e827b3d53c246c894b38cc4b92b4ec3382e5ccac",
+      "own": "ea7e075db33d784544ce5d11e50b6dcf1ea726080a26ec847fa6d59491da595a"
+    },
+    "cpp.cpp.fEmax": {
+      "merkle": "8e7fcbf83b32a02677aed055989ffee37966fcd2e70b223b0149daa4b498ff25",
+      "own": "e43e14a2a016bae66fa16f74134814978662ba601db440411a0b152c6ecf49e6"
+    },
+    "cpp.cpp.fExpBits": {
+      "merkle": "f234307d8799eb639d9c2cac59580f88aa5895dda280a684e814c14d4a342f93",
+      "own": "3f4306f920324c31eca2f3ce6581f4513c1cf5add43d0959e5d7a27afb870eef"
+    },
+    "cpp.cpp.fPrec": {
+      "merkle": "3a2be0c875140bf9076669ff213f4259f8473800f1afe8e0602337ad361c90d0",
+      "own": "38bc06d5785b81365eb31d3ac4a697121fd2e80f739defa78317a282f0339a50"
+    },
+    "cpp.cpp.fShow": {
+      "merkle": "a09182f455c98e108f6d9967614a72c6297c455182c2a2c12d25dfa9ff8a98a6",
+      "own": "1c5dde8230130444d088013dc264f2d7ac6aa056730cecc1381840b42f3db1c3"
+    },
+    "cpp.cpp.fWidth": {
+      "merkle": "1e7b0258552f87dd717508367c2ef91f5c1eec6cf1c2614d340610d28ea26392",
+      "own": "521568dc447cdcd78adfef3d39a331782bbb491fd4411e973fd7975eb9dceda3"
+    },
+    "cpp.cpp.fadd": {
+      "merkle": "477d300aeb78d2bd37d4b4cebcf9ba40dabe7d3a8b2a39a1ed53fdb246ac1632",
+      "own": "490f5603b5b61f36e22bc9acdae94e75f4b6ff5f7f0e3cb82647c3e077ff4b1d"
+    },
+    "cpp.cpp.faddV": {
+      "merkle": "dea4726f1889279ca008b33a5b5fd1f6e36ae65e6350bff1d0ee67ce0822af72",
+      "own": "19e06d3da2533ded08036e939ec4120390428eb8722559b3f236d130bed617ce"
+    },
     "cpp.cpp.falseNotTrue": {
       "merkle": "2453bf5b0c0ffd2e5f995940e6fe017dd3e35689e9d8282b6871ea0f40b0ac7d",
       "own": "6b9bc76debdf9fcf144924d3a91e1d744299a7ca644797f0eb0b59167ee738df"
     },
+    "cpp.cpp.fconv": {
+      "merkle": "a6e067cf523f99de352e1b31b987fb95527eb6ae7c89dba372c177dea008c781",
+      "own": "0543af9ae95b3218d79ff1d84a3e8172a348e1cfc074313c17340e4200e2a8df"
+    },
+    "cpp.cpp.fconvV": {
+      "merkle": "8b1f3d1904abd9fc80ad5d2cfbe15800c25c5e0edf69f7fa1def2d66e9f9e453",
+      "own": "d13247b659e601962d5286130afcd799be8e09fa8b830d5d36bee9ff53ca3a71"
+    },
+    "cpp.cpp.fdiv": {
+      "merkle": "4083f0fc6762fec84c01748285cc1a08ccac69f90d804f56c591553e638bb5a2",
+      "own": "81dfcbb4a34f713685933b96abdf6c225c70b022d508bc661cc69bbcdded9111"
+    },
+    "cpp.cpp.fdivV": {
+      "merkle": "be15377582f376066b30455fb578485705436ab81129af13017a0224fd0cdbbb",
+      "own": "a6cff47a793d59a924a41ad85172c41c17436c346536d6e72707773a8a77b680"
+    },
+    "cpp.cpp.feq": {
+      "merkle": "fc44ec5fa930997eb75ba3454d5318994c160ec4e6b797f125009fdb3473f2c7",
+      "own": "49c00cc18576bf39787c64070c88bf3a63c21710c55be86e95314fa079db9383"
+    },
+    "cpp.cpp.feqV": {
+      "merkle": "a6d6a672076d9fe77fbb05467b5aa408f6bb1c13ef721ae1dd4f3c99c6244c45",
+      "own": "4828c5039b22b34f60e55410e748af682e9faade794fb1819848f5022f14231a"
+    },
     "cpp.cpp.findFrom": {
       "merkle": "7b0ed505d8ca4e0c116193b9e012a09c4a5d959189203a702938c9991ac71f7a",
       "own": "67671609b834d7224613db3f00e45305762b3175e88dc416d9440e2a020895fd"
@@ -634,6 +870,62 @@
       "merkle": "1ff776a94d641ab873b453ae2a86ec01df9517b059eebc4e69a002a7023aa244",
       "own": "66c2583dbef6813d866b11b382b17895f3bfaefe41d5dbc6d1119be1318f524d"
     },
+    "cpp.cpp.fixLog10": {
+      "merkle": "0c3de02b8c308096a5d49e20841371276e118402fe4b38a8182687552884e794",
+      "own": "d7ed6d522468ea21327cf1e1980bd4530c54939719743d46d2c60cb6cbda069c"
+    },
+    "cpp.cpp.fle": {
+      "merkle": "df8e2b041f78c564af61b53ec7db55a46d925919a661ee1f9192bf58ef0f210f",
+      "own": "6ee28b8633eaa2d6ad2c138c9c0606c181345e1e8662d5563838030827629a6b"
+    },
+    "cpp.cpp.flit": {
+      "merkle": "1ab04f5614251d90e376c2ef665e853b5d3c05c9cc6577f502829515d4b2688a",
+      "own": "feb98e2e8cc4795104cf0cb3f531b99030129ca0f768a09c9b6242b19325a5aa"
+    },
+    "cpp.cpp.floorDivN": {
+      "merkle": "b7be85ab2c7fc80f1c722e8d59d515c8de9a835c61fe79841ee7cb4015f823f3",
+      "own": "7c18f438e43c6e9cafd1c034b3816b3b39b7d302cefd6f1c59a1d9d2461c6922"
+    },
+    "cpp.cpp.floorLog10": {
+      "merkle": "ff5ed8d89c361e79d706da588f3b2b328b9b3612da44903512f3661d17a83b45",
+      "own": "b473c860dfeae191dc4602a3de1278d9a2d3383bd934b0db94d5d18aa4d27bbd"
+    },
+    "cpp.cpp.floorLog2": {
+      "merkle": "8b7fbdb112192b5286d75e12a8cb8c9e621dc2fad9c680d2e68f4cf724ce1661",
+      "own": "05fb02db6227c255de493a19564a57c0e4374ebde16a1e88d4e851f45bb87c7d"
+    },
+    "cpp.cpp.flt": {
+      "merkle": "7c2d5a66494911733a80b170861cdeb70597c56eeb2485391df8e014456c65be",
+      "own": "df3cdde42a82266e60d86aa4daa9f747b7b151b22a766b20e3197727f93f2977"
+    },
+    "cpp.cpp.fltV": {
+      "merkle": "86f5f20ae987b028b15aaae7687ad2bfa9a26215b02dcfa3232f439c96ff6c62",
+      "own": "55313fe0fe837bfc1be1c6fab6c2cfbe48a2978929ad1bd892dbdad1849fb769"
+    },
+    "cpp.cpp.fmtG": {
+      "merkle": "f79bcd381c319b0c1b557f19cbb65841d70072e3a2179492be0e7f68de70ae79",
+      "own": "962ab31c52e28bcd17139e6a2d13c6e1dc669c145b76b9089d47b3e3cd9b3ae8"
+    },
+    "cpp.cpp.fmtSig": {
+      "merkle": "69b47e75ba22da834738e5a16e4039f42c6a33bc3345ad6bb029e696dbf32124",
+      "own": "c998b2b3995cf98ca351fa2281d485e6b32c5ec95a3fca64b44bbe784cf85124"
+    },
+    "cpp.cpp.fmul": {
+      "merkle": "d9bffcbd14997138415f59b92c51d610ae3790833a3c034c47d6d39909544637",
+      "own": "751fdbc797cb914d0df2917da5c76f53c295c4a6dcb72767e621b04168d76fa9"
+    },
+    "cpp.cpp.fmulV": {
+      "merkle": "aacf038b69195e29016e32892d1bb65965ab9573874b68f7a3f84a8f3151545b",
+      "own": "225366bd3aaf41e96961106df52870b9fd2db6303fdd10bc440301a759b91bce"
+    },
+    "cpp.cpp.fneg": {
+      "merkle": "be2ee44fd660b5f7d3318a6723d98803b45d092ffdd3a4130b06ca955422dd41",
+      "own": "07b028432c7d4b48aee54660602b8066eb19b54236ad0034b9a4b691dd848dcb"
+    },
+    "cpp.cpp.fnegV": {
+      "merkle": "6ebeee16b9b8f1a81f3e0a426b9247d0ed0e606b8f662afc20399cc8512bfe23",
+      "own": "4da821d9713a98a466fead0504e3cb4c38c2422a52e04b783fc4d81dea54203b"
+    },
     "cpp.cpp.forCount": {
       "merkle": "af671caa65d7221789ad658a93beacf17eec02be7b12b436f406c90207eba2d3",
       "own": "e575cd1ab60141fe682923f5ed6b5b5a8ba884dd48caddbf2b3f398248066e4d"
@@ -642,10 +934,38 @@
       "merkle": "ed2a9ae43066b5f1760ad7927dd01969241f7d74b229829f6a373098ea526847",
       "own": "b9fd0427111a18a23953e49e0bf99ea92adb2dfd090634d6e1cef379b86d241c"
     },
+    "cpp.cpp.fromIntV": {
+      "merkle": "f7d8c625e5e3de235393f31efe66e48c015e1fe2b66ea23d8ca0d42b9a3c95a2",
+      "own": "9064d012fe6c134127be198bbf69ad5e96cbbf8979d284c29eb73d551d9a02a3"
+    },
     "cpp.cpp.fromList": {
       "merkle": "93a21352e234befde865196b4775c98136d04ac9bd607a953a831688b7e3fcb7",
       "own": "93dbf890449f1e3f719f7cfad8223bbfabe144a80d722965466616613f79daa1"
     },
+    "cpp.cpp.fromVal": {
+      "merkle": "7bb834f955ca6cefacc37b3377b520708856e37c1cf699ce8bdb8024794596cb",
+      "own": "4f0100a61f3c6b16e88befd365b5cbccef556d2264a6750007e617672054f2ec"
+    },
+    "cpp.cpp.fsqrt": {
+      "merkle": "bf1e8e670c388ecc3ef8b8f39bb576fcd43cf1072c99c334ed33d783a940eb13",
+      "own": "1da3bc7cec3d340507069ee8f8ecf35031088c880539d30c662a0affe72b55ce"
+    },
+    "cpp.cpp.fsqrtV": {
+      "merkle": "8ca676b0880c2b5a9788692eead8d1758aec5e1048dd690bdb1e6feba6df126c",
+      "own": "787895f336f7238f95115b96cd8551f1f2ef6100b9266c45be355415866123a4"
+    },
+    "cpp.cpp.fsub": {
+      "merkle": "753c641fa262b626e6d1ee4a19e2ca911c5cb80f17368cc7cd51fb7b8e60d2c1",
+      "own": "b2357919f6dcb531798e42af7d6e2ff6197cf96adcf4c52ee9d032bf7032fa1f"
+    },
+    "cpp.cpp.fval": {
+      "merkle": "f744adc2710732853538ba3b2a37a0881d162a9cb354dacde9c3bc28d1b4badd",
+      "own": "a4710bad12efe6c8f9c38938ea8acfa72655e4c648aa106ab866e3c948360735"
+    },
+    "cpp.cpp.geTen": {
+      "merkle": "fb663ada4d79b3f73e6983811f628ab215f28080656195b6584464e910e8bf1c",
+      "own": "bf6526ee4aaff9742bee76fedd28243bb808696cd5bb4529d25ba23262afd901"
+    },
     "cpp.cpp.geV": {
       "merkle": "e1409cbb277f2fdbd3607fcfed762909c68ce4ddba11071d1a515fd92c77a58c",
       "own": "a87932d7fa0bacbba0174fb3ec278f8365515dbef95299ba7ac569e4c42f814f"
@@ -742,6 +1062,10 @@
       "merkle": "379c414abdd3805df9ab007fe14336f0667ae7eb632a7cb14257e5397b10e495",
       "own": "723c13fd5439da1e5db023621443e6137c438411eef4c7ba727cc735fd13f68b"
     },
+    "cpp.cpp.isNaNV": {
+      "merkle": "d59bf81ca3e00d63d899859945bad74df4f0ec69b4793f1666d2bdd8ffa4c0cb",
+      "own": "8efe49e60b672a1e6f7b5dd465ba36d639d23fa1ac1c6f79ae3775f368d255ff"
+    },
     "cpp.cpp.isNilC": {
       "merkle": "1f0c1a8fec93d55a7734310014b0361a89c6b691f24ea9829346b35e7849a578",
       "own": "5d8aa853825f8578d48a746811552e60ac44c7265dd8de049ebe84da89f347d9"
@@ -750,6 +1074,10 @@
       "merkle": "6640047f4bd1508947fe56aec737238b80db5688a90d2ab91ef46dfead953af0",
       "own": "8b323d7b8f49c6b92f120be22fb52797346f3439905484e9793bf0c3291c6355"
     },
+    "cpp.cpp.isOddN": {
+      "merkle": "46caccda9d7e5bac525dfa576276e343ddb2b7c3a4650748ba64d5764852ace8",
+      "own": "ff8a66fdbb0865ebe9a0aba32a878bd42b3ce7040e61d2fe74f4316948557c37"
+    },
     "cpp.cpp.isOut": {
       "merkle": "f688010ecd8cba626352b624bcc7aa514d9de516aaf609850a0ee7be19dc4fd0",
       "own": "bf4df9f66de12ba89db51b8d3fa5c57e13494570f90e8fdaf60ca5259ec9df6a"
@@ -774,6 +1102,18 @@
       "merkle": "b72948b3ef181890d4e907560f738f17c6fbfd92a33529bcbc39438bad6617d6",
       "own": "3f0b47a55e2450b65e31969226c4a9d99fce07611c766025c4fefe7f32280ae1"
     },
+    "cpp.cpp.isZeroV": {
+      "merkle": "50a4e226c2e5cf65ca51cea4020eeccaf369f5807a40dd3266b6b3e8dd54eb74",
+      "own": "28c7db3e1ad2f62b108fb6f256cd346b2e2f937b60b9dfc5b5281c051873cc21"
+    },
+    "cpp.cpp.isqrt": {
+      "merkle": "e3798c9f6e85de86a412cae841ee668d9a978a781ccde677a6153af9121469ca",
+      "own": "12f7c9a9d36e72c919148f7324b2b2e23bc93abd112619f29b7479bf232674c4"
+    },
+    "cpp.cpp.isqrtGo": {
+      "merkle": "0af93c2c4895994f4c68931988de008e16a63fe322e86f54e315bffea18df196",
+      "own": "3bcf0553eb0cff75c09ccbb1395c2cc062f977ab9ff7e3dfbe8c2bda9e71b642"
+    },
     "cpp.cpp.keyEq": {
       "merkle": "8300c503aaa8660f102944eb20bddc72d5578639aec0cd8077640574e35ae2b4",
       "own": "d56825b863dedc7477d76d67699d9fe76c175c5479497cc14e8bd3a843225113"
@@ -846,6 +1186,10 @@
       "merkle": "1d30ce448c83b5dfc619175335a3b78e911c816b0f389ceb847be2833a381d7d",
       "own": "5ec45e825fbb5e06e34ee429697ec982c64a34ad01017580872afd91ff1be840"
     },
+    "cpp.cpp.load": {
+      "merkle": "84c832b46172c0e64fc5e0308e6777fb7beb83522a8720d36add57bf9dd97c51",
+      "own": "f05894761eb06cd4991d06f474269492a3298e743b46e97ba71505e6211ecf7f"
+    },
     "cpp.cpp.lookAt": {
       "merkle": "3d2a5632c4404af9937e13ce1710b023444b94ecc00a0f320bfa273d68928154",
       "own": "55975d6fd5ba5449bb98285428ea4332a5ac0e041eb5e6e407fbbc2f56bbd09d"
@@ -898,6 +1242,10 @@
       "merkle": "43661906da6775bcddb4eb0f671698e4afab5c926cb9d2746e682a6bb96e5cdf",
       "own": "5bc94424e5602b2f249662308857078be93efb07ac2edc01e5e1d1f57da285d5"
     },
+    "cpp.cpp.ltFin": {
+      "merkle": "d7dd8519252ed07f41d94abeb298e6ffdafe6cd6a58ccf7cba190d8ab69a4329",
+      "own": "c384ce44e55c53045b8e191bbef7b6218c0d2b2e6da628486d3166fbc9433918"
+    },
     "cpp.cpp.ltPair": {
       "merkle": "90e51eb9c41ba2b861f9ebe8aa72d665a3be8a7f557e84b8dca66b0852d95fbd",
       "own": "eff7d54296b318578658bab333fc95ae07289f17a7b6b48ac3b192f2166946de"
@@ -950,6 +1298,10 @@
       "merkle": "9fcc66c978ba59ead908306e77785c59993f0f6cf546bb3213d8d171acb657d0",
       "own": "bc0afcf43d5439fc4431ead2beaba52c8b9952a3f71030cc7fdffde1be3fa56f"
     },
+    "cpp.cpp.maxI": {
+      "merkle": "242ad2352e942423f19efc6a726922e6d3257f43884be08b451b46621d990e54",
+      "own": "2d56b2e29c2ac4bc801d0c6c436a584cb21f024a32b211cfde3d4f7f2cb6d9ad"
+    },
     "cpp.cpp.maxInt32": {
       "merkle": "70cd53b2e83626b6bc8cd9ad62a7558ee4ca452694fb0e0d8b811e2812b67710",
       "own": "6f3a9a6c6a614d8301ebb7fc4952cb32eb61212172216f9cf749d988c336ac37"
@@ -966,10 +1318,22 @@
       "merkle": "3042445d96ad0af1e623b478360d8f1175a0f6fb6020f3c645ece7652cb3b849",
       "own": "794419d13eb30c650e03e3db1eac5afb8f2bba6c9c86a2b9374b946f5a56b95d"
     },
+    "cpp.cpp.memAllocs": {
+      "merkle": "8a89ddb4f685424d12ed6d9c97340bfb82b42d1dc5de42270ee49e6d2ead0b38",
+      "own": "122bd86045946dc4957e5ab007e0e2dea3432b27ff054d41a067fa6b16dcc8f9"
+    },
+    "cpp.cpp.memNew": {
+      "merkle": "79d5bca0dd88261a299908f10a2c14a29bcb13961c1b99d76fdb7d5848b07a3f",
+      "own": "4709635877b49ccbf27705340916d69ce0ad7361e1bc3436f0d6b4a045a26d91"
+    },
     "cpp.cpp.memV": {
       "merkle": "119e0561b0e30c5c005a13b233bb1d89964a0dac57816976fd349b42eac3c39b",
       "own": "4e71449e969ba525fba4fc76548e89c536ead620d77f488dd6b0e09601923f58"
     },
+    "cpp.cpp.minI": {
+      "merkle": "78be104d0e09356ca8826ee04c2501bef5233c037650e77265e6c8a6e6ac927f",
+      "own": "4b90deae4fe37adc842df363dfcfcb0d96c28ff95c05f57243b980453dbac713"
+    },
     "cpp.cpp.minInt32": {
       "merkle": "6fcc2ff7dd05da705bfe20ac48115c760a48a8acdaa8b4040e1ac78e428be098",
       "own": "64728c3336ca0ea3e456285ff728a62d5b896560e7de7af0bf39b6af612eb1af"
@@ -1010,6 +1374,10 @@
       "merkle": "b1555d3d0a0f762ac9a9aa26b52b7e61e572c66fc43e82e387862dc3a41d997e",
       "own": "9d9b06187bf384cb04f119a9f2b40e987f379255dcf6d5d4609d73a0e55639ef"
     },
+    "cpp.cpp.natPlusI": {
+      "merkle": "4fdf450e5c52e756031df87fd52e3aa31e498b795bec3fc240c287a28116928f",
+      "own": "a4a8e2f4341226e8c84e74ba48dff5de6ee1e0cf011cf1f8fc79121b9a03fed2"
+    },
     "cpp.cpp.natTri": {
       "merkle": "5b06d249b6d13069ef475c9e62fde9b215f5c1bbdb4940713ba0c1a2d6c37212",
       "own": "ba3f03d362dd9c01ffceaa8d4cc3927cff2f74c23eb273a156fd5cb1701d269b"
@@ -1026,6 +1394,26 @@
       "merkle": "69b4434c5c697031187807659bb0da176e513e8400a55816ca0c5092f33fa166",
       "own": "7ec1b6fb214317831c048cfad10f491de590073f1f4360d6d203e856d960f0ae"
     },
+    "cpp.cpp.newArr": {
+      "merkle": "88311a436e5eed20287379a89c28697e39f05cfda14ab5ad3d909a9b41d21b33",
+      "own": "a28fae230d21dc9d8e527422344b8fdffb834898b7144bc0579526ae4428be02"
+    },
+    "cpp.cpp.newObj": {
+      "merkle": "098bdf1b79349aef80869822ec6b917f12f4c1c5d71c29e6dfd7f1519ed3a39c",
+      "own": "36c0de78e2c9ed230c0c410680db578ad15eda6a0b93d5ab31214e72099a0f5e"
+    },
+    "cpp.cpp.nmul": {
+      "merkle": "d84da9875e52d5485e8e6d5a8ff8551f3bda2a9fa573d4783a83dc75915e1d61",
+      "own": "77503efaae25df98b93c6ed483ac6f6e638846f5e0172923dd97ccf1efa243df"
+    },
+    "cpp.cpp.notV": {
+      "merkle": "73acf9743703bab53685399caa0745a90b52f60a45be1def13a137787d26864b",
+      "own": "66e723397bc3e30563d00c1fb463f3aeabcc507f61f5e01a8c211df785c44a34"
+    },
+    "cpp.cpp.nsub": {
+      "merkle": "47e8765583ffa4e2b693e1cb45366b36db9af2e0e99327ffac7d5bd2e8cb00de",
+      "own": "fc60dfc162b5dc4654d7c9f6558429704aab51502b196f45731a5d539114851e"
+    },
     "cpp.cpp.nthM": {
       "merkle": "845dff4db6cd915985dbb9153c61a7ccc554a8d9de62a72e0cc7d3c1d90b40bb",
       "own": "6294f70b0244ee2d63db3ac28d256769ff5f66d59cb669ead4f8361c7fecbf76"
@@ -1042,6 +1430,10 @@
       "merkle": "604ce6e2fe2f05400eb4def47d387a04698857d39ca9cd5588b0eb08dea6e60f",
       "own": "1695970fe5bf60c7bcc7e4ec240615a8edb67a8e482a46fee62f1d031681f096"
     },
+    "cpp.cpp.ofBits": {
+      "merkle": "d744b8df0856ec69655e5e82a34fa8f99ef7fa8d7ff1617951974ade0aa98462",
+      "own": "9ae6df126099105bc0214e082780b78207b43e4ce20a04e15a3d48b26dbe8374"
+    },
     "cpp.cpp.ofBool": {
       "merkle": "6bc85121f9fb6078e0271804ca46280a5f7ffc4d4d9ad1ca80eed716d9fabf26",
       "own": "bb9b8aade41363da7f8cc1bdbc81d3888710ea0fabd2636b6d04b79db8d029cf"
@@ -1066,6 +1458,10 @@
       "merkle": "8f775baa57bcce91ca800e20ebc0049c5c5adda84c879d589fa10da58e0dfb52",
       "own": "f61ee97ae3cc6b3a85b99fe81c41aedd3a6ef2e82098c9751c1944cb8cc9f22a"
     },
+    "cpp.cpp.orV": {
+      "merkle": "08137a5422fe8f99d6a8a6f70ead419f005105b7eeb956e37e5fd61da80ec754",
+      "own": "11227177b8624cce2ef742640e748ea1ad7d4a76e64bd09973b7de9ed03292d1"
+    },
     "cpp.cpp.pfirst": {
       "merkle": "f7ecc3ff134776ee0a4ead57933fb8f2a1f32beef5b5eb2130c3b0b04b0932b1",
       "own": "79558b79ce72b819696c9b6da1f65852c91e31f528096713d53f2944837d060c"
@@ -1094,6 +1490,10 @@
       "merkle": "e4282e3a3a78fbecc68fb0243560257e6b96f61c8a856e6602241e96b6b86bf7",
       "own": "a08b178edf3b96015d5970a3e384d243ed9236424275b16edc4a8f6fcfbcbe64"
     },
+    "cpp.cpp.pow2": {
+      "merkle": "1621607c530bf91713bfdb70e3511b36f63701bf7ff8c0e6e7d2ddf7df4e1be7",
+      "own": "5a3eaff0dcc3ffc603c996bccb49dc6923463ebad82ae23de535b4fc9b58f1e0"
+    },
     "cpp.cpp.pqElems": {
       "merkle": "6eb3e158f6a7e3571921fff7bba7ecc7af64d640386adc708952b00052ba0f04",
       "own": "7ad82320e62f8d7930378e7b713d3d1500bcc03d1bf4159bfad3a824967b15a9"
@@ -1134,10 +1534,50 @@
       "merkle": "2d3f4670b5e0c42bae858f582548bfa66b1c9310793d27b4b011db4876a42f00",
       "own": "f492278ed096b313bb486b7ee8e44a87cd335ed24c2e36046770ea2f8fd64221"
     },
+    "cpp.cpp.ptrAdd": {
+      "merkle": "4599111a3ee3a9a497a1f435b3714dfda5dbe58cfcbfc70b37de6aa706b40e20",
+      "own": "44d1cbefda32479feb1f00cda3f4509f544f8c4a69a46097c6e9767b4d5d5be0"
+    },
+    "cpp.cpp.ptrBlock": {
+      "merkle": "68ee1ed53268fc0efd192f0642c3b967eb3faa4ed8e87c84adab1067abbe6bc9",
+      "own": "c88d27a27e9ab9868721fb2c3b03a39a7b89b9325879da9833aed4bc0663484c"
+    },
+    "cpp.cpp.ptrDiff": {
+      "merkle": "8e57bc761863bb5ee5cdb8915d5de20bc86259cc81aee15eec870587f64fb278",
+      "own": "3fe814cc78343d0143b352c5949c4f9129553bfc8202724a7fa35410a30a38bd"
+    },
+    "cpp.cpp.ptrEq": {
+      "merkle": "59936fd48778a4d85192806afbca973a17a2d019c32b080fe3bc8e8135f7076c",
+      "own": "eb7cf94fe941c80efed0791a3968f6a562794dd7a91199cae3f699aeaa49ec6b"
+    },
+    "cpp.cpp.ptrLt": {
+      "merkle": "bdbb6920ea06d35d9f0482c64f46fdd21755e4ed0d819ae14deef2043c2391a4",
+      "own": "b3741cb2714cae51302eefe69f0e112bd2ea61249f9cb3aab7f4ccc1381df387"
+    },
+    "cpp.cpp.ptrOff": {
+      "merkle": "093c7329404ec3122a7b4457987fb023f825147b7ffd96a5888c9e4cf63275ab",
+      "own": "bfbe6c9d9683b62c390759559644c6d2256b66824659e7c5bb8ef8749ecbb80c"
+    },
     "cpp.cpp.pushBack": {
       "merkle": "3c82d5dc1e2b4af22be4eb3c07970dc8e2d81a3d8a05e332e5c4bdb4601375ff",
       "own": "b4438de074038e8fde61298a341d2d5d55eff001f9031e9d1898bbc9bb20b229"
     },
+    "cpp.cpp.qDen": {
+      "merkle": "f37e544291c6ce0d35fc853ef4e72d01841c1fc72348b14ea1e8cd56c39a7b1e",
+      "own": "22dde5b8c028248144fabd97adb940bb7bef80749f5f13152241c5da718bbcaa"
+    },
+    "cpp.cpp.qNum": {
+      "merkle": "fe390e4dfde0505017ab28ce3bb03545cc28ebef80829beb2e3f6db295df38df",
+      "own": "67d0cc6713cc10a6e7cddb6c947b252c9e063594ffb6baa70500903dd2a7ab65"
+    },
+    "cpp.cpp.qmax": {
+      "merkle": "bca9b3bfd63c4558ad77590c1aea61bc123db2e38655a8e1c62f3d049ab49960",
+      "own": "c052f4e41fe3dcf4e1dd01c5309b463d7158f9edef67fa7622923c2c725740af"
+    },
+    "cpp.cpp.qmin": {
+      "merkle": "f1dde2348b0252878d57f3da534dd3ce6c7b56f6bfcb7d835995f1195fba890f",
+      "own": "bfe9558cd6802e4e125b5986125df61ba0e32460f7a15f7a153deb47d4cf7c11"
+    },
     "cpp.cpp.queBack": {
       "merkle": "294c853a7b01c8bda925f4b15333e5f3bc6303c15884e48a271e4571dadc56cd",
       "own": "515ec070840a92cb5961582c536352749961cfba86e227159db3cdbfc96bf508"
@@ -1194,6 +1634,10 @@
       "merkle": "49afb917b6aaae8ee3f066da1bac8399c7a5c5d4ddb11682b2868dae1ea0e302",
       "own": "cf108c8b3e80750c8b84e3a29bbfa036ee32d6bc7c5b3986d298df9ae5187721"
     },
+    "cpp.cpp.repr": {
+      "merkle": "3287655de4951cf1c3b1a7887c4edee5f1aa327665307c0b82128f1a5e86c6ed",
+      "own": "12277fc86030a4fb4d8f14414e4f9f94f07fa8476c7bf7ad4ae685d8bbba481c"
+    },
     "cpp.cpp.res": {
       "merkle": "06f63f59694dc56768d394afe7a69a903e7ae77270817108bacc5307c7661827",
       "own": "a2ed95e3ef3c6ec07281e48e416bb4da8aa1ac920c8c562b32fef34a495400b4"
@@ -1202,6 +1646,18 @@
       "merkle": "dcf7b3d4f57d23034c304a916f9518b4fefcdb38ddbac4fe4c6c4aac5076fa4c",
       "own": "ee1118e8984534a64fe395b75af24ee86e1174812ad51ade8d6c85cb2888b36c"
     },
+    "cpp.cpp.rne": {
+      "merkle": "03e918176ead3c1b197d3b80516107072e1025f3f30197219db549f28c12fe0a",
+      "own": "2d4b0fdd58876d3713ec253e3262b2e7420a856450c6a9d1400ef3b20ebf3b49"
+    },
+    "cpp.cpp.roundFinish": {
+      "merkle": "7a83939262b13276d3588fa565c92e9c04fbb5afb24b8e96e1ea45265d2ff915",
+      "own": "af88e3f36c08452f7b9a7bbf277629f3c4b110accbd84397aac733b8be3b7d65"
+    },
+    "cpp.cpp.roundQ": {
+      "merkle": "242a00eec95f2b2bbc91aa77d3a5f0518efba56d719b5f818248e44bca16401a",
+      "own": "d3bf060f9b2e9d0caf1bdd102d12dd9c3d61f2914af86a32b7adf69a50442c1b"
+    },
     "cpp.cpp.rsIOS": {
       "merkle": "eebec28eb52dfdf0ed975c23ca790c3172f4ba508da50b8dea30ea13dfaea908",
       "own": "51b184ea70c62ab7c8512369ad1c412fa8b24a582eaae72b12056418d1e27c30"
@@ -1214,6 +1670,10 @@
       "merkle": "d44a95c75a2879e4bfe568121ad04a31ed0ca3f04f9e4ee9b1a5ea4be1f312f5",
       "own": "79c7d17511c0cc13069fe8c316a24e1081693b3089866696c3ca9ca2e52a0380"
     },
+    "cpp.cpp.sameBlockB": {
+      "merkle": "83d9bff11accf04776670f693049d7d54268e7eafdbad06c0e33abed7bdf3b3d",
+      "own": "7ef70d7d5c516a292392c33b3509f4f0d94bac63cb727a68e4ff044664c74bbe"
+    },
     "cpp.cpp.seq": {
       "merkle": "681ef2a43e7c8f364ec3a97deeea667f88d8f60497cb5be58679de7e9907773c",
       "own": "c2fbe33aa66ad77fc7a0fce9d01de1b356c9144fbc9ff355671f4102e9b8de90"
@@ -1278,10 +1738,38 @@
       "merkle": "1175c648a3587b5a6b138cab7dca401fe56e2d4a17ce01b9e36a298443d5b8b5",
       "own": "cb791a3f0c9084b3672233dc675545c886b531d3125f0ad84753e20853c2cfb6"
     },
+    "cpp.cpp.shiftAmountB": {
+      "merkle": "086effcc037131eab9d6b39b57e76570e53beb2406f58f68833e8c52017b220a",
+      "own": "c430ffbc7228d25a27fc10b073ad289dfe245b273b0f44bd138ca4308349d4e9"
+    },
+    "cpp.cpp.shlB": {
+      "merkle": "4cae7576aa4a23157815722ba7da6405e6514d7c2f9fb21c9aa6b72e6b943fdb",
+      "own": "0cffc6f2e6a2c2388f61130a10923f23ec2273de29d797badafdc7545e043ff0"
+    },
+    "cpp.cpp.shlV": {
+      "merkle": "f989c7216d0bc7cb5e47ec1411e09685a4c0b0d0d9a54a9d473df53a7d1c64fc",
+      "own": "2844e19bb9021c2cc38fbed36669d1cb753cd660aedeccdd77f043cf686f30fd"
+    },
     "cpp.cpp.showRead2": {
       "merkle": "2c6e7e675888787129f2f82f2dd5a8dc7990e368c6c04cf67adf6b3682073136",
       "own": "d63b17a05281fd72fc49a220aea55ec3a3ceebb7afddb47fe73e2663aa8113bc"
     },
+    "cpp.cpp.shrB": {
+      "merkle": "7f5bb1a77449d72dd452711c9cd8dbbc1dff13a271951de88ba4d128de9b6062",
+      "own": "4efdf5f9996c11ecd3f0bcc7a151d919a3acdf6d04574cf938ea90072f92fd59"
+    },
+    "cpp.cpp.shrV": {
+      "merkle": "93cfd3f498659fa472929707a550cb9467d5ab754dd62ae5836e03679be46ab9",
+      "own": "fce45df2b6a71866cd28a519a406a80c32ccd681b8c4cd3654dac1c29c9576f9"
+    },
+    "cpp.cpp.sigDigits": {
+      "merkle": "da015100ff421ca827fdc8ec6f35976b15ad2ab68fb4c237a2bb4746f425bcf1",
+      "own": "5b07277e513d27d181e2823af684d2daec3b5b667f8d992eda3b280a0e7d719d"
+    },
+    "cpp.cpp.signedMag": {
+      "merkle": "96eb8ed275c2c1965bd538e37a26c463da5f3cb8367aca423013cce3768596b7",
+      "own": "42cd34024ab071bd972fdcf2c2a7fdea8299a65198aae2b73bfc341c68d2f8e6"
+    },
     "cpp.cpp.signedOf": {
       "merkle": "3a63cf8ddc7cfad9d260106118033f2d8cd41ac45151dea497fec2aab7ab89dd",
       "own": "e773bc562f2e6835e1f79a94db31711cef8537435e77c3474fc735258bbc2ba7"
@@ -1330,6 +1818,10 @@
       "merkle": "e3c4b15a0740a1fd7a95ef7f3e78adbad1a01aae59226e2b49d3c163364064c7",
       "own": "9a64505d3b03e04ea21738188f751964042204776f43d7aa5168768ffd6fbdba"
     },
+    "cpp.cpp.sqrtFin": {
+      "merkle": "ada668bbd18d584252f656188577dc8d1718984f570472b07330760d6eb647fa",
+      "own": "c69674c14e2c43e0a1eb14464e1f8ee6546ba4b50e2bc47cfdb5d544d35601e7"
+    },
     "cpp.cpp.step": {
       "merkle": "8c4c9e3435b61ff1fe198ba8e5075c8737fb252898f2594de409143f615c62fb",
       "own": "bb1767b6c2504fd7b989ecebb506087c038af57da0b4776478868b7540acd012"
@@ -1386,6 +1878,10 @@
       "merkle": "fbe2e41995040f523fbfd6191f354a53d004e3fb5928cfac0547840b71188d92",
       "own": "bed35f742ab3070b06390b184919ce296e8d75109d498a56d8e3138b27b76281"
     },
+    "cpp.cpp.store": {
+      "merkle": "4383c40a95d4dff7b64637a698b9c48ac61039e7cfe6d0eac4419e71e7fcf284",
+      "own": "f9dbec514456fb8a597f394fd81e1403e38f5b024cadf0e6a7d7e4d658f888c1"
+    },
     "cpp.cpp.strAt": {
       "merkle": "36fb79d37e02e4a301d5ae7f1efa515a83f8496b88da953eb83304ea7aa746cf",
       "own": "f04d4bda24159f8ad4d6fdc2b36c2460f678a0de80bd59dab9474b81ebc814f6"
@@ -1418,6 +1914,10 @@
       "merkle": "0c47c55f42b55812892e2786b72c894be320fe0e6758ba46e1810be8a2a4f4cc",
       "own": "f9c416568fd35d2abdc58782c2e41edacf30b5b8506f163cf5648dbb0a28e40d"
     },
+    "cpp.cpp.strOfDigits": {
+      "merkle": "4a5c9160e693c3fd09001a98ec49f6722153beeb31d9ba1da89bb21fadc4405e",
+      "own": "c64efb701ea97353e7881e14bce67deb63562eab827f42175e0255ef3a504d7d"
+    },
     "cpp.cpp.strPush": {
       "merkle": "281c0ec6115ccffdbbbcfc0f6df7400d5cb749d8a340c5eb89b097f71ac47fc9",
       "own": "fa094e366e7ad2578c9cbb4faba8a80940f9c9a7690f8700fc72dbfe0e8c4dd7"
@@ -1570,10 +2070,26 @@
       "merkle": "ae1d83e83edebcd3088ab15c6ce0c266f4f316f029efc8b79726ac220f8ccaa0",
       "own": "464f77775fe0d83006c42b91aa158e1ed1a396d373f9216dde7d2b90d94a8fd8"
     },
+    "cpp.cpp.toVal": {
+      "merkle": "273612a91bff059a7b666453c5c42a0be12607bb00a686999ec00be1988eff26",
+      "own": "b4916da3bf7a2db23e1e087f06f69588a0ba387ca964fc854ef26b4e2a043b96"
+    },
     "cpp.cpp.traceFuel": {
       "merkle": "4010e1ba10e94eea107adb3bcf0f31f2430f8d94ee08a4b896293fec9eaa7543",
       "own": "2c32d03fd55629b81195e6887edc073cb5c4c60e4d4374b0afc61d1381d0c499"
     },
+    "cpp.cpp.trimFrac": {
+      "merkle": "d4174042a7e04a9489284fa7a32ae56504854b581a52e2d82d61651511447dea",
+      "own": "496ec63c36adc5182bbf091daee9e5cfed8d8ba3011d9b2d217a765632642235"
+    },
+    "cpp.cpp.truncOkB": {
+      "merkle": "3b4203e3092ef25a086e81bbe886d921201f9e8d4f243709c9fa4550d99c81c0",
+      "own": "97f2a0a50f126a082ad9eb2bdf078d14018f7d943cb1be643243b2424675d06c"
+    },
+    "cpp.cpp.truncV": {
+      "merkle": "e1b5c3333f64ddae4cc96e5a73e531e519995d2dfd698fa7e972f09ef4c2d60e",
+      "own": "16c328d5b12143a87f3ecdbd27561ab1ab7320d23087d4cc37f0acb4c81ddb88"
+    },
     "cpp.cpp.uninit": {
       "merkle": "afb402fbfc6aab28f7595ab1eff4dd60a4c831a79d70e98ed4ed872467b589ea",
       "own": "ef98805e4dbec87a1e1e4921c7c51a7dc7632c55de020cc598b0886c15e4ed28"
@@ -1582,6 +2098,10 @@
       "merkle": "c51d13b6f202184d485bc3e38c7f75e06b00ed845ea62bf4ae3a9261c4810480",
       "own": "5934b1f6096475f92e318f1a81b7976da9d0a7aaf52d966ebf530536c20bcd43"
     },
+    "cpp.cpp.updBlock": {
+      "merkle": "49813079dd7673def72e6226a60c43584b8c35f13830627f493f53efae44b09b",
+      "own": "686b8c1958ef00d9086eadc24efe7dc37b0f732f0564fd1a19efa1d97728e03f"
+    },
     "cpp.cpp.utf8": {
       "merkle": "757f08b676b26b452cdcf7b29cc0bf1236f4e33ff0ebe5e6fb66686ca4869069",
       "own": "06eb76f473a3fff60022203b1bfe9c9705043d65caf1f729f6033b758562a949"
@@ -1638,6 +2158,10 @@
       "merkle": "aadb44e427f07a6c892bf68458e0258a38c568da32c477d300bdc220e3ca8db5",
       "own": "22d6bfa750bb2713c598c9ba151df943e7bbccda3ca63100a52a79963ff3baf1"
     },
+    "cpp.cpp.withPoint": {
+      "merkle": "4466c80856494c04f057ee8551b8698903a1e2f9671a6d03d3683ef303b8adab",
+      "own": "e36f73387e241130a8c870476b5f10cf30cef00e80b06c126218e367a00cbfff"
+    },
     "cpp.cpp.wrap": {
       "merkle": "7b8e8c45be7ac859200f862042dfe23486b2e1292aac4959fd4862928dc99020",
       "own": "6e627e76faf697049681a9030b8bcf0a51c37c96263e880d59e42e14fbd3b5bf"
@@ -1658,6 +2182,14 @@
       "merkle": "0573abe65216e4fd6a7fd1bd4a1ecc10e0af2c3033baf2c537caa08ac756be67",
       "own": "c66fa754525736f21ba203ea433fbacdf0d33f383d52677ed173e8e2de02c4b6"
     },
+    "cpp.cpp.xorB": {
+      "merkle": "b053368e78f8f935f799f09213b5757113a456775728d8d3f98f9e4b992dd1b1",
+      "own": "bf2175290b18b6503231e34f18f7faa653caa6793038abe0085c027ae57edb07"
+    },
+    "cpp.cpp.xorV": {
+      "merkle": "3c9519dc6d1557039528065e7828d1fef703f196cea62c1d12365aae73b83a8a",
+      "own": "8f6b82db2839196bd036eebe7479434cbb43da8cb7f6911677e2b20d026532ba"
+    },
     "cpp.cpp.zeroV": {
       "merkle": "da05082b93d0ff10760f3a732d078d679081e79f093ba894fa9f55583dbd9b79",
       "own": "d142e34c31f214988c95aecdd65bee68f2a6d4e56d55a52e2089f2e84fe0391c"
@@ -1665,12 +2197,16 @@
     "cpp.cpp.zeros": {
       "merkle": "7ddbfd8467b847489f379f7187c11cc8722275a2c8b88bbc54f3a0374bc8dac0",
       "own": "ebb0874d8671967f9df017484ebacc4d02403180a7fc42a56ac14fcec2240e96"
+    },
+    "cpp.cpp.zerosStr": {
+      "merkle": "f30109968ddf45b916771a08f4926cafbeb71a6ead58104adffcc3f9f0f2c494",
+      "own": "a1be374bf9e80e5492b28f1d1dd0eaa14fa74a19804dc3f2b2dc52d43a1775d3"
     }
   },
   "format": 1,
   "modules": {
     "cpp": {
-      "bytes": 2340919,
+      "bytes": 2464833,
       "deps": [
         "cpp"
       ]
@@ -1678,7 +2214,7 @@
   },
   "requires": {
     "cella-lang": {
-      "checkerHash": "be8ca6ec1db9d002",
+      "checkerHash": "9683a1620f61ee5c",
       "modules": [
         "int"
       ]

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cella-lang/cpp",
-  "version": "0.1.202610071337",
+  "version": "0.1.202610071620",
   "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.202610071326"
+    "cella-lang": "0.1.202610071618"
   },
   "cella": {
-    "checkerHash": "be8ca6ec1db9d002",
+    "checkerHash": "9683a1620f61ee5c",
     "cbfVersion": 18,
     "modules": [
       "cpp"