@cella-lang/cpp 0.1.202610100854 → 0.1.202610101043

package/CHANGES.md

@@ -3,6 +3,16 @@
 給使用這個套件的工具（產生 `cpp.*` 項的翻譯器）看的 API 變更。每一版的完整邊界清單在 `README.md`。
 雜湊（每個定義的 own／merkle，見 `index.json`）在不穩定期可能改變；下面列出改變的定義。
 
+## 未發佈
+
+### 記憶體與 C 字串
+
+- **⚠️ 不相容**：記憶體對元素型別是泛型的：`cpp.GMem A`、`cpp.GAlloc A`、`cpp.GAllocated A`（整數的 `cpp.Mem t`、`cpp.Alloc t`、`cpp.Allocated t` 是 `GMem (Val t)` 等的別名，照舊可用）。配置、解參照的判斷、寫（`cpp.store`）、指標加減、`delete`、離開作用域對任意 `A`；另加泛型的讀 `cpp.loadD`、`cpp.gmemNew`。前置條件的資料型別 `cpp.DerefOkD`、`StoreOkD`、`PtrAddOkD`、`DeleteOkD` 的第一個索引從 `IType` 改成元素型別：寫 `cpp.DerefOkD (cpp.Val t) m p`（用 `cpp.derefOk refl` 的不受影響）。
+
+- **⚠️ 不相容**：配置 `cpp.Alloc` 多一個欄位 `ro`（唯讀）：`cpp.alloc cells alive heap ro`，投影 `cpp.allocRo`。寫入的判斷（`cpp.derefB m p false`，即 `cpp.storeOk` 的條件）與 C 字串的 `cpp.cRoomB` 要求不是唯讀。自己建 `cpp.alloc` 的程式要補上最後一個引數（一般的配置是 `false`）。
+- 新增 `cpp.cstrLit`（`const char *p = "…"`：字面量自己的唯讀配置）；`cpp.strncmpC`、`cpp.strncpyC`、`cpp.strchrC`，與前置條件 `cpp.CStrND`（最多讀 n 個位元組）、`cpp.StrncpyD`。
+- **雜湊改變**：記憶體段（配置、`load`／`store`、指標、C 字串）的定義與用到它們的定理。
+
 ## 2026-10-10
 
 ### 檢查器

package/index.json

@@ -1,6 +1,6 @@
 {
   "cbfVersion": 24,
-  "checkerHash": "0a7b79f357629feb",
+  "checkerHash": "47832d6e908a8854",
   "defs": {
     "cpp.__RecordTag_cpp.IOS": {
       "merkle": "796edb43f4d0722b7fe3a28a440f5eb1b050ef4eafdc16cffc9f9bed220a8acd",
@@ -23,12 +23,12 @@
       "own": "9e2df223266ba029dd87772a9b018ff330a41074d3f9ada5f525d2138270cfe7"
     },
     "cpp.cpp.Alloc": {
-      "merkle": "5200e4f196e484fba6d0ab115c7a65c96778f4dc5549abbd72575dbd73668d13",
-      "own": "5e9fe902655d2bacd1e606030fdec79c1d5b175f7032af12cd77d843fcc95073"
+      "merkle": "df46177580c4bd209fa394dc9cc63a0a8c29276d27778b1016ea682e901e0343",
+      "own": "38e22f8cc19d6397dd57326252c227590e992016e54d83be379e1efb9bd1b197"
     },
     "cpp.cpp.Allocated": {
-      "merkle": "711f28a0277e66dca33861b88441766f8131dd6a7bf1b2e5a3fe430cd1e4e70b",
-      "own": "65b695a88e4b8ea8976c1abc97ee13c846842be123b2990dc6996e9a76e0df91"
+      "merkle": "82933629a55c103e92562d00ecdc3da7e6ef177b68d00573635c91feccb9005f",
+      "own": "ebb0cc1c3f293538edfa169a5fa8f3f591bc33e9b407362915e026856c318459"
     },
     "cpp.cpp.Approx": {
       "merkle": "f6625d29558ce87cc0d22ebb29013cca38492846913b5dc802d67f13e267d260",
@@ -47,12 +47,12 @@
       "own": "12b2ae9ff4d6424b28e8679baef313f72d272dc5891104e44596cad44ed99939"
     },
     "cpp.cpp.ByteAddOkD": {
-      "merkle": "14144bb88da78cf89df07a65b3bb914f6d61279c4fcc8c3b028bc565e87a4654",
-      "own": "006bd7f6eac8564d10baff11f09a6e235868e835166131564d66c3803a980724"
+      "merkle": "ac02c9185e0074b4abe68a30ffb2229357cbb6cf0b81c4b760fe0b4ed0d5cd90",
+      "own": "2f3fe42a2e13a1d87eb4e540c81c113ad0c6a7deeb0dbb7648693ffc0ba322be"
     },
     "cpp.cpp.ByteDerefOkD": {
-      "merkle": "0c94084f5ee843fe649056487f0d5dfaecb9394afa62982302859c736e0d607e",
-      "own": "d87122a01e37062ac90a9bd4bf6ca0e62a6ee78ca6b635caed5aaad2ac005d14"
+      "merkle": "0acde27f65cd177e583c054011d572b5a6a43ff6cb7affc0c52782dc53ce92c0",
+      "own": "b2ef7cabffe26773ddbb7449f6b7521721adc1e5a332a210c8056abf148e02ac"
     },
     "cpp.cpp.ByteIndexD": {
       "merkle": "4e36f6e2de536cd6fbdaf12c03b3b4e3ece13039a9f7ae903e47955f3fbf4a66",
@@ -71,8 +71,12 @@
       "own": "e788362b8a196670dc644c932fb993002d10d40e5af99d62f3e829fb87e75803"
     },
     "cpp.cpp.CStrD": {
-      "merkle": "fc6c80cab314cf6771fe05ffb00df616c3ed63be25afee773822c87e1c9fb60a",
-      "own": "c3cc8cda40f99daf4d03396da0e2e4ba7724f24a7bad4d5245f5d7ccaeeb7f94"
+      "merkle": "3111b538ff246a249edec4463ac113ffe2f7c0f729eaf1cc631b9f2c8afbdc3e",
+      "own": "fef5d6ad9b810c2067326ba7831d72fc804015505fb8e8cdc418059d31312ffd"
+    },
+    "cpp.cpp.CStrND": {
+      "merkle": "f40cee699754fd84726ebe4592e2462288dc8125c60225e8f22eb21b0e6c48c5",
+      "own": "14e085703d174b8dc62e30420f24f5bc4fc2231994b36e2bfe7b595f874c481d"
     },
     "cpp.cpp.Call": {
       "merkle": "89c2e7785a2892ce1bcb9809409d5a821b385cfdff8d133ea2f863b7e908842a",
@@ -91,16 +95,16 @@
       "own": "0c550bc24d373ca9c703b96efec0f059549f507e7c67e8cfe6b4298cd25c9dd3"
     },
     "cpp.cpp.DeleteOkD": {
-      "merkle": "8c3fce5ac104324c4cac3527dc97b2ffc4da75adb9ba44ebbd9429b595c82a8a",
-      "own": "a58ff5104f5826b775dc2333f2e8fd40b4fdd8cd8fe380cfc9d04693aa683675"
+      "merkle": "70932a6c797ea027d44728065c7aa9d59ee4d9c8803086d2b8a4e027ed085015",
+      "own": "caf8939a92a8a569097a6c1c09e81428e631959d9183b196400dc0a61f0dca6d"
     },
     "cpp.cpp.Deque": {
       "merkle": "3399c31d4c3a2aac7a8cf43e9048bc33f5c0cf61de6bbbbe8184505182e53dae",
       "own": "50d3ac8200f87ed551b55ab4a095b02302f47691325c666c765194ded87e860d"
     },
     "cpp.cpp.DerefOkD": {
-      "merkle": "71710401b491267505566755d399cd775c9c7392c79b055f9f3ae3833526a0be",
-      "own": "ec5cb06b69b843dd853ddf6234b63bf2113ce388471feaacdb3170cf23bb9cbc"
+      "merkle": "89915c86e57541a27e840580ee0d9f3ccf161bf0d8b967f15d71db03991ec491",
+      "own": "be47c41d0f1221db5f8c56bb3ab9f7be74ade51003855cf9d0a186251fa96282"
     },
     "cpp.cpp.DigN": {
       "merkle": "e310bc47e7cf557c834d7c25daee71cdd6d5e07042de037cc2c0a69f87a1df2f",
@@ -178,6 +182,18 @@
       "merkle": "08ec5eae1c1e3f1952ae378e32872de13153e585eae4223ffbabb2317682c2e9",
       "own": "ccf9540155526dbc07667337e554f3f1295d600f8ec757f5f3082f7cabb442c3"
     },
+    "cpp.cpp.GAlloc": {
+      "merkle": "edf752e305934a90c41befb2c37ac02e372edb7e3b22f184fdcb6c1fa0757f23",
+      "own": "31d8bed9fde15afc56a26c4b8f450652bf25fb3b2c59c2d565b99b546621bb09"
+    },
+    "cpp.cpp.GAllocated": {
+      "merkle": "72b1861d09c5e5267fb1171eca6ce9dc61e747b21e3e018485c87974ab3da0ef",
+      "own": "247eddd9f25e9d801e85ecb9fa6989a5cce2fd3cb075a41bb6ce694804d52223"
+    },
+    "cpp.cpp.GMem": {
+      "merkle": "d9911ff1a75bdb5ebb4e87aab5a3db9f57af0c13bdfc502b150f1f67dc676c86",
+      "own": "24a2a9edb879274a0a88a31007ff33f8591ee4dfd8d699a6bf032387397510c8"
+    },
     "cpp.cpp.HypFn": {
       "merkle": "7462de806d21637e219d6f5ef4f077aac4a34f942a2a42e48753d37f77c38891",
       "own": "48d00acc74a7a299381e8fe2d57475ec9ae90585c4971c00edd63a9958eb7097"
@@ -227,8 +243,8 @@
       "own": "4a1b77eaf27cf33adec81725368c24c0fc6fc11687da5f249f047c6f36c7fdda"
     },
     "cpp.cpp.IntToPtrOkD": {
-      "merkle": "d4efb2b2815ff72dffbe92cb3f0a0d6c44fd9d998731d2c7107aca46fe1af40f",
-      "own": "9dff3aa5c78fa9a7ab5e8e0e91c9669f9d640fa96b9b9a752c1eb71c3579a3c5"
+      "merkle": "8e7366cd5db5857bb24d2720c8882f9f14176b79b29e4a217d2ff9259294c41e",
+      "own": "06f75076572ebc8844814547e085c35d4e1610d999129e747bd24a5151d3da73"
     },
     "cpp.cpp.It": {
       "merkle": "216814f47592ceaa8458a31a67cf148b19543f40ab1e23c45c2f8c0932e0f063",
@@ -271,8 +287,8 @@
       "own": "baecd2b1d215aac9d493f6a42063b7d32955ef21866456236351def3990de618"
     },
     "cpp.cpp.Mem": {
-      "merkle": "69ee8c8be40eb5f1485026e3ba18c33984dede24a6b4b674578a8897ec1d7ba2",
-      "own": "aaa943cad1993d3515f2ee6160c8810a06c0e6589aae02d73487b9a841c9615e"
+      "merkle": "b8135ea41e2b7ad2e786840ad8e4b4e9c71eafe2bfe21b1c37a10b59b421b34a",
+      "own": "f4fe7d74d3fe367a623acdf59e46a70d6ec5047cf3b4dd08fb15b41a6d6addf2"
     },
     "cpp.cpp.NonEmptyD": {
       "merkle": "0970fb617811ad8f0cb9dd1c2c87afa294cb707cdce6aba6063fc02863aa6a0b",
@@ -315,8 +331,8 @@
       "own": "02e03002eae92ce02d327201ae40b40dcd1d40e423e4dc86be9366883911ed04"
     },
     "cpp.cpp.PtrAddOkD": {
-      "merkle": "97ba07ca8a70fe7ea9d0c0bb9c2656521a5ef543e65e5a071c7f647486390457",
-      "own": "3ed7f89aebff1de18dc9957255a185f57053f45ce02904deca02ea3117971a28"
+      "merkle": "cb1bb99c93dfd10101f7145a15a0583a41683d12bc1fc417f18ff6b3a1c75fb6",
+      "own": "f42e29b5eaf1b33b304bb233f180f43a193e17a1940f65cefd3a85511e63cfb5"
     },
     "cpp.cpp.PtrIntOkD": {
       "merkle": "11f0cdab3c1b536ecae82ee41dfd0489267dded37d11e8398719c22f83cb0559",
@@ -435,8 +451,8 @@
       "own": "5af2aa6102ffc48080aecb9e3197c71b8d5f67808e2041b1a608ddfd35c7bf3a"
     },
     "cpp.cpp.StoreOkD": {
-      "merkle": "6212b30efc1696a33e8dbe63993ae2fa9eb373db68ccc994bb19a133ebbe201c",
-      "own": "ec4a249cda2698bd043d79c14df939395c4222528ed38914976e468128d467c3"
+      "merkle": "c732d340dcccd97b6d7b65429e6542a1bd998d28228e88746262d82a18867089",
+      "own": "0c07383712cf05f63cee1e8cf6cf080140dee7d90bbaceefc2a3cec97f1c0ef0"
     },
     "cpp.cpp.StrNonEmptyD": {
       "merkle": "27033a89795a51cdb62f35becd67a65249f7e6cc7ba162d66d1318145d95e7f7",
@@ -459,12 +475,16 @@
       "own": "6be75095171865c78f4d47288c66d3f5a81dab2bdef5601bc875ab5eb4627d54"
     },
     "cpp.cpp.StrcatD": {
-      "merkle": "75b2c77d3b6a52d43367096b0c5a8cafd84cf91e8cebd757d5b9642f8c8de945",
-      "own": "29afbd70d48c23baa839fe23f3ba7d1f589e9713800f53138a95740fd7bf1d6a"
+      "merkle": "dcd0ce96d30941eb6f6d9d31b8619450b6b17fcda0fcd3d064171eeafc2cf781",
+      "own": "d4436cdc7b431ad925afb3d14aeba8b9b7237b6916709a2022e97a6b401f46a2"
     },
     "cpp.cpp.StrcpyD": {
-      "merkle": "33acbd465cc9aacf8df84a12c35e7c87a009da1879ca7df33ebf078ae27dfaf8",
-      "own": "5159e276907bb08c1c87be8bd019af7dbf715de2d9ccb1ab1e29e3743a1a8472"
+      "merkle": "8e1a019e76888446dcb1d5b49c6caa5b579f4e2f6d150322df6a129b61b7ad0a",
+      "own": "82800d1b866e036335c6d2f90a3004f2bfd98c7e875d90cfb094c16d4d7f7fdb"
+    },
+    "cpp.cpp.StrncpyD": {
+      "merkle": "f6a6711065fb30949d504d0060d2a6190fbabb47120238bb32ee64e1d3f28784",
+      "own": "56f10a85a7529f0c311dcda62663c94b8d7268a86b74e6c8521942bd759b6ae6"
     },
     "cpp.cpp.SumN": {
       "merkle": "71de94d183e70b7029c563aac07805833c4680051b9f89e371e2ccb48260b355",
@@ -511,12 +531,12 @@
       "own": "55dddb329fadc10e4692da25f18529b86b928e6a432a2b129e5fe13520365118"
     },
     "cpp.cpp.addAlloc": {
-      "merkle": "1331ea898a372a78c2efba3ae404b01e83743407582d9acc113fddca846f9afa",
-      "own": "e88467b550e013f24ae830230dbf24d19d53952516758e000d85c49ff1d3eb41"
+      "merkle": "c57157d3a08c53fa187dbc708057ea3ad1078a746a1e4f5702a95a090846f38d",
+      "own": "aed5c7c1280f95af4521cd5c54494fc5f6c6a89540485e7b06c195b415c91471"
     },
     "cpp.cpp.addB": {
-      "merkle": "e0dcd0da6ce9effe06a3af63ccc89d4e583ed594945f21e583be0f0ba243f456",
-      "own": "cf73f5b22ae5d2cb7be9fe5329138479e2a6f3f4e694bdb6de11859b78e9cca8"
+      "merkle": "c92a2bfdae423889d167bc27d9852d5f24fb428cba0383c6ca0b3e6b0314da01",
+      "own": "535fdacf1868fbcc6f136603d3fca9815f0b12aa6e38b0cef2f517f843869843"
     },
     "cpp.cpp.addFF": {
       "merkle": "ad00535f2f83b486902422bda3f8a8abc48ed8abe3c27b89d905967f4200f842",
@@ -551,8 +571,8 @@
       "own": "e92c121270518cf902c4d0a28fb93947538549291980151c452c4e912d09fa07"
     },
     "cpp.cpp.addrOf": {
-      "merkle": "4bec863e9d687af50477a66f6ddf53ad9700d9165c722b9f70dedeeeb0b8780e",
-      "own": "b0d44509d3ddc24e3eb99aa585e4227c65e1f8eb11b8b5ca412efe3d57e4c7fe"
+      "merkle": "716e56652c1624401556c90e47bef62c8b3de9b48e60c4e149b4305508edc95e",
+      "own": "8a464cb8b43aff3425d89272fedff0befcfe712db5e962fdb69f5051670597d3"
     },
     "cpp.cpp.addrOfPtr": {
       "merkle": "2797de816974335e84ea5174aeede30c6a184340b47b48ac19d6b39bf4db6e90",
@@ -579,20 +599,24 @@
       "own": "8a6a225045c57a5bcb022f5a73a9132c208f408a3702f3d23cecd14786b18695"
     },
     "cpp.cpp.allocAlive": {
-      "merkle": "a5f75a4df90835afde4b5bf4969fd11fa3b942475298fbc52bdcdd6f076bef4a",
-      "own": "aca1e5e1bc914adf28d1072724dd68b7ec76ecd99c6087e8792ec07a427e1335"
+      "merkle": "e9ca02509f9a56bcb04162f6e6ac0e353b567295f0dbb8be07c50cfce7903566",
+      "own": "d57c84ed6c1ef66cda9b93f206b4d99e7e7941d6d30dfaf5de2f77cdf25337d5"
     },
     "cpp.cpp.allocCells": {
-      "merkle": "baa8098f815cf582e13f18dcbb2e8ac8cde543358ae910141d3f01b247fc3461",
-      "own": "f0ca8d780f37a3d784b3a651f309345e8369f8a9c5f4c3e38df8a54d811e1bf7"
+      "merkle": "d0e6d46c36aa70d6da253a12ec87428968cfd5aa761ca26dc76980ae9b336352",
+      "own": "d4e108904190e04fa5ed90c845dff9c995d1fbfd020377fadb1d2298ba4adf2b"
     },
     "cpp.cpp.allocHeap": {
-      "merkle": "93e9560e514fb558ff693b0d67e5d4264112c09456cae09507b6e393934d41fe",
-      "own": "f3304c6e384aa12943e02d33c8c008a8d6f16461f4d02f979d1f2099d2d9fa95"
+      "merkle": "2161951baca130b40f93f5beefa4ba61a884f3071217184d624a16324ab0cdec",
+      "own": "cd648541ab4a9411978d59cb88fef529a481e08d000f3eb09b7c54e553fc4084"
+    },
+    "cpp.cpp.allocRo": {
+      "merkle": "2f90a06b2fd7b68c88eb9d0c5eeb0a023631459d52e39ed4d92b52a763c50d83",
+      "own": "7dd42d86b78c2b4d87d519735865a58bb0c6a35370b34e95239796541c9cc7e8"
     },
     "cpp.cpp.amem": {
-      "merkle": "69c53bc1e46e4eab5ae9170ca0d72d791547aaa88246e409640d9a7fbdd5a823",
-      "own": "89455e10bff29eea71960112cc8a77d861394efb5f9140c184fb71ccf5c853b2"
+      "merkle": "aa7750f02c2d31c65ee0ace658707140625ddbbfe52012ff686971cbf6daba56",
+      "own": "be8cf344cfcf8f67e3238f04965ee06ba9fd68bedb95aec8ca3a9bb89b70d7c6"
     },
     "cpp.cpp.andFalse": {
       "merkle": "678cdc68caccb5e92105c259e8bd96bc6694c6810e3957c97d15ce3378d305bb",
@@ -615,8 +639,8 @@
       "own": "550ff2d2dac6227ac263dc29edcc352fc66146834609a8dee43c6254d82982b6"
     },
     "cpp.cpp.aptr": {
-      "merkle": "6af1f376222d976e140526acaedb39cf2e004ad9300608328bd4670494a8a043",
-      "own": "c19507409ca24788c68322ab50dc6cafa8dafe60e8b1371f47f6f8904ecc36a9"
+      "merkle": "d9bb8683426a67f28697c9f002cf5a79c2960ec8927ec45af72b0cd37d1831de",
+      "own": "503fa8c2960e791123808d4fca9f6b0db26c847e4f17c54953097d421c8c418a"
     },
     "cpp.cpp.arithT": {
       "merkle": "f761bb63ebd69ec287aee0ae7c8fdf7543a5f488ab093f66e4a5b8e9f34b0c65",
@@ -787,8 +811,8 @@
       "own": "d70daba208dda37266f7355b7578b36c4189a8971b6b86e213d1971cb789cb83"
     },
     "cpp.cpp.blockOf": {
-      "merkle": "dab3e3c2ab0f69959e76aceb5ec81c1c1cc39ace2fed17418e6a993ceff71efd",
-      "own": "1550b31bb72e538b9b7801276b2b6fcada4355a247343b8f452108db4a83ba55"
+      "merkle": "63219d46ac2247e578ae19a06335740a4aa22afef84e9f6dc24bf1ada6771ae0",
+      "own": "37b1e48eb3aa3694e2c98ab9956d9f54161aa6621a423ee2416f1a1ed3760ecb"
     },
     "cpp.cpp.boolCode": {
       "merkle": "09e45afde7627039cd7bb53ec6bcb049615f9a450e94030c2fd30ab0e0c3f62d",
@@ -819,24 +843,28 @@
       "own": "ba22d1112a201db549922f6271db1737d54acacb57da8298d27f843db24f289b"
     },
     "cpp.cpp.byteAdd": {
-      "merkle": "564626a1debc325cdbefd1941c21b723250fa56663f6567d186b719315711698",
-      "own": "b4fdbee2374054b66d47fb379d57aa2af902507e9da835414dc0795abfa51a44"
+      "merkle": "916d0d77547015ace123c3019d878a82db7755ca117e2f5abc97f3e4db274e20",
+      "own": "4f5c8f4e909c22a94b0061dd49f61f8bd9cdfd0ed510194e23d35060c8a82d7b"
     },
     "cpp.cpp.byteAddB": {
-      "merkle": "948baa234ab2b2175935f556627ded7a6ab2cc0480c26466f4866b06745c71d2",
-      "own": "f4322de9249dca20a7a7504789d0692d4f8953da3673feedd611d27baa462076"
+      "merkle": "982537dc0e1c2554a98be246965b57c5f6d7913492a09743e665e5ec6c7165f6",
+      "own": "6417ad07e373fde41e98c5594b21f8a4acf0da763f3697ff65c34d06566f109d"
     },
     "cpp.cpp.byteAt": {
       "merkle": "980c030fd4eacaaedf9092638df31a5c3b86935b6c10d3766e7c594585b310e0",
       "own": "d516b27adcfbc871fb067d6c579da8b2843c0145daa20aafe544abf5e6bbdc64"
     },
     "cpp.cpp.byteDerefB": {
-      "merkle": "66fb9c62aa912528b67128bdf5d217cfc959e4e9fd8b37a15a47c2f13526f7bd",
-      "own": "2cda37798c485e658b91a01b181a834b74f97892b6f25df4fac6618820cbdeb6"
+      "merkle": "c3fa77197889e724469938e48ac54a2ddb12f252fff41db24b61cf9c1a9fa030",
+      "own": "6ac201b2b9b9e6008871d542c495998d51f73d72cc54def4f018d3906c7fd769"
+    },
+    "cpp.cpp.byteIdx": {
+      "merkle": "327ed36ce701faf2f8bfba0943833bfc2da46495a6ec50fe46c221b23b6637dd",
+      "own": "c83beaf4adf82f396c7ad574bb2babb88b354ffeeab9505d40e336793b772b4a"
     },
     "cpp.cpp.byteLoad": {
-      "merkle": "91666ac22646b6404c1a28784ea416353a75ae087088da724881cb216218eba0",
-      "own": "6ec820a11b442e08f0b773589d94b1e1f85e5a2ed321d172cd65bec6e94e2335"
+      "merkle": "ce09f2aa78f217969a853c96ec8b596f415c0c8d37824f1cd788a9aa2c58b52c",
+      "own": "d7782ed0921fd766e2f06106b8e2398294e2b80936edb2dc3c6d73a86b3c16c4"
     },
     "cpp.cpp.byteOf": {
       "merkle": "89e769a3887d4dd0ee312a987f6d228c3b74510934ccad4abe4566b423cac174",
@@ -855,8 +883,8 @@
       "own": "9756f4b499dc4f7c3ad1e7f73ea9db463d0f75cc1e233f57679c26db0ce214df"
     },
     "cpp.cpp.byteStore": {
-      "merkle": "b000f6fb31c79f66684f3e929372159f54bf4c6e642a3c4ce7421f2ff86511f7",
-      "own": "7c317832e512218a427e3fa8dc3e549e91af949e808534cea8653a40176fba13"
+      "merkle": "eeb8d2a078900eb29b7b97d0a86e842b6ceb250d586a28f3493afb7897093afa",
+      "own": "ea763c01c56feaf4ea361692436b77283bc194ca0d5a60b73334e0f137ac2584"
     },
     "cpp.cpp.bytesEq": {
       "merkle": "0e61c1ae893b7bcc67f4020fcae57b30c58545914703e0bad5eee86df9ade39c",
@@ -886,9 +914,13 @@
       "merkle": "a22cc2d3d10f062e67c439a518b11e329ba4de965e19f506bc7679d95f283a96",
       "own": "722d5ddcc1c51625f840816e44dbf9b0bac598faa00f3987800d159dacee8ff2"
     },
+    "cpp.cpp.cBytesN": {
+      "merkle": "6a23595bb51caf736e41256df9a76972a108aae40426fe27ee5d4705d1c540f6",
+      "own": "37b6c2153770d591fa0a2b42ae4f9afa07eed0047f88d9183b4d9bd943c16858"
+    },
     "cpp.cpp.cRoomB": {
-      "merkle": "0f1e17906c5d00654f806e99835e1b4978ad3b9974e61d1daf36614b4a2fbf19",
-      "own": "7ae028abde0b894abddeafbcc36e01cc2876db2c6bde6e4a65ef543277a09e83"
+      "merkle": "cbc9e214a82c9ce7d053d70d0d2c11381b7e8760fd5cd1affaa35d36a9cdab18",
+      "own": "c66cd80604ef3313c99170870650e4c72b52d5617ed66b605793184135862a7e"
     },
     "cpp.cpp.callAfter": {
       "merkle": "584f5b53f7c76240b9f2054041abed96932c136262531a712b5b8366540cef8b",
@@ -1063,8 +1095,8 @@
       "own": "7c3f50f276da1747bd0cd579ea30272eb467198725d7f8bbe29d1c95732a8dd1"
     },
     "cpp.cpp.coutCStr": {
-      "merkle": "eb71bd40c40d3589362fb050d5a9aae50d878e9ddeed97c848929b829395ead5",
-      "own": "00bc4787a8742841e3fd243c829e4be95315be519932792674423394f8fae8ab"
+      "merkle": "77dbe6cb613414cf3077829ebda19c30d7618e6808d1703b148d6150de963fce",
+      "own": "9125a345c0713b00456c0183a1b3c053e01be0502f4073088cf58d5c28598f83"
     },
     "cpp.cpp.coutF": {
       "merkle": "7935e449e557033821c942297b019d886559d69da38aeb74a927a6774463495f",
@@ -1111,16 +1143,28 @@
       "own": "42fa3cc397d63e2b6a3dcf5fba98931141ef0c50c9d73d1ed94c7b2e61b9bdbc"
     },
     "cpp.cpp.cstrArr": {
-      "merkle": "2ee6e98d765a3700c8e7e1672c1eea509e46b05cbdc9fc40f7308c2578ed18b7",
-      "own": "24363b0ada7a8b5061dd0ac2b87ee634a34a17c36b3a049df61f449c175ae255"
+      "merkle": "a6ca568f8f5357407addf004cbab0c897d25fce9079231842763dc8d73d8f1fc",
+      "own": "989be2cdc903d6a36e43a6019cfd0ba3e17258a0e468ffca68db9844bbd8ccd3"
     },
     "cpp.cpp.cstrAt": {
-      "merkle": "bf275508e6705247cdfabc746b6635291b4dd4e570c13cef99f2e3d6ae7b8e83",
-      "own": "483af57c76f3f45427b6ff0b9f9e67b14e6898dab96122ffc636709e6ec46bce"
+      "merkle": "fb8fa33146d9e3c8884a0f75b418245f83f938637dfd988ca6c38c6499661b29",
+      "own": "0d1f7014ff588f58e3c9bbfd7796d9964f802e9b0843375d2c072abeb1b0210f"
+    },
+    "cpp.cpp.cstrAtN": {
+      "merkle": "eceba5881193b9206ba5ec764010cc9758ab76103978f368f553bdcfa7fb2388",
+      "own": "9cb0903d15421715036f2414a6d8d15a154205cbf240adf9563c767c6f3af0c3"
+    },
+    "cpp.cpp.cstrLit": {
+      "merkle": "5a0fb00d2e183d2d0e0e256713e2967f9356734b3b432149587e868aa13cad0c",
+      "own": "069b8842b93aca4d4b190a0e02989d0ccdad872a8f45dddb9427157fa7dc88b8"
     },
     "cpp.cpp.cstrOf": {
-      "merkle": "4dcc21c2b33aa36ed19d05061a1dfe59d37d236ea4bd2eea0580afe4cbf98741",
-      "own": "f34c7be1e80bad3d5071a89ef6369c0a79e1dd821e067e03d006790aaf94cef4"
+      "merkle": "456246d208bd6a4b0eca3433e6b93a9e5843cbf2d15c83b966d3af2c629d05f2",
+      "own": "ed9f6fe49c127d5d7cbbb71234d106a93b3075eb074faeaf45023aa5ce3b0fb5"
+    },
+    "cpp.cpp.cstrOfN": {
+      "merkle": "ce8a475788414eec672edcc233ab20778a956ef8316f8fa7e7b58daac661f884",
+      "own": "764eafeb0ddec3a7f8bfebba0fe0e4262f2a0dbdd68d3608c77fc0896dc49050"
     },
     "cpp.cpp.cv": {
       "merkle": "983dfb65a5f494c1de3fa18246487c8818d1a9c4ad572017d87974c018c71243",
@@ -1131,12 +1175,12 @@
       "own": "4cffc2a83298fb2ce4191abcd5434ca514fa1f9917fa5904115f5d4631b5b4f5"
     },
     "cpp.cpp.deadDeleteAt": {
-      "merkle": "748b7555a84a99065aa1bd0dd49e8aa199c659f3d4a1ff30117b0826d39016b6",
-      "own": "f613a6acda6dfdc8755a991e78bd625eb7b7588c5d158d464b58bf82901a3c4d"
+      "merkle": "52c44f2137c811eb461a524cbabe49ccfb3222e242d404de4d261200b08ef374",
+      "own": "4a315706c9c1802c8708b8b1267d496d0ba6fa36615962ae4bd587513f66bbfe"
     },
     "cpp.cpp.deadDerefAt": {
-      "merkle": "1d04fb3af44e8b0de3ea8de4f4df86678b56659646135aaf9184843990ea2d1a",
-      "own": "81ae6e7fcf879c12e00180b7712c7103874f00345f5bf79ed2eadf93a2d92f5d"
+      "merkle": "a4d43d83990f5e0064a5d0f396b960169084d31383dabbddc184e289cfec586a",
+      "own": "9fa7ad4e45d206e66142422c16ab3e72ae5dc4cff889c2c4154eea0a8059531c"
     },
     "cpp.cpp.decNum": {
       "merkle": "db92ba9d7c874981cafa7dd14e093cbe2996a1d550275fed197356edfe94d2a2",
@@ -1151,8 +1195,8 @@
       "own": "c6f18652f306cb14876464d452d9455fda26c38e9062d2f4578b3ed925ea7c15"
     },
     "cpp.cpp.declArr": {
-      "merkle": "3eaf2a3dbc7bfbd33d731370e613d0a87edb0d646cb9f61de6b31cf19d703a2a",
-      "own": "112d742acfee5acee5f0d79410421c27c6d743dd21a6eeff02b6152b08ad0ce4"
+      "merkle": "2b2482913d799eddb81a23bb00fa13a11c215765d4ac68ca78ff28e9956fc59e",
+      "own": "40ea1faf2131bd61f16f6a8e88f6256fe1720f41e43be95d604d5834d4754a78"
     },
     "cpp.cpp.decodeV": {
       "merkle": "15729f9015ab8666902bb09f04c53b477d94d24ac2d5abe0d12a468c5e56464c",
@@ -1163,16 +1207,16 @@
       "own": "13efd28162f09386b7e473930e67dcc5ede3832b823a40b7b69cdb142763083a"
     },
     "cpp.cpp.delete": {
-      "merkle": "c3d09313994355fe2c38faa2d502d2e05e7ee2f83d3ea6026849a8b84b273ad0",
-      "own": "453bc32883bcdf3f3c1eea31439b7b299f242001c2da9a84b3591876a801b6e8"
+      "merkle": "9bccfcf792d1db28a8e183f76ae21b473abcc00e3204eb6bc5c26b8d26096e92",
+      "own": "20de3eed47abf11ae203dc7299b907ab6e531bcb63a49a6671d20fb82758131c"
     },
     "cpp.cpp.deleteB": {
-      "merkle": "ddfd4b398a268ba377ccb626fb901bcff3c0590b20448f9ffd4a3c89ba77a404",
-      "own": "cf799543eef6f49eda118360c71ab15a720df1843681880c304e3003f04ab69f"
+      "merkle": "352baa3ec4a7efa89ea4aa7f508c224c83ed435bedbbc32a6cb626e9556c16f0",
+      "own": "88afaa7be0c8a3267ba225988d09c5260db48665896b73ed2e538e78f487cedf"
     },
     "cpp.cpp.deleteTwice": {
-      "merkle": "1e06a015a770e5afe2f502d81896e6c4889b33f2e5fcac190c956aa049d69b5d",
-      "own": "5698547a1287d6fd795e0ee6d928fbd4d88735cce713cc47cd15649abdfcf4a0"
+      "merkle": "b079caf76137dcd0abc06cfbdb196e55891b9dd65ce090a68458a4bc8046d1a2",
+      "own": "85a3fe0ca239f2c1ac774bc71642c11825fd1ddaa366d6b23f772280bae3b85f"
     },
     "cpp.cpp.denote": {
       "merkle": "509595cc82204a3267b85d26ec96bdaa5d668f9ce2ccac33d916b1da3997740f",
@@ -1187,16 +1231,16 @@
       "own": "0d57e5452cca2555a75c0b6de8990b2b4c7b11e5a0ba3cb35a20f6d8aa912e9a"
     },
     "cpp.cpp.derefAfterDelete": {
-      "merkle": "60352be8fa9c14b6a13fcba0af510affd6646bc141978384f4c41fd7364fba67",
-      "own": "c80830ca671e316deca37d5d68d1a23340404579b27982d339d73ee3edff6c69"
+      "merkle": "5f2c227792a8bb452a0842727ce7f9c04ee7e285c021e21e6ba782a1d251a66a",
+      "own": "f5b2c28cd1b2334053d74d24882f231bfa48d35cd9b8b82e2b88d8e4514553d7"
     },
     "cpp.cpp.derefAfterScope": {
-      "merkle": "ff9295b6c335d7de2b39235056bd31321faf95c5fc3181968b3ab3b96f455de3",
-      "own": "3e538a8c369f25eb424714242816c692e32d1d419b25311c8377c9d20e4b725c"
+      "merkle": "f6b33ff84cb3eff6e9b47313fe99827e1c58cab126d4e0592453a0f5c91d6a67",
+      "own": "0df46e2e878948bb1ecb02f30f7305b5c206d5271c6c214610e2c83a553fba92"
     },
     "cpp.cpp.derefB": {
-      "merkle": "41c431e3fbc2449b64ae06f9b7c3cfcadeb0202a2873387d8e46e8c12b496305",
-      "own": "59f474be83b27227473a4adb4ecb73db5dcbc78a7d6c71c4bd291ae596318169"
+      "merkle": "172dbfc4b20a20957a76811d6b850d7ba4862e981f4b7dbb0598763b8e695b00",
+      "own": "3be6d09459a11e049d21eab57935227118fa0f748fd1c347d6518560a1365fe2"
     },
     "cpp.cpp.digitB": {
       "merkle": "c8d7d3da2ee6f0732c19d45a76c8394d3ad1c9fee89e891733938be138e8c9e3",
@@ -1347,8 +1391,8 @@
       "own": "2e14303c688d4e4d3675487454dbced9d2d60a9c8ad7d9911054ede5899e01a9"
     },
     "cpp.cpp.endScope": {
-      "merkle": "7fa479204560a1ea5c8ff24e5a26010de4794dd7c2f89aafe51f2e05111ecb30",
-      "own": "35b132078e8bde58c2625eab9ffb32e7ff02ea71241883f708db331e144c0628"
+      "merkle": "51ae6ee30dcf655634b93e84bc04961d860f7497794efaa9f904a4eae168dd42",
+      "own": "adc0eabb162e0e3604911eaa8b3a3efcc43603f1e559644d6b66276533ffc58e"
     },
     "cpp.cpp.endl": {
       "merkle": "51f7d6a81e3616d36c44516d5fc23933b5b7d62b78cacc96b8570d9acc589467",
@@ -2114,6 +2158,10 @@
       "merkle": "cb8dcd2fca9b55164460c73a582fec023846bbfcafdcd2cceba04802f1eb584b",
       "own": "eaf5cf1e6fbc7e971dc5bd45671aeda0b4a914b9ecf529cac0262d8b7ef178e6"
     },
+    "cpp.cpp.gmemNew": {
+      "merkle": "e6848b17d9759ec1b05213c32f550e2b43e0fbf8b3a55a2cac2ea0db5b199be9",
+      "own": "37178fec1d2016505d219fc61018aa9fe7ee88be08b09e9bc6c357d43b792bc8"
+    },
     "cpp.cpp.gtV": {
       "merkle": "3ad5c904935d49df91e235697f84b5563ba634eccff66aeb66b8f951313eec6a",
       "own": "4779c91e99221bd21d48b9e870556716321f29053bf5b78435c41ff74621c8c3"
@@ -2235,12 +2283,12 @@
       "own": "740633029d9481598e5ab43fbf298fe8fbc702a5c64fd4aae0c4f54b332b906e"
     },
     "cpp.cpp.intToPtr": {
-      "merkle": "400d8cf908a5500d568f0a9926644811b1d46b407f921a3f3dfae9ca5ebf95c6",
-      "own": "75d974e8548ac04aa5ae56ece35fcd204137bd18d0d4ed0f0b8e0baaabea4b83"
+      "merkle": "199856e152e2069c102614208efd71c04e9246cf73fe70e947ec841ceaeaaaf4",
+      "own": "0bef18b2e6ea13b711248f97bf8e9e592b271fb0ce4b57f9cd28e977218c3fae"
     },
     "cpp.cpp.intToPtrB": {
-      "merkle": "d034e4479c904057d643753750203316a87eced2030c66cbd0b6f476a87aa316",
-      "own": "c075dbb7941a29f61fdf40782f52aec15ccb1cc8862ff295ae65dbb6941e15a6"
+      "merkle": "65bf9cfc164b450c4ea91f71ce79fbe6ac626a68ff13ae1afe3da6fc0603cac7",
+      "own": "02a1beebe9bf43908fa3ebbdda147b6dab93ef5e0ece279e932507091e305fd4"
     },
     "cpp.cpp.intTri": {
       "merkle": "e03e1732ae04600ec5ab0b82ce85b43ab102f22ba2cbf8759588870b76eecc39",
@@ -2519,44 +2567,48 @@
       "own": "0a48873899fa65a0ce410139e7e5374bfbfbdde84a3b302d42dbda591b90ac62"
     },
     "cpp.cpp.load": {
-      "merkle": "a4f3313431ac77cba5cf44fdfc820ee155f890b9ee7fc819c61e4367e0e93ff9",
-      "own": "f05894761eb06cd4991d06f474269492a3298e743b46e97ba71505e6211ecf7f"
+      "merkle": "4b20e1a19356ee3f6547f3377b4f49951b0f42b961b92d411fb9f02ce7341f6f",
+      "own": "5e55eb1d195391c9e56b01fc2b328e5572774c52341b654e4669db992fbd1c7d"
     },
     "cpp.cpp.loadAddrOf": {
-      "merkle": "be8942561f66675f5292d6371d4003abc2a423e65bb844b16bdc425cdcff1f19",
-      "own": "2a85822b297ab180092713edae285e30235ceede80fe78cfd52324839c78d4f0"
+      "merkle": "880bc42a557b3e9e629d581b54628cf52e4426212b2d2e11ab0b39eaeaa62c7e",
+      "own": "0f3af40216eaf615093c3b67b564f55a98c630ef0b0c536265df8088adaeb129"
     },
     "cpp.cpp.loadAt": {
-      "merkle": "c61ad19f1d0db07de2bb91dd7d7ed0889d4186fb592d82ec75a69bc8dddfb281",
-      "own": "a82c3c3247e649f483dd03385723563a507df818351d278669bed6e1fd0f5f05"
+      "merkle": "c9eafe0f08181999329ed403a4a95e28789d84912006d9e7ba819dd8bc11fa9c",
+      "own": "0e2d2ee0cbaa3f7e2612a709c56846c1b69b3b2195005efec3d43b2126edeea4"
+    },
+    "cpp.cpp.loadD": {
+      "merkle": "7ce269d81f71ffc6ac77a1a71e9e34c14eff154ec0b5e532c0326f0bf53a07d1",
+      "own": "978da667ef45590a06fb376753a1e644f2acd2aef10e4a09704d7c6b3013d0f7"
     },
     "cpp.cpp.loadDeleteOther": {
-      "merkle": "e10445694e449ada3b7fc3ef25a0c99fc5059e98e930aa7c2098a3c97729de95",
-      "own": "1105b8f1abf4f14d6b9a021e00116d4114869b7ecab89d785a3ebbe99a5edba2"
+      "merkle": "b5a22638377d777d7577930842aa98248e635206493258233e7540033ce8ba15",
+      "own": "dcb34e93d6c1e8bc61457c81beed9ee497d1c4af67f5ec69d33847ca6de10f49"
     },
     "cpp.cpp.loadNewObj": {
-      "merkle": "ace75c6f511d3b3307d8ad7c4ca6dbf0c5b9c1fab31d8068cab81f052ea05248",
-      "own": "ac928e0a3f06ff850a6b3fa5bcca4b51323b8fc4144a254747d0b0ce8f919554"
+      "merkle": "70b9721fb82880c86c020e54522b3bf9c2d332b5ef61a0d043739c04e597a811",
+      "own": "265703ebdd73c697edb040d1b5dee9b41017c88cd788615edebaf39eb5cc41a9"
     },
     "cpp.cpp.loadStore": {
-      "merkle": "c2d6fb310e2877f48c78c5ec684c3252604d563d0cd426001cef7faf79179daf",
-      "own": "5612b11efaca5a58c82547ed73b0026b97bf643cb6482eb055293226aa653e95"
+      "merkle": "f5516cd2849a9ad92ca429d8c6e5b7e1a4dce6ee60abeb8815974ec44caf5366",
+      "own": "e75aa446c46169c326c6b4b4c405e69a41705e107efdd5f8f31e0cee264d87c5"
     },
     "cpp.cpp.loadStoreAt": {
-      "merkle": "3293215ccd46871024f6d864632b39cccc362e03e306f888243aaa1a42d68f2f",
-      "own": "0256832e32d50d95ea3fed7cd1075b80b2c9a3c5064086fb79cf09ade984e3c6"
+      "merkle": "77c375170d17316f0f4124b8d159506dbdda87f781450e7eec645bced89fc950",
+      "own": "953e46d368bf4540c807ac611b6a7e66dae08f413c1a2a0f0abcd8356d6c850e"
     },
     "cpp.cpp.loadStoreCellAt": {
-      "merkle": "7c901b492bb1411af71ab9eb776b0435a2c2801ce2c71a36e9130b21e7bb6868",
-      "own": "b959d06912a6555418b02f721fa603dcfeea4bb61668710ae00b1e209cac784f"
+      "merkle": "856d5501646d36d3d998dc95cb4125406793df5ec2e1f0bf7a47360e345e9d11",
+      "own": "42358821473e81f9513015c57fd895b6ebd146d670bc37fe592274a855127296"
     },
     "cpp.cpp.loadStoreOtherBlock": {
-      "merkle": "48782f6dea4f3c3dbad0d96d2bd297b049fb911ac3ef0aca92e1301c3b5a6eb9",
-      "own": "cd6290f8859d0f24511083acdfd4541ae9e77cfdd115e86f552d5b4916ccb863"
+      "merkle": "d32ff7081f8a2aefbea39743c276ee0a2d96a9e4aeabcb3a864a7bd33193be84",
+      "own": "5dcb79f0bd93f9d906b3b53701bdaf3e9b9de05f592f97490e16af9506024738"
     },
     "cpp.cpp.loadStoreOtherCell": {
-      "merkle": "7d05f939341e1a3277756be1819e456f67d5ecb8157cbf7684790851dbd3c46f",
-      "own": "2179ea143c415527a5bb090f5ba0ad0b601702beeb36386355d27d5ca871488c"
+      "merkle": "4fb1db3ed4fce3450e8f3c806673e4d82fa6492050aac89037532a0d41312666",
+      "own": "dfeed364856cf65f14a2cca97b04cc8f1da2d1e47917a903d7086f5f0d74c21d"
     },
     "cpp.cpp.log1pTry": {
       "merkle": "9d70f812e2e620401a0ca891d39ccef2897521ac260e251faddba1a32caef3cb",
@@ -2799,16 +2851,16 @@
       "own": "794419d13eb30c650e03e3db1eac5afb8f2bba6c9c86a2b9374b946f5a56b95d"
     },
     "cpp.cpp.memAllocs": {
-      "merkle": "8a89ddb4f685424d12ed6d9c97340bfb82b42d1dc5de42270ee49e6d2ead0b38",
-      "own": "122bd86045946dc4957e5ab007e0e2dea3432b27ff054d41a067fa6b16dcc8f9"
+      "merkle": "4efaf460f491834739cb418920d96173d602fd20e312cc0b007636e35e8524a5",
+      "own": "a84885fc841248120fe2ff5c626824712bb64edcca4f847b045890060b8a77a5"
     },
     "cpp.cpp.memN": {
       "merkle": "2eb7a8c924cbc7876cf4f5a7768bc25cbc9302b1075c808acd1d75bd7aa777b0",
       "own": "a824186e13d96e26bddee1cacda4cd2b122edcf52c77c50e55ff9de18ad14d04"
     },
     "cpp.cpp.memNew": {
-      "merkle": "79d5bca0dd88261a299908f10a2c14a29bcb13961c1b99d76fdb7d5848b07a3f",
-      "own": "4709635877b49ccbf27705340916d69ce0ad7361e1bc3436f0d6b4a045a26d91"
+      "merkle": "ae008071b98c78a3780db9f53edd34c01d969e2b6a762edbb8ae896c4bcf9e84",
+      "own": "2674e91f2d7be65a9821113a800e8c22cb6bafa3e87d6ec9ae838b084ba6b1e1"
     },
     "cpp.cpp.memV": {
       "merkle": "119e0561b0e30c5c005a13b233bb1d89964a0dac57816976fd349b42eac3c39b",
@@ -2914,6 +2966,10 @@
       "merkle": "f30e4802e5ceb7777aa449fa986e7c49e845b1ba610a6d98992eab64cfac06e0",
       "own": "b0e06c31da5f5f602635d16f4e822ff485ad960864a9a176df958fca8d0128cd"
     },
+    "cpp.cpp.natMinus": {
+      "merkle": "3ee6574f6ce8539bb92157a846facc6826eea2f8edd48e627dac09a35cd49e6f",
+      "own": "fc60dfc162b5dc4654d7c9f6558429704aab51502b196f45731a5d539114851e"
+    },
     "cpp.cpp.natPlus": {
       "merkle": "b1555d3d0a0f762ac9a9aa26b52b7e61e572c66fc43e82e387862dc3a41d997e",
       "own": "9d9b06187bf384cb04f119a9f2b40e987f379255dcf6d5d4609d73a0e55639ef"
@@ -2939,12 +2995,12 @@
       "own": "7d1c9e668363ab0088fd1d954080e0e94bdc0743d4bce8cf57244e13c6560805"
     },
     "cpp.cpp.newArr": {
-      "merkle": "88311a436e5eed20287379a89c28697e39f05cfda14ab5ad3d909a9b41d21b33",
-      "own": "a28fae230d21dc9d8e527422344b8fdffb834898b7144bc0579526ae4428be02"
+      "merkle": "e5aa0d3116f76693b48d52aef5fc84233308c1d9a294933a788afe42a58d8154",
+      "own": "f59901fdb54b4b47c90610b10838e3c0144b5af0309a5676849e2b3e48d1f530"
     },
     "cpp.cpp.newObj": {
-      "merkle": "098bdf1b79349aef80869822ec6b917f12f4c1c5d71c29e6dfd7f1519ed3a39c",
-      "own": "36c0de78e2c9ed230c0c410680db578ad15eda6a0b93d5ab31214e72099a0f5e"
+      "merkle": "c835830fdd0bf490838a0546f59abd735731177a56a47d0560ae5f305f191531",
+      "own": "049462c71ed8631d001c065066e96f4dd76c54efd17fa9d0c42d390adf9a23b3"
     },
     "cpp.cpp.nmul": {
       "merkle": "d84da9875e52d5485e8e6d5a8ff8551f3bda2a9fa573d4783a83dc75915e1d61",
@@ -2987,8 +3043,8 @@
       "own": "e44f3aad9bffd3b3dd05f8ba890cfa45ec2ce6041484313ed7ed8319979092fe"
     },
     "cpp.cpp.nthUpdOther": {
-      "merkle": "200c68434dc5966927fd9a5c8180a3c3f14cf21a7acd1fb1fad9366017141cca",
-      "own": "b9f9da5616dec995a56198b6f719c300047382c99ac6fcc9954ae7451ccb0595"
+      "merkle": "b51e87b6022d92d950b8c6e6ba60d0795433b07f7c4dd76f7240596cdb35145b",
+      "own": "334a7018bc2d08b84dbf50447bc3b28f5cf5cdbf8f6fb94da3f347e7cc869fcf"
     },
     "cpp.cpp.nthVal": {
       "merkle": "85dbec253a0fe17b10cf42be015ad8e22d801a3dc086bb1a07978734967a6034",
@@ -3050,6 +3106,10 @@
       "merkle": "2fbb98b6275ee349b83f3a484ac8f3cd7fd092da0e4f397ab8ba28204aac09f9",
       "own": "cef6c2e785e2d1a00c196ea7dab3e51970d4740e02bb7c797f0ca36b488b3545"
     },
+    "cpp.cpp.padZeros": {
+      "merkle": "2498eeee194c931aeccd3a3c6bd46c28e3c44948d9e7a1a90e1b031c9b724112",
+      "own": "81313f78911befcb9ac753df06d5c39c0bfd400762e0ee7d8063e49a749b9657"
+    },
     "cpp.cpp.pfirst": {
       "merkle": "f7ecc3ff134776ee0a4ead57933fb8f2a1f32beef5b5eb2130c3b0b04b0932b1",
       "own": "79558b79ce72b819696c9b6da1f65852c91e31f528096713d53f2944837d060c"
@@ -3179,8 +3239,8 @@
       "own": "f492278ed096b313bb486b7ee8e44a87cd335ed24c2e36046770ea2f8fd64221"
     },
     "cpp.cpp.ptrAdd": {
-      "merkle": "4599111a3ee3a9a497a1f435b3714dfda5dbe58cfcbfc70b37de6aa706b40e20",
-      "own": "44d1cbefda32479feb1f00cda3f4509f544f8c4a69a46097c6e9767b4d5d5be0"
+      "merkle": "e83cf623e3a4a99f173be3285238f9a726cb3064617b25465664c2101e14838d",
+      "own": "b368f9e27c6d166a973a3ccd1e5bbba3851395a040ca2ddb3c51f7c41c528332"
     },
     "cpp.cpp.ptrBlock": {
       "merkle": "68ee1ed53268fc0efd192f0642c3b967eb3faa4ed8e87c84adab1067abbe6bc9",
@@ -3795,20 +3855,20 @@
       "own": "1016e71aa2e588f6ecbfad779fc98351a7041c08119d4a130514982818e28603"
     },
     "cpp.cpp.store": {
-      "merkle": "4383c40a95d4dff7b64637a698b9c48ac61039e7cfe6d0eac4419e71e7fcf284",
-      "own": "f9dbec514456fb8a597f394fd81e1403e38f5b024cadf0e6a7d7e4d658f888c1"
+      "merkle": "fb43839593e1e7ccefdff57e798c4e173aaeb5f976f90f2cdedff83e36fdf340",
+      "own": "666d47abb07d51788b4c5b5785c4cc0be19fae8fda2745f9112ba9d1a54fe36b"
     },
     "cpp.cpp.storeAfterDelete": {
-      "merkle": "78162d7096716deee1f7eec72838c5cb915c8167da7d71e2f1f5b22ee32e84c4",
-      "own": "be8413582e2845f3cb6e5ea151cfef2a68d93f9b107d11b1ceabf5aacf6f7ffe"
+      "merkle": "af19e00e791e183785332e989e163fc7deaee855498ad4a7b2cbe28bcf95cc90",
+      "own": "6c120f5f044d4b883653ab85e0fd002c657a7c9aa67217bca1c1f7c8a9f6c220"
     },
     "cpp.cpp.storeAfterScope": {
-      "merkle": "0f606ad3df07945c33b3c8acf97101098c9170064d1687aeb90d3113005ea076",
-      "own": "33c7d015b45e50132cda8cba477c64e4282ea4bd2dc2d1f27bc82da7661c98c7"
+      "merkle": "f44779fe819b1cfd9fad1c035196e4be1fa943264de6c740728578f3be8d337d",
+      "own": "e1ba8bdd22bdcf64df74a08f19d3c9b7e448c925de41305a88cd6394617cbbcf"
     },
     "cpp.cpp.storeAt": {
-      "merkle": "a19235d8e89569ff6326ae1fad0366b8f335408c93b8271d2277b1744fcb271d",
-      "own": "2c2f8ff26754c83537a077a972551817f1f88a8b14ae55649cfe46bdf26124b0"
+      "merkle": "bb3b6efaa37cd5fc527340d6bb185e860729b552fac03bd0ff74ef8dbafe11dd",
+      "own": "31390d46abcdef3496d4312454d77d57762b289a5003a267ed45d13ce5bae8fb"
     },
     "cpp.cpp.stoul": {
       "merkle": "d1b431ca7b1703515f1f817178ff27a3c471f371770fe710642cbcdad0a3d5cd",
@@ -3955,20 +4015,32 @@
       "own": "60adcc2b7e26676824960fe26b639e85236163d3433933d936f09ee5021fdc0a"
     },
     "cpp.cpp.strcatC": {
-      "merkle": "03eeba64f05e60d10c88b45c3553f6acea831f2f67c10affaa478383781093e5",
-      "own": "2bf1b922355e0a456e45ae963b49d466d967f1648e9762ea6aa96e1650f57bc3"
+      "merkle": "b04d1851cf44fd6ff51e38dfd6e1f1c6e89e44c2390902c26bb43c5c1623129d",
+      "own": "2e410eac3460b49f809aea9524b4879d3a0227692289ec006efda1025d2579ad"
+    },
+    "cpp.cpp.strchrC": {
+      "merkle": "d1e01f13959c4ed9952730223d1a4d843e39a4ed4c47b470d2c87e0660c11e33",
+      "own": "ea235a3de91312e187d145077dafbbb8e132b51ab32a585dcccb9cae5895ff5d"
     },
     "cpp.cpp.strcmpC": {
-      "merkle": "2b32e0fd9ffa15695fad5628eb00720e6f5cd978988a8d6acaf6a6680d36d0ba",
-      "own": "8136fc5b876958062cf9278e49c973595a8f28737b80e8d449a1568af64a6725"
+      "merkle": "c87631ad1b2b47e47699ed34df9d0519318a49917321d7a4235b9ec3b0c2bf53",
+      "own": "00482fc1c9d496b384154ac8a846d6e9cdb0bb75ddc9411bec5af15f4c8a4047"
     },
     "cpp.cpp.strcpyC": {
-      "merkle": "963ffe2b86e218fad47ff876ea3e4e40e00699895e604407f1ecc4dd0eae33d2",
-      "own": "21be79b220fa65afb7cd2251798f7d70238028fc70d1c29719e09c3cfa32ef09"
+      "merkle": "e6c0b5bd7639ae087a7978759961bca59784c1a95918978af218b4c89af75b4b",
+      "own": "002ab78a9f1645847223afb76e9294016e3ededc447539007febe7f103fdae2b"
     },
     "cpp.cpp.strlenC": {
-      "merkle": "8054e13b4d8ab769b41f14bf7fc21f69c43ad2082581416e96c427d2a0d0b09a",
-      "own": "20ecb92cc21f4cc0367951266096da3c4142026817879aa07ce05ea9ce90aec4"
+      "merkle": "69cb76690602dd3c6f7b2d02d70170f2a09434865d0e4a3767cb54094fe125be",
+      "own": "994f9370ea43850dcf4462465d7e3a30d63266edb39a0ec5bf1c258c47bcd3f1"
+    },
+    "cpp.cpp.strncmpC": {
+      "merkle": "ee8b149cdfa194a79e22f3dcc4f0b82fdd86c01720a47ac61d7dcf788accf750",
+      "own": "12d22ac36d46f0beb939c8e34f2688ac6d5de20c2a2e6ed1f2ce6ad517f4d819"
+    },
+    "cpp.cpp.strncpyC": {
+      "merkle": "0caf39355630fecbbde9e662abcd27d336172ced34bbe20b013fbc357f922734",
+      "own": "14031d0379377c7f0ea3df6c321874fe538a3326870f5cceefbbcfbd66ad6d06"
     },
     "cpp.cpp.strtodNum": {
       "merkle": "9c050beaf6b649f62e42a283091b369b8a1337aa292dcf83ca01c89835dd7bb9",
@@ -4263,8 +4335,8 @@
       "own": "5934b1f6096475f92e318f1a81b7976da9d0a7aaf52d966ebf530536c20bcd43"
     },
     "cpp.cpp.updBlock": {
-      "merkle": "49813079dd7673def72e6226a60c43584b8c35f13830627f493f53efae44b09b",
-      "own": "686b8c1958ef00d9086eadc24efe7dc37b0f732f0564fd1a19efa1d97728e03f"
+      "merkle": "70d9e5052428783a41411895d11a59369a3d7fe269697245e2bfad84bf25629a",
+      "own": "d0108b06b14b28d2a91f6758e4436fb8408089959b481455bc31c2c36c8c14a5"
     },
     "cpp.cpp.upperChar": {
       "merkle": "c2de9b260658144f3c8bcef914868493edf14709a38244a17fbbeacd01a30362",
@@ -4375,12 +4447,12 @@
       "own": "c66fa754525736f21ba203ea433fbacdf0d33f383d52677ed173e8e2de02c4b6"
     },
     "cpp.cpp.writableAt": {
-      "merkle": "32d7c96d08aa10ae2c9d692d5bbefba2153164adcde032bf8a7eadd4591ba662",
-      "own": "8e0e3b41fcd65651027e0566b3870f04f270ee93ccaa6a77d05e2a0691216e4e"
+      "merkle": "884ebbccc8b1cbe87df338bf1a56d9147df5eebca321c220f1699b9941603649",
+      "own": "521ca06dc54e442e81edceb52f4a1b69d268cd2ad92f39808524d9b347116f1b"
     },
     "cpp.cpp.writeBytes": {
-      "merkle": "9119e7fd1e0c419ba64aec8cb988a76c9dde470968e4f33101a8c10f2881e132",
-      "own": "b05837e03f23f0bb6e6a110c0c094b810da41878a52476ff3dc0ef95e15a829e"
+      "merkle": "0e440fe107c00131a6f2be17e3444e01c0ffd4e3ddddf26fcb8c0fcc41c8126e",
+      "own": "0ecd3633fcde6ff1c39e1266100f2fa5231417008426a02c193da4994ffefe4a"
     },
     "cpp.cpp.xorB": {
       "merkle": "b053368e78f8f935f799f09213b5757113a456775728d8d3f98f9e4b992dd1b1",
@@ -4422,7 +4494,7 @@
   "format": 1,
   "modules": {
     "cpp": {
-      "bytes": 2458798,
+      "bytes": 2511801,
       "deps": [
         "cpp"
       ]
@@ -4430,7 +4502,7 @@
   },
   "requires": {
     "cella-lang": {
-      "checkerHash": "0a7b79f357629feb",
+      "checkerHash": "47832d6e908a8854",
       "modules": [
         "int"
       ]

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cella-lang/cpp",
-  "version": "0.1.202610100854",
+  "version": "0.1.202610101043",
   "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",
@@ -20,14 +20,14 @@
   "license": "Apache-2.0",
   "author": "SungYu Chang",
   "peerDependencies": {
-    "cella-lang": "0.1.202610100854"
+    "cella-lang": "0.1.202610101043"
   },
   "cella": {
-    "checkerHash": "0a7b79f357629feb",
+    "checkerHash": "47832d6e908a8854",
     "cbfVersion": 24,
     "modules": [
       "cpp"
     ],
-    "packHash": "e61ca013737384d7"
+    "packHash": "736fd092268ad01c"
   }
 }