@cella-lang/cpp 0.1.202610100816 → 0.1.202610100934

package/CHANGES.md

@@ -3,6 +3,14 @@
 給使用這個套件的工具（產生 `cpp.*` 項的翻譯器）看的 API 變更。每一版的完整邊界清單在 `README.md`。
 雜湊（每個定義的 own／merkle，見 `index.json`）在不穩定期可能改變；下面列出改變的定義。
 
+## 未發佈
+
+### 記憶體與 C 字串
+
+- **⚠️ 不相容**：配置 `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": "93bae3fe19afba3f",
+  "checkerHash": "9ceb42ea85ca0fbc",
   "defs": {
     "cpp.__RecordTag_cpp.IOS": {
       "merkle": "796edb43f4d0722b7fe3a28a440f5eb1b050ef4eafdc16cffc9f9bed220a8acd",
@@ -23,11 +23,11 @@
       "own": "9e2df223266ba029dd87772a9b018ff330a41074d3f9ada5f525d2138270cfe7"
     },
     "cpp.cpp.Alloc": {
-      "merkle": "5200e4f196e484fba6d0ab115c7a65c96778f4dc5549abbd72575dbd73668d13",
-      "own": "5e9fe902655d2bacd1e606030fdec79c1d5b175f7032af12cd77d843fcc95073"
+      "merkle": "fdb9274757e4810402022ba6530f31d275cb3e9363ce33d0e0df2b70cf8e55c0",
+      "own": "30e897365b80bd8049204788cdfebbaa35eebe3316fe3ed56617386c07bf448c"
     },
     "cpp.cpp.Allocated": {
-      "merkle": "711f28a0277e66dca33861b88441766f8131dd6a7bf1b2e5a3fe430cd1e4e70b",
+      "merkle": "5a490af470eca5a6b2c0009f4c17a4d63a7e58c6dcdc7afc6fe5b35463399dcf",
       "own": "65b695a88e4b8ea8976c1abc97ee13c846842be123b2990dc6996e9a76e0df91"
     },
     "cpp.cpp.Approx": {
@@ -47,11 +47,11 @@
       "own": "12b2ae9ff4d6424b28e8679baef313f72d272dc5891104e44596cad44ed99939"
     },
     "cpp.cpp.ByteAddOkD": {
-      "merkle": "14144bb88da78cf89df07a65b3bb914f6d61279c4fcc8c3b028bc565e87a4654",
+      "merkle": "e6e142820f68bd90a2f1e80665b48a6fa00dc3599fbaeac6a5bf7027444dc577",
       "own": "006bd7f6eac8564d10baff11f09a6e235868e835166131564d66c3803a980724"
     },
     "cpp.cpp.ByteDerefOkD": {
-      "merkle": "0c94084f5ee843fe649056487f0d5dfaecb9394afa62982302859c736e0d607e",
+      "merkle": "3b48e2c78583d9f11a2eaea9d4bfbbde076ba0a37d73aebcd3dd5a94b608a578",
       "own": "d87122a01e37062ac90a9bd4bf6ca0e62a6ee78ca6b635caed5aaad2ac005d14"
     },
     "cpp.cpp.ByteIndexD": {
@@ -71,9 +71,13 @@
       "own": "e788362b8a196670dc644c932fb993002d10d40e5af99d62f3e829fb87e75803"
     },
     "cpp.cpp.CStrD": {
-      "merkle": "fc6c80cab314cf6771fe05ffb00df616c3ed63be25afee773822c87e1c9fb60a",
+      "merkle": "f91db1645fedfd7a245e585ac94e331a2136dfea3482a23fcdd588bbd1908df2",
       "own": "c3cc8cda40f99daf4d03396da0e2e4ba7724f24a7bad4d5245f5d7ccaeeb7f94"
     },
+    "cpp.cpp.CStrND": {
+      "merkle": "b799a815851716a5de0e4bd0aa365ec4b56cd41d4f426e73b2eec95233f66d16",
+      "own": "87939ad85dc89e2678c2bf6a0cad8c4eba0389bf7e8632c7a43ca888ab6beefc"
+    },
     "cpp.cpp.Call": {
       "merkle": "89c2e7785a2892ce1bcb9809409d5a821b385cfdff8d133ea2f863b7e908842a",
       "own": "694ed9d3cd750686c748d229a467b5a988e1ceb51d632f67c40f56beeca896ec"
@@ -91,7 +95,7 @@
       "own": "0c550bc24d373ca9c703b96efec0f059549f507e7c67e8cfe6b4298cd25c9dd3"
     },
     "cpp.cpp.DeleteOkD": {
-      "merkle": "8c3fce5ac104324c4cac3527dc97b2ffc4da75adb9ba44ebbd9429b595c82a8a",
+      "merkle": "02cb45d15891ec887924820061db436d61c1767b7bbf6922ecbbae24cc731ef7",
       "own": "a58ff5104f5826b775dc2333f2e8fd40b4fdd8cd8fe380cfc9d04693aa683675"
     },
     "cpp.cpp.Deque": {
@@ -99,7 +103,7 @@
       "own": "50d3ac8200f87ed551b55ab4a095b02302f47691325c666c765194ded87e860d"
     },
     "cpp.cpp.DerefOkD": {
-      "merkle": "71710401b491267505566755d399cd775c9c7392c79b055f9f3ae3833526a0be",
+      "merkle": "f3db5523a69d93591c8d95e8cd80e286caec6ad9777286316f53ed6fe8161a21",
       "own": "ec5cb06b69b843dd853ddf6234b63bf2113ce388471feaacdb3170cf23bb9cbc"
     },
     "cpp.cpp.DigN": {
@@ -227,7 +231,7 @@
       "own": "4a1b77eaf27cf33adec81725368c24c0fc6fc11687da5f249f047c6f36c7fdda"
     },
     "cpp.cpp.IntToPtrOkD": {
-      "merkle": "d4efb2b2815ff72dffbe92cb3f0a0d6c44fd9d998731d2c7107aca46fe1af40f",
+      "merkle": "1ed10af1f2e99ecb9f5683ded5a375bf3d8c7fcda77949b3a0c196cef3e81d09",
       "own": "9dff3aa5c78fa9a7ab5e8e0e91c9669f9d640fa96b9b9a752c1eb71c3579a3c5"
     },
     "cpp.cpp.It": {
@@ -271,7 +275,7 @@
       "own": "baecd2b1d215aac9d493f6a42063b7d32955ef21866456236351def3990de618"
     },
     "cpp.cpp.Mem": {
-      "merkle": "69ee8c8be40eb5f1485026e3ba18c33984dede24a6b4b674578a8897ec1d7ba2",
+      "merkle": "6777201f32ce2e75c61cc6dab63913eca251ce5276bc8dfbe3f786f3e35a0f2d",
       "own": "aaa943cad1993d3515f2ee6160c8810a06c0e6589aae02d73487b9a841c9615e"
     },
     "cpp.cpp.NonEmptyD": {
@@ -315,7 +319,7 @@
       "own": "02e03002eae92ce02d327201ae40b40dcd1d40e423e4dc86be9366883911ed04"
     },
     "cpp.cpp.PtrAddOkD": {
-      "merkle": "97ba07ca8a70fe7ea9d0c0bb9c2656521a5ef543e65e5a071c7f647486390457",
+      "merkle": "58d0fd3ec55de5f4b55f63e6c22de86a06b97adf3951c1374a719ff325e54976",
       "own": "3ed7f89aebff1de18dc9957255a185f57053f45ce02904deca02ea3117971a28"
     },
     "cpp.cpp.PtrIntOkD": {
@@ -435,7 +439,7 @@
       "own": "5af2aa6102ffc48080aecb9e3197c71b8d5f67808e2041b1a608ddfd35c7bf3a"
     },
     "cpp.cpp.StoreOkD": {
-      "merkle": "6212b30efc1696a33e8dbe63993ae2fa9eb373db68ccc994bb19a133ebbe201c",
+      "merkle": "a0b98aa12a0b73a60322334d2f2e9410b70aaa3473fb67008dbe6e802f98645c",
       "own": "ec4a249cda2698bd043d79c14df939395c4222528ed38914976e468128d467c3"
     },
     "cpp.cpp.StrNonEmptyD": {
@@ -459,13 +463,17 @@
       "own": "6be75095171865c78f4d47288c66d3f5a81dab2bdef5601bc875ab5eb4627d54"
     },
     "cpp.cpp.StrcatD": {
-      "merkle": "75b2c77d3b6a52d43367096b0c5a8cafd84cf91e8cebd757d5b9642f8c8de945",
+      "merkle": "95ce31d093138f767d8c5aa28ec7557c13e51347eeecdc12fd713693d6eeee1b",
       "own": "29afbd70d48c23baa839fe23f3ba7d1f589e9713800f53138a95740fd7bf1d6a"
     },
     "cpp.cpp.StrcpyD": {
-      "merkle": "33acbd465cc9aacf8df84a12c35e7c87a009da1879ca7df33ebf078ae27dfaf8",
+      "merkle": "1575b7cd8192d04ddaf0279ffaa215f1d0bd325ee78175ada0b6ce1caec0ac72",
       "own": "5159e276907bb08c1c87be8bd019af7dbf715de2d9ccb1ab1e29e3743a1a8472"
     },
+    "cpp.cpp.StrncpyD": {
+      "merkle": "34e068fe53c68a6930305b53c0da2a81dc639c9f926a1d87fd4ca06faefda8f9",
+      "own": "aee167f0b6a0630b27151189d3991dddce71d600207ec9940200ea6e36adda03"
+    },
     "cpp.cpp.SumN": {
       "merkle": "71de94d183e70b7029c563aac07805833c4680051b9f89e371e2ccb48260b355",
       "own": "fac2321971d6528268a8fe84012ed22ffb71b470613e94bac050f07b635beb4c"
@@ -511,11 +519,11 @@
       "own": "55dddb329fadc10e4692da25f18529b86b928e6a432a2b129e5fe13520365118"
     },
     "cpp.cpp.addAlloc": {
-      "merkle": "1331ea898a372a78c2efba3ae404b01e83743407582d9acc113fddca846f9afa",
+      "merkle": "fbe71cedd6dee61afc5be10961c14d4fcb6edb91fbe85305350928357f01cec2",
       "own": "e88467b550e013f24ae830230dbf24d19d53952516758e000d85c49ff1d3eb41"
     },
     "cpp.cpp.addB": {
-      "merkle": "e0dcd0da6ce9effe06a3af63ccc89d4e583ed594945f21e583be0f0ba243f456",
+      "merkle": "1c68cd03dce28530009b3c123356adde91ffadb498718f976772a1e410734773",
       "own": "cf73f5b22ae5d2cb7be9fe5329138479e2a6f3f4e694bdb6de11859b78e9cca8"
     },
     "cpp.cpp.addFF": {
@@ -551,8 +559,8 @@
       "own": "e92c121270518cf902c4d0a28fb93947538549291980151c452c4e912d09fa07"
     },
     "cpp.cpp.addrOf": {
-      "merkle": "4bec863e9d687af50477a66f6ddf53ad9700d9165c722b9f70dedeeeb0b8780e",
-      "own": "b0d44509d3ddc24e3eb99aa585e4227c65e1f8eb11b8b5ca412efe3d57e4c7fe"
+      "merkle": "146b5394333cfe51c04a95e354a441fc665e74b7a4832074bb0996b79153bbed",
+      "own": "75bff148dc847209ec0aaed0a4254b10d47d243d739e34c748faa9c9e7e75139"
     },
     "cpp.cpp.addrOfPtr": {
       "merkle": "2797de816974335e84ea5174aeede30c6a184340b47b48ac19d6b39bf4db6e90",
@@ -579,19 +587,23 @@
       "own": "8a6a225045c57a5bcb022f5a73a9132c208f408a3702f3d23cecd14786b18695"
     },
     "cpp.cpp.allocAlive": {
-      "merkle": "a5f75a4df90835afde4b5bf4969fd11fa3b942475298fbc52bdcdd6f076bef4a",
-      "own": "aca1e5e1bc914adf28d1072724dd68b7ec76ecd99c6087e8792ec07a427e1335"
+      "merkle": "c81b1ab4e930be59c2438157a9369bc8b4bd1ca35d07917181de2481ac6d39a8",
+      "own": "8736568296661a7c900aaf5440669f1d7845229e9fafc04f6d6fa3d866df1967"
     },
     "cpp.cpp.allocCells": {
-      "merkle": "baa8098f815cf582e13f18dcbb2e8ac8cde543358ae910141d3f01b247fc3461",
-      "own": "f0ca8d780f37a3d784b3a651f309345e8369f8a9c5f4c3e38df8a54d811e1bf7"
+      "merkle": "f173a53a53e6bbc16224551c3574af9f8622c62253b5d2deee0e91fd41c8cac2",
+      "own": "e2602e441a507335b7bc09bb989c63f1497b92f9eb55a98db10b89a1b66a6835"
     },
     "cpp.cpp.allocHeap": {
-      "merkle": "93e9560e514fb558ff693b0d67e5d4264112c09456cae09507b6e393934d41fe",
-      "own": "f3304c6e384aa12943e02d33c8c008a8d6f16461f4d02f979d1f2099d2d9fa95"
+      "merkle": "61feae609618f977004374eec6ad173f07d81bb8207420787381a26ad65d6b9b",
+      "own": "881c2b0979d281ffd3db118a80c844c05328211fbf738f167efa32dac09a03af"
+    },
+    "cpp.cpp.allocRo": {
+      "merkle": "f512bc793d98d3d2cdd15489fce961f44303073e7cc79f3e1eed1446680d003e",
+      "own": "6bc070c892f2022347472f407fd3ac9a2f076962a986b5bd82fe9cdc776304eb"
     },
     "cpp.cpp.amem": {
-      "merkle": "69c53bc1e46e4eab5ae9170ca0d72d791547aaa88246e409640d9a7fbdd5a823",
+      "merkle": "f812ce13b5d8379b0ccefab8d243287c4252c6447e9fe3a181e27948b220f972",
       "own": "89455e10bff29eea71960112cc8a77d861394efb5f9140c184fb71ccf5c853b2"
     },
     "cpp.cpp.andFalse": {
@@ -615,7 +627,7 @@
       "own": "550ff2d2dac6227ac263dc29edcc352fc66146834609a8dee43c6254d82982b6"
     },
     "cpp.cpp.aptr": {
-      "merkle": "6af1f376222d976e140526acaedb39cf2e004ad9300608328bd4670494a8a043",
+      "merkle": "48cd88675e8a894156a2f370572d5d983e19df4df49d9f65afa630e5f751f89a",
       "own": "c19507409ca24788c68322ab50dc6cafa8dafe60e8b1371f47f6f8904ecc36a9"
     },
     "cpp.cpp.arithT": {
@@ -787,7 +799,7 @@
       "own": "d70daba208dda37266f7355b7578b36c4189a8971b6b86e213d1971cb789cb83"
     },
     "cpp.cpp.blockOf": {
-      "merkle": "dab3e3c2ab0f69959e76aceb5ec81c1c1cc39ace2fed17418e6a993ceff71efd",
+      "merkle": "06cd8f5138385116a829af889f1975ba8422c5c0c4ec2a3feb6cccb3fb843896",
       "own": "1550b31bb72e538b9b7801276b2b6fcada4355a247343b8f452108db4a83ba55"
     },
     "cpp.cpp.boolCode": {
@@ -819,11 +831,11 @@
       "own": "ba22d1112a201db549922f6271db1737d54acacb57da8298d27f843db24f289b"
     },
     "cpp.cpp.byteAdd": {
-      "merkle": "564626a1debc325cdbefd1941c21b723250fa56663f6567d186b719315711698",
+      "merkle": "a102f9213b4896e6cddc704a9147ba46efaba5725054f9cf151887e079c061f6",
       "own": "b4fdbee2374054b66d47fb379d57aa2af902507e9da835414dc0795abfa51a44"
     },
     "cpp.cpp.byteAddB": {
-      "merkle": "948baa234ab2b2175935f556627ded7a6ab2cc0480c26466f4866b06745c71d2",
+      "merkle": "7436a6b87fb262f437612d5925c67b0d1bd50d136b2c229c4cfe4882ce6627ad",
       "own": "f4322de9249dca20a7a7504789d0692d4f8953da3673feedd611d27baa462076"
     },
     "cpp.cpp.byteAt": {
@@ -831,11 +843,15 @@
       "own": "d516b27adcfbc871fb067d6c579da8b2843c0145daa20aafe544abf5e6bbdc64"
     },
     "cpp.cpp.byteDerefB": {
-      "merkle": "66fb9c62aa912528b67128bdf5d217cfc959e4e9fd8b37a15a47c2f13526f7bd",
+      "merkle": "98099dfa3f6a6b525fcc08d5c6c12c81074741bce3d342e9e167318eb3f141e7",
       "own": "2cda37798c485e658b91a01b181a834b74f97892b6f25df4fac6618820cbdeb6"
     },
+    "cpp.cpp.byteIdx": {
+      "merkle": "327ed36ce701faf2f8bfba0943833bfc2da46495a6ec50fe46c221b23b6637dd",
+      "own": "c83beaf4adf82f396c7ad574bb2babb88b354ffeeab9505d40e336793b772b4a"
+    },
     "cpp.cpp.byteLoad": {
-      "merkle": "91666ac22646b6404c1a28784ea416353a75ae087088da724881cb216218eba0",
+      "merkle": "d9a65ff668276ffb90f0b4258113ccec4d0f2a2a9a91e9e59e1d9b013ab07a8d",
       "own": "6ec820a11b442e08f0b773589d94b1e1f85e5a2ed321d172cd65bec6e94e2335"
     },
     "cpp.cpp.byteOf": {
@@ -855,7 +871,7 @@
       "own": "9756f4b499dc4f7c3ad1e7f73ea9db463d0f75cc1e233f57679c26db0ce214df"
     },
     "cpp.cpp.byteStore": {
-      "merkle": "b000f6fb31c79f66684f3e929372159f54bf4c6e642a3c4ce7421f2ff86511f7",
+      "merkle": "e0fe4dbb79a8e79b2800fe1e97396bbd42ef520505689cb822f827c1272d67a2",
       "own": "7c317832e512218a427e3fa8dc3e549e91af949e808534cea8653a40176fba13"
     },
     "cpp.cpp.bytesEq": {
@@ -886,9 +902,13 @@
       "merkle": "a22cc2d3d10f062e67c439a518b11e329ba4de965e19f506bc7679d95f283a96",
       "own": "722d5ddcc1c51625f840816e44dbf9b0bac598faa00f3987800d159dacee8ff2"
     },
+    "cpp.cpp.cBytesN": {
+      "merkle": "6a23595bb51caf736e41256df9a76972a108aae40426fe27ee5d4705d1c540f6",
+      "own": "37b6c2153770d591fa0a2b42ae4f9afa07eed0047f88d9183b4d9bd943c16858"
+    },
     "cpp.cpp.cRoomB": {
-      "merkle": "0f1e17906c5d00654f806e99835e1b4978ad3b9974e61d1daf36614b4a2fbf19",
-      "own": "7ae028abde0b894abddeafbcc36e01cc2876db2c6bde6e4a65ef543277a09e83"
+      "merkle": "818bcf9832e00c110c0b3d795f73a1c898292536206622ad2e4b9ab2e03253af",
+      "own": "60de23836eb25bc88e8cdd416c2ba3a655a90d6e1d2399ff7f9d621c2fd1bbeb"
     },
     "cpp.cpp.callAfter": {
       "merkle": "584f5b53f7c76240b9f2054041abed96932c136262531a712b5b8366540cef8b",
@@ -1063,7 +1083,7 @@
       "own": "7c3f50f276da1747bd0cd579ea30272eb467198725d7f8bbe29d1c95732a8dd1"
     },
     "cpp.cpp.coutCStr": {
-      "merkle": "eb71bd40c40d3589362fb050d5a9aae50d878e9ddeed97c848929b829395ead5",
+      "merkle": "99dacc23bb00b33f6e57d31dbaccc67a79e03ad5878e0abe5850adc08021fc36",
       "own": "00bc4787a8742841e3fd243c829e4be95315be519932792674423394f8fae8ab"
     },
     "cpp.cpp.coutF": {
@@ -1111,17 +1131,29 @@
       "own": "42fa3cc397d63e2b6a3dcf5fba98931141ef0c50c9d73d1ed94c7b2e61b9bdbc"
     },
     "cpp.cpp.cstrArr": {
-      "merkle": "2ee6e98d765a3700c8e7e1672c1eea509e46b05cbdc9fc40f7308c2578ed18b7",
-      "own": "24363b0ada7a8b5061dd0ac2b87ee634a34a17c36b3a049df61f449c175ae255"
+      "merkle": "356299723307b4ec5e56eafc74d601856a038b972504ce7925bba1d7117dc6f8",
+      "own": "d5fd4ae2de0eb8ec22937975d6b4bd6a0cfb44e4e6f3b8690da1b3674d0acf37"
     },
     "cpp.cpp.cstrAt": {
-      "merkle": "bf275508e6705247cdfabc746b6635291b4dd4e570c13cef99f2e3d6ae7b8e83",
+      "merkle": "37e193b2698877cf040b48141fba58700da9ddadd2b75e486f682a02dca141c5",
       "own": "483af57c76f3f45427b6ff0b9f9e67b14e6898dab96122ffc636709e6ec46bce"
     },
+    "cpp.cpp.cstrAtN": {
+      "merkle": "762fd8a930409fac55bf7b66818778a89b5dfd8bdc5c7c45d00aa5156412d46a",
+      "own": "00d716cafb71916675f748ea1fee77428344914c55e63972004a79161f67391d"
+    },
+    "cpp.cpp.cstrLit": {
+      "merkle": "a6cb47c5bdb9c8400b36564e1e5067a1ec76f5192b1c5d7cbf7564ae70080520",
+      "own": "02517764fbd7ed19af3148662335790b92005322d13da29e88ef2a86fecffb16"
+    },
     "cpp.cpp.cstrOf": {
-      "merkle": "4dcc21c2b33aa36ed19d05061a1dfe59d37d236ea4bd2eea0580afe4cbf98741",
+      "merkle": "d61443a594a40260333d9a8d2fa2b89a4c84539463141cfe9368da1474c3238c",
       "own": "f34c7be1e80bad3d5071a89ef6369c0a79e1dd821e067e03d006790aaf94cef4"
     },
+    "cpp.cpp.cstrOfN": {
+      "merkle": "7c37a45a089488a2abcac8f3f61b45d9b37839f49d0c0d0db703e54e8d934909",
+      "own": "a5b00b66bf1e1da9df709d6d69d950755dd423a0ea6179216771949a759b3e82"
+    },
     "cpp.cpp.cv": {
       "merkle": "983dfb65a5f494c1de3fa18246487c8818d1a9c4ad572017d87974c018c71243",
       "own": "8d843e7bf729db8ab40f80141ae653752b2746c3bb6d1bee1a50eaa79994f109"
@@ -1131,12 +1163,12 @@
       "own": "4cffc2a83298fb2ce4191abcd5434ca514fa1f9917fa5904115f5d4631b5b4f5"
     },
     "cpp.cpp.deadDeleteAt": {
-      "merkle": "748b7555a84a99065aa1bd0dd49e8aa199c659f3d4a1ff30117b0826d39016b6",
-      "own": "f613a6acda6dfdc8755a991e78bd625eb7b7588c5d158d464b58bf82901a3c4d"
+      "merkle": "f1323cfba0579dbfeadfe3e3fc79b0f2f4d4b005f9d298798a7cf2ec0ce0cc0f",
+      "own": "8854931fd7a638f9b6c2eae69ab8b7a9373c2f593ceeac9f66acf2b4cea5aa1b"
     },
     "cpp.cpp.deadDerefAt": {
-      "merkle": "1d04fb3af44e8b0de3ea8de4f4df86678b56659646135aaf9184843990ea2d1a",
-      "own": "81ae6e7fcf879c12e00180b7712c7103874f00345f5bf79ed2eadf93a2d92f5d"
+      "merkle": "5efc758191726767fbd01b49c536a6ef0e23e6dc1bf6659e212ee752f23f0ebf",
+      "own": "ac57f1f26cf802237e2df2781e707d65986c5e184de5eb6f7f3c0ec24229704b"
     },
     "cpp.cpp.decNum": {
       "merkle": "db92ba9d7c874981cafa7dd14e093cbe2996a1d550275fed197356edfe94d2a2",
@@ -1151,8 +1183,8 @@
       "own": "c6f18652f306cb14876464d452d9455fda26c38e9062d2f4578b3ed925ea7c15"
     },
     "cpp.cpp.declArr": {
-      "merkle": "3eaf2a3dbc7bfbd33d731370e613d0a87edb0d646cb9f61de6b31cf19d703a2a",
-      "own": "112d742acfee5acee5f0d79410421c27c6d743dd21a6eeff02b6152b08ad0ce4"
+      "merkle": "e7d8391e45eace25b492e1cbd05b9af7ab76f799d0d1971d962c97c54db5a4a4",
+      "own": "65f043fb6d2157c95ef0bf2d58aa3af63f19445c6caef08172a9ecc1cdecef66"
     },
     "cpp.cpp.decodeV": {
       "merkle": "15729f9015ab8666902bb09f04c53b477d94d24ac2d5abe0d12a468c5e56464c",
@@ -1163,16 +1195,16 @@
       "own": "13efd28162f09386b7e473930e67dcc5ede3832b823a40b7b69cdb142763083a"
     },
     "cpp.cpp.delete": {
-      "merkle": "c3d09313994355fe2c38faa2d502d2e05e7ee2f83d3ea6026849a8b84b273ad0",
-      "own": "453bc32883bcdf3f3c1eea31439b7b299f242001c2da9a84b3591876a801b6e8"
+      "merkle": "2b279c72eacff175725e65663c987d16eb488a89b1b255bc47322b6feebf4821",
+      "own": "9f31be3a41fe748e3d231270cffa8b3f417169ddafba699a57a476023eb6907c"
     },
     "cpp.cpp.deleteB": {
-      "merkle": "ddfd4b398a268ba377ccb626fb901bcff3c0590b20448f9ffd4a3c89ba77a404",
+      "merkle": "ede65cd672eb076162a92ff8ff97ef1b3bb9622708463abb0a5523dc8cf72f9e",
       "own": "cf799543eef6f49eda118360c71ab15a720df1843681880c304e3003f04ab69f"
     },
     "cpp.cpp.deleteTwice": {
-      "merkle": "1e06a015a770e5afe2f502d81896e6c4889b33f2e5fcac190c956aa049d69b5d",
-      "own": "5698547a1287d6fd795e0ee6d928fbd4d88735cce713cc47cd15649abdfcf4a0"
+      "merkle": "f8131c19f089646199ef4147f61a96c6d24f894b553e22f71c46321ff95e4ce6",
+      "own": "0a9f7e9db1e28bd4a8e8b9706223319ed185355855b30bc88c5d6c8396bfd5f7"
     },
     "cpp.cpp.denote": {
       "merkle": "509595cc82204a3267b85d26ec96bdaa5d668f9ce2ccac33d916b1da3997740f",
@@ -1187,16 +1219,16 @@
       "own": "0d57e5452cca2555a75c0b6de8990b2b4c7b11e5a0ba3cb35a20f6d8aa912e9a"
     },
     "cpp.cpp.derefAfterDelete": {
-      "merkle": "60352be8fa9c14b6a13fcba0af510affd6646bc141978384f4c41fd7364fba67",
-      "own": "c80830ca671e316deca37d5d68d1a23340404579b27982d339d73ee3edff6c69"
+      "merkle": "77dd3737fa5707b9027818bc844c6936a49bcc577cb816c45d501d66188f3bd6",
+      "own": "36de791a29adf134149e461139ce7ceb4031a85f299aef67a027eb4476862f60"
     },
     "cpp.cpp.derefAfterScope": {
-      "merkle": "ff9295b6c335d7de2b39235056bd31321faf95c5fc3181968b3ab3b96f455de3",
-      "own": "3e538a8c369f25eb424714242816c692e32d1d419b25311c8377c9d20e4b725c"
+      "merkle": "c2e4b8b85807352c1263987aaad2b928194a0751127988ff1e51f74226cc92bc",
+      "own": "cd7c9194cea764dea867d61df6e29185c05bf5b9c758d9920beb0cf8312a2b27"
     },
     "cpp.cpp.derefB": {
-      "merkle": "41c431e3fbc2449b64ae06f9b7c3cfcadeb0202a2873387d8e46e8c12b496305",
-      "own": "59f474be83b27227473a4adb4ecb73db5dcbc78a7d6c71c4bd291ae596318169"
+      "merkle": "6bcebdf51d5b893589faa3455a3f6e193fbc07d084c6c8b8caedc545a4c87548",
+      "own": "3620e86374226a9c2ce762ffc318b49f5a33fcff785c22e0f0ec67d3a82d37d8"
     },
     "cpp.cpp.digitB": {
       "merkle": "c8d7d3da2ee6f0732c19d45a76c8394d3ad1c9fee89e891733938be138e8c9e3",
@@ -1347,8 +1379,8 @@
       "own": "2e14303c688d4e4d3675487454dbced9d2d60a9c8ad7d9911054ede5899e01a9"
     },
     "cpp.cpp.endScope": {
-      "merkle": "7fa479204560a1ea5c8ff24e5a26010de4794dd7c2f89aafe51f2e05111ecb30",
-      "own": "35b132078e8bde58c2625eab9ffb32e7ff02ea71241883f708db331e144c0628"
+      "merkle": "8723e43c207bc51d350e6c5fddb6beab3865606854e9641f5c4c877b00f5636c",
+      "own": "797eaf0eb2b935a2fa78e1d33cfed839628d46f4a5eca11f135db02729c24fd9"
     },
     "cpp.cpp.endl": {
       "merkle": "51f7d6a81e3616d36c44516d5fc23933b5b7d62b78cacc96b8570d9acc589467",
@@ -2235,11 +2267,11 @@
       "own": "740633029d9481598e5ab43fbf298fe8fbc702a5c64fd4aae0c4f54b332b906e"
     },
     "cpp.cpp.intToPtr": {
-      "merkle": "400d8cf908a5500d568f0a9926644811b1d46b407f921a3f3dfae9ca5ebf95c6",
+      "merkle": "ea7815df53f039ac2422cb6f599747adb1095f7057c02eeb8dcff516ba3be598",
       "own": "75d974e8548ac04aa5ae56ece35fcd204137bd18d0d4ed0f0b8e0baaabea4b83"
     },
     "cpp.cpp.intToPtrB": {
-      "merkle": "d034e4479c904057d643753750203316a87eced2030c66cbd0b6f476a87aa316",
+      "merkle": "62c762ca7edcc9daa23c747456b961d8021a73d3f4fa7410df4fb790790c1f80",
       "own": "c075dbb7941a29f61fdf40782f52aec15ccb1cc8862ff295ae65dbb6941e15a6"
     },
     "cpp.cpp.intTri": {
@@ -2519,43 +2551,43 @@
       "own": "0a48873899fa65a0ce410139e7e5374bfbfbdde84a3b302d42dbda591b90ac62"
     },
     "cpp.cpp.load": {
-      "merkle": "a4f3313431ac77cba5cf44fdfc820ee155f890b9ee7fc819c61e4367e0e93ff9",
+      "merkle": "58652bd2daf2d371c73a7313c865968491b9a99306056bb78d2ccf37cca10309",
       "own": "f05894761eb06cd4991d06f474269492a3298e743b46e97ba71505e6211ecf7f"
     },
     "cpp.cpp.loadAddrOf": {
-      "merkle": "be8942561f66675f5292d6371d4003abc2a423e65bb844b16bdc425cdcff1f19",
-      "own": "2a85822b297ab180092713edae285e30235ceede80fe78cfd52324839c78d4f0"
+      "merkle": "3654c80ca4656c61f16e6cf36a7df233ebbe6ef1e4e4ac8fa830461452c4287d",
+      "own": "2bb7caa65956a22b8a2bc445e742c1310b3459a091c3db5bcc6968baa77c334f"
     },
     "cpp.cpp.loadAt": {
-      "merkle": "c61ad19f1d0db07de2bb91dd7d7ed0889d4186fb592d82ec75a69bc8dddfb281",
+      "merkle": "3bb9bc2ac1f161cd6ef98e334b2b10cc09524b6e268e276d1333fed0c635b5a1",
       "own": "a82c3c3247e649f483dd03385723563a507df818351d278669bed6e1fd0f5f05"
     },
     "cpp.cpp.loadDeleteOther": {
-      "merkle": "e10445694e449ada3b7fc3ef25a0c99fc5059e98e930aa7c2098a3c97729de95",
-      "own": "1105b8f1abf4f14d6b9a021e00116d4114869b7ecab89d785a3ebbe99a5edba2"
+      "merkle": "8ec16cfbefe7f9167180a26b78273a86f89b04f3b49191f7aece45f19a9d415e",
+      "own": "67fd5be56cf7c4190150f1392604810373ee59901180a8826d045f5a1ad1839e"
     },
     "cpp.cpp.loadNewObj": {
-      "merkle": "ace75c6f511d3b3307d8ad7c4ca6dbf0c5b9c1fab31d8068cab81f052ea05248",
-      "own": "ac928e0a3f06ff850a6b3fa5bcca4b51323b8fc4144a254747d0b0ce8f919554"
+      "merkle": "4ff9da27fd44a056b503c947072ad3f9fe9ebc368370d53667540e49f4df5907",
+      "own": "ca2554de7a4cd4afe4520411e8d8bfbea4b73b27f6c277c76870098059950db1"
     },
     "cpp.cpp.loadStore": {
-      "merkle": "c2d6fb310e2877f48c78c5ec684c3252604d563d0cd426001cef7faf79179daf",
-      "own": "5612b11efaca5a58c82547ed73b0026b97bf643cb6482eb055293226aa653e95"
+      "merkle": "28af436aa712df46744fee7ec2226bcc4aaeaef735f755fb283f5c5a280e23c7",
+      "own": "e811075aedfe708517f8246d702dab2c6e37a7466d9fc56e2909f07f769ac52e"
     },
     "cpp.cpp.loadStoreAt": {
-      "merkle": "3293215ccd46871024f6d864632b39cccc362e03e306f888243aaa1a42d68f2f",
-      "own": "0256832e32d50d95ea3fed7cd1075b80b2c9a3c5064086fb79cf09ade984e3c6"
+      "merkle": "d0dd99859bb418df8468e493b56fc8332f5be098b7ff4df35dc83e0e43d95dd0",
+      "own": "8713d37e5daa3e77e2dcb42a35439792c033824d9c6762bc959239147d77ed99"
     },
     "cpp.cpp.loadStoreCellAt": {
-      "merkle": "7c901b492bb1411af71ab9eb776b0435a2c2801ce2c71a36e9130b21e7bb6868",
-      "own": "b959d06912a6555418b02f721fa603dcfeea4bb61668710ae00b1e209cac784f"
+      "merkle": "49917fdedcee8ff6d0fdfb04d93ac34dfdc9103e239969a3a98e48b36dd676cc",
+      "own": "190c000106636a7e0a827071d84932d7d198547d801e8d1feccb38b34d7119df"
     },
     "cpp.cpp.loadStoreOtherBlock": {
-      "merkle": "48782f6dea4f3c3dbad0d96d2bd297b049fb911ac3ef0aca92e1301c3b5a6eb9",
-      "own": "cd6290f8859d0f24511083acdfd4541ae9e77cfdd115e86f552d5b4916ccb863"
+      "merkle": "3db8e8dcf0ce5cb38ea1c3fecd1c7b5fd713753281c7e8c682eb16acc65d969c",
+      "own": "8c8a07cc4729abfdecfcec2c55458f123d4d9e520224c91fa554895e79582c37"
     },
     "cpp.cpp.loadStoreOtherCell": {
-      "merkle": "7d05f939341e1a3277756be1819e456f67d5ecb8157cbf7684790851dbd3c46f",
+      "merkle": "3005c3fd39f45db7fc243ad13fb53bfb5b8e0894b41cb92850d30197da20a6a7",
       "own": "2179ea143c415527a5bb090f5ba0ad0b601702beeb36386355d27d5ca871488c"
     },
     "cpp.cpp.log1pTry": {
@@ -2799,7 +2831,7 @@
       "own": "794419d13eb30c650e03e3db1eac5afb8f2bba6c9c86a2b9374b946f5a56b95d"
     },
     "cpp.cpp.memAllocs": {
-      "merkle": "8a89ddb4f685424d12ed6d9c97340bfb82b42d1dc5de42270ee49e6d2ead0b38",
+      "merkle": "2d27b1dc2314b35ed2cfd9eb2829219d481a732d417536725c4b18cf6f8d9c47",
       "own": "122bd86045946dc4957e5ab007e0e2dea3432b27ff054d41a067fa6b16dcc8f9"
     },
     "cpp.cpp.memN": {
@@ -2807,7 +2839,7 @@
       "own": "a824186e13d96e26bddee1cacda4cd2b122edcf52c77c50e55ff9de18ad14d04"
     },
     "cpp.cpp.memNew": {
-      "merkle": "79d5bca0dd88261a299908f10a2c14a29bcb13961c1b99d76fdb7d5848b07a3f",
+      "merkle": "632dcf6bada826e098786517d501b2c8e0c2544b477aaab91243d6c4f67a8acc",
       "own": "4709635877b49ccbf27705340916d69ce0ad7361e1bc3436f0d6b4a045a26d91"
     },
     "cpp.cpp.memV": {
@@ -2914,6 +2946,10 @@
       "merkle": "f30e4802e5ceb7777aa449fa986e7c49e845b1ba610a6d98992eab64cfac06e0",
       "own": "b0e06c31da5f5f602635d16f4e822ff485ad960864a9a176df958fca8d0128cd"
     },
+    "cpp.cpp.natMinus": {
+      "merkle": "3ee6574f6ce8539bb92157a846facc6826eea2f8edd48e627dac09a35cd49e6f",
+      "own": "fc60dfc162b5dc4654d7c9f6558429704aab51502b196f45731a5d539114851e"
+    },
     "cpp.cpp.natPlus": {
       "merkle": "b1555d3d0a0f762ac9a9aa26b52b7e61e572c66fc43e82e387862dc3a41d997e",
       "own": "9d9b06187bf384cb04f119a9f2b40e987f379255dcf6d5d4609d73a0e55639ef"
@@ -2939,12 +2975,12 @@
       "own": "7d1c9e668363ab0088fd1d954080e0e94bdc0743d4bce8cf57244e13c6560805"
     },
     "cpp.cpp.newArr": {
-      "merkle": "88311a436e5eed20287379a89c28697e39f05cfda14ab5ad3d909a9b41d21b33",
-      "own": "a28fae230d21dc9d8e527422344b8fdffb834898b7144bc0579526ae4428be02"
+      "merkle": "d86022253ecfbc1895346299182deb29ca5782c5914d62183491f0849096f15b",
+      "own": "abe35ef5421ec1000e19c4d77e80b1ea3d35ffa0262d7513f61b66b0e3dcd925"
     },
     "cpp.cpp.newObj": {
-      "merkle": "098bdf1b79349aef80869822ec6b917f12f4c1c5d71c29e6dfd7f1519ed3a39c",
-      "own": "36c0de78e2c9ed230c0c410680db578ad15eda6a0b93d5ab31214e72099a0f5e"
+      "merkle": "86509a6cc344700fa4fe6a35ee6a0a20023ea6111315949c9d15606ad43bd1e5",
+      "own": "87baaec55decc6f96d5f2305d3e809e433cae6aff132dc5ab918da2d8de87f2c"
     },
     "cpp.cpp.nmul": {
       "merkle": "d84da9875e52d5485e8e6d5a8ff8551f3bda2a9fa573d4783a83dc75915e1d61",
@@ -2987,7 +3023,7 @@
       "own": "e44f3aad9bffd3b3dd05f8ba890cfa45ec2ce6041484313ed7ed8319979092fe"
     },
     "cpp.cpp.nthUpdOther": {
-      "merkle": "200c68434dc5966927fd9a5c8180a3c3f14cf21a7acd1fb1fad9366017141cca",
+      "merkle": "5b4f0588b2571df2be87e2a71fec261469dd5ccfc494426ad4309e076f770322",
       "own": "b9f9da5616dec995a56198b6f719c300047382c99ac6fcc9954ae7451ccb0595"
     },
     "cpp.cpp.nthVal": {
@@ -3050,6 +3086,10 @@
       "merkle": "2fbb98b6275ee349b83f3a484ac8f3cd7fd092da0e4f397ab8ba28204aac09f9",
       "own": "cef6c2e785e2d1a00c196ea7dab3e51970d4740e02bb7c797f0ca36b488b3545"
     },
+    "cpp.cpp.padZeros": {
+      "merkle": "2498eeee194c931aeccd3a3c6bd46c28e3c44948d9e7a1a90e1b031c9b724112",
+      "own": "81313f78911befcb9ac753df06d5c39c0bfd400762e0ee7d8063e49a749b9657"
+    },
     "cpp.cpp.pfirst": {
       "merkle": "f7ecc3ff134776ee0a4ead57933fb8f2a1f32beef5b5eb2130c3b0b04b0932b1",
       "own": "79558b79ce72b819696c9b6da1f65852c91e31f528096713d53f2944837d060c"
@@ -3179,7 +3219,7 @@
       "own": "f492278ed096b313bb486b7ee8e44a87cd335ed24c2e36046770ea2f8fd64221"
     },
     "cpp.cpp.ptrAdd": {
-      "merkle": "4599111a3ee3a9a497a1f435b3714dfda5dbe58cfcbfc70b37de6aa706b40e20",
+      "merkle": "80cc25a6b5d570795f5048f2d0b848f2aad8b8c8acd806ecc5569f1d1243933b",
       "own": "44d1cbefda32479feb1f00cda3f4509f544f8c4a69a46097c6e9767b4d5d5be0"
     },
     "cpp.cpp.ptrBlock": {
@@ -3795,20 +3835,20 @@
       "own": "1016e71aa2e588f6ecbfad779fc98351a7041c08119d4a130514982818e28603"
     },
     "cpp.cpp.store": {
-      "merkle": "4383c40a95d4dff7b64637a698b9c48ac61039e7cfe6d0eac4419e71e7fcf284",
-      "own": "f9dbec514456fb8a597f394fd81e1403e38f5b024cadf0e6a7d7e4d658f888c1"
+      "merkle": "0a53cc7ceed0d3d4767c34aff35427f97e677a82dafb5fdcda7731930cfec829",
+      "own": "3ecfcc72851a19f62f6a026d1ed809b70053314fc9a091141c9a9d99a886fc0c"
     },
     "cpp.cpp.storeAfterDelete": {
-      "merkle": "78162d7096716deee1f7eec72838c5cb915c8167da7d71e2f1f5b22ee32e84c4",
-      "own": "be8413582e2845f3cb6e5ea151cfef2a68d93f9b107d11b1ceabf5aacf6f7ffe"
+      "merkle": "30f00bb26b1362c370365c2f428ea25dbb48a82674d625942aeb9479a087ae7a",
+      "own": "7c9cb12d8d36d75e4ee3f3cd984b93ca89727036a8114c2c020c9986d129d8f9"
     },
     "cpp.cpp.storeAfterScope": {
-      "merkle": "0f606ad3df07945c33b3c8acf97101098c9170064d1687aeb90d3113005ea076",
-      "own": "33c7d015b45e50132cda8cba477c64e4282ea4bd2dc2d1f27bc82da7661c98c7"
+      "merkle": "e3ccedffa5522602afa064dfe2c67a971243dc9c0c0dad796b9eca67e5a12c01",
+      "own": "6eb92e99820381565d336a4e16772922e4306cee43626983715b7beb33a91728"
     },
     "cpp.cpp.storeAt": {
-      "merkle": "a19235d8e89569ff6326ae1fad0366b8f335408c93b8271d2277b1744fcb271d",
-      "own": "2c2f8ff26754c83537a077a972551817f1f88a8b14ae55649cfe46bdf26124b0"
+      "merkle": "7a886588904f1493db4ed00524f9ca5e32ef1801609393036f11d26bd5b7e144",
+      "own": "b314f422497738df2399c73e125dcf10816dacec964b6a5509a8a8aae354212b"
     },
     "cpp.cpp.stoul": {
       "merkle": "d1b431ca7b1703515f1f817178ff27a3c471f371770fe710642cbcdad0a3d5cd",
@@ -3955,21 +3995,33 @@
       "own": "60adcc2b7e26676824960fe26b639e85236163d3433933d936f09ee5021fdc0a"
     },
     "cpp.cpp.strcatC": {
-      "merkle": "03eeba64f05e60d10c88b45c3553f6acea831f2f67c10affaa478383781093e5",
+      "merkle": "7e73256dea6e1316205b580154cb28b6992de8d6e59217b54dddf81948c073f7",
       "own": "2bf1b922355e0a456e45ae963b49d466d967f1648e9762ea6aa96e1650f57bc3"
     },
+    "cpp.cpp.strchrC": {
+      "merkle": "b1d8eecea64ec8bd584418e6c7dccb009565ef95ca61f95ede16f8fe917c40b1",
+      "own": "f11c029a346dde9176ed03253d6b778aad2be693c01323235e5564e4940e4c42"
+    },
     "cpp.cpp.strcmpC": {
-      "merkle": "2b32e0fd9ffa15695fad5628eb00720e6f5cd978988a8d6acaf6a6680d36d0ba",
+      "merkle": "a8ceec0e73b5a8e3acc25cdbd76560ca441eb61e21276a601a0460c0cb2c143d",
       "own": "8136fc5b876958062cf9278e49c973595a8f28737b80e8d449a1568af64a6725"
     },
     "cpp.cpp.strcpyC": {
-      "merkle": "963ffe2b86e218fad47ff876ea3e4e40e00699895e604407f1ecc4dd0eae33d2",
+      "merkle": "32747d44b8bce20badb74ba5248bbc867687ba310a945d02c2329e8aac7da65b",
       "own": "21be79b220fa65afb7cd2251798f7d70238028fc70d1c29719e09c3cfa32ef09"
     },
     "cpp.cpp.strlenC": {
-      "merkle": "8054e13b4d8ab769b41f14bf7fc21f69c43ad2082581416e96c427d2a0d0b09a",
+      "merkle": "0d28b9ff1a0f69b8acb5bb555475e8382c63038b34ee940be3d96ee51f5c1ece",
       "own": "20ecb92cc21f4cc0367951266096da3c4142026817879aa07ce05ea9ce90aec4"
     },
+    "cpp.cpp.strncmpC": {
+      "merkle": "a08c325a9664bccc911664c2879c7e543cf2a50c48ba015e3f03564585d2c020",
+      "own": "3e5d949130de61bbbda9b8e15a2d0f9adea414093c2553d3d580df0fd17dbeda"
+    },
+    "cpp.cpp.strncpyC": {
+      "merkle": "9944e43982802aa37a367b044c165463fdafab71d8a6e6c4864627516d69d3c5",
+      "own": "1e550540e015c5cabe27e09df2ea6cf39c89d783353da4942cda73d380f4ca57"
+    },
     "cpp.cpp.strtodNum": {
       "merkle": "9c050beaf6b649f62e42a283091b369b8a1337aa292dcf83ca01c89835dd7bb9",
       "own": "f1eb17c24b51cb94eefaa65def1bbc3bd86890ee5be92b73baa1de99adec11cb"
@@ -4263,7 +4315,7 @@
       "own": "5934b1f6096475f92e318f1a81b7976da9d0a7aaf52d966ebf530536c20bcd43"
     },
     "cpp.cpp.updBlock": {
-      "merkle": "49813079dd7673def72e6226a60c43584b8c35f13830627f493f53efae44b09b",
+      "merkle": "da86e0456110619582cb6aecb376830cf817f48f7de65e6172752033e62ce55f",
       "own": "686b8c1958ef00d9086eadc24efe7dc37b0f732f0564fd1a19efa1d97728e03f"
     },
     "cpp.cpp.upperChar": {
@@ -4375,12 +4427,12 @@
       "own": "c66fa754525736f21ba203ea433fbacdf0d33f383d52677ed173e8e2de02c4b6"
     },
     "cpp.cpp.writableAt": {
-      "merkle": "32d7c96d08aa10ae2c9d692d5bbefba2153164adcde032bf8a7eadd4591ba662",
-      "own": "8e0e3b41fcd65651027e0566b3870f04f270ee93ccaa6a77d05e2a0691216e4e"
+      "merkle": "ba023ac287ea84f9a3572b6aac8b992e12d4b896b65cf796dfd4e6540fbdbe32",
+      "own": "20d7ff012eee6ecffd362aace492436cac0648aa45d9ef41e87582475559aad0"
     },
     "cpp.cpp.writeBytes": {
-      "merkle": "9119e7fd1e0c419ba64aec8cb988a76c9dde470968e4f33101a8c10f2881e132",
-      "own": "b05837e03f23f0bb6e6a110c0c094b810da41878a52476ff3dc0ef95e15a829e"
+      "merkle": "287636ce0429a530bc50b059ddd0603e208085e68d7a75e8a465ba1e7fcb98db",
+      "own": "d9af3d3c0ccf2cefb22e3df325eb30e3fa38652728168ebc1373b1d8cc6c7b79"
     },
     "cpp.cpp.xorB": {
       "merkle": "b053368e78f8f935f799f09213b5757113a456775728d8d3f98f9e4b992dd1b1",
@@ -4422,7 +4474,7 @@
   "format": 1,
   "modules": {
     "cpp": {
-      "bytes": 2458798,
+      "bytes": 2481223,
       "deps": [
         "cpp"
       ]
@@ -4430,7 +4482,7 @@
   },
   "requires": {
     "cella-lang": {
-      "checkerHash": "93bae3fe19afba3f",
+      "checkerHash": "9ceb42ea85ca0fbc",
       "modules": [
         "int"
       ]

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cella-lang/cpp",
-  "version": "0.1.202610100816",
+  "version": "0.1.202610100934",
   "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.202610100816"
+    "cella-lang": "0.1.202610100934"
   },
   "cella": {
-    "checkerHash": "93bae3fe19afba3f",
+    "checkerHash": "9ceb42ea85ca0fbc",
     "cbfVersion": 24,
     "modules": [
       "cpp"
     ],
-    "packHash": "e61ca013737384d7"
+    "packHash": "4e47c77f65efed00"
   }
 }