化化「字符串」而（（「列」于「整数」）合「整数」）而化化「字符串」而「字符串」而化（（「列」于「整数」）合「整数」）而化「整数」而化（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）而（「或可有」于「回收项串」）

文言：界须小于恒上，上须不逾组长，乃可省逐项之检。汉语：只优化无根分配且恰有一个数组形参的闭合私有体。范围证明要求每个授权索引严格小于第一守卫参数，并证明回边保持该上界；入口检查上界不超过数组长度与参数有序关系。表示证明确保数组地址只来自唯一形参，递归不换数组。未授权的操作保留完整检查，守卫失败进入同签名检查体。 文言：守卫之令以回收之串构之，慢、快、守三函以回收之项构之，其先后同旧文。汉语：守卫与转发的指令构造成回收串；检查后备、快体与守卫三个函数构造成回收函数项，先后顺序与原先的 WAT 文本相同。

化化「字符串」而（（「列」于「整数」）合「整数」）而化化「字符串」而「字符串」而化（（「列」于「整数」）合「整数」）而化「整数」而化（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）而（「或可有」于「回收项串」）

文言：先求并写之证，不获乃循界内旧术。汉语：优先选择已证明的向量填充，其余循环沿用既有范围优化。