化（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）而（「数组引用类」于「爻」）

文言：公门守约，先验而后解；容量不足，复其旧途。汉语：包装保持引用 ABI。未知类型、负长度、容量超限或 memory.grow 失败均调用原 GC 后备，参数不变。允许根数组之前有已证明的整数加减乘；初始化值与长度可引用这些前导结果。前导在类型守卫后、容量预留前执行，失败后备重新执行无副作用的前导。上层必须另证不逃逸、纯数值载荷、整个活跃调用图无宿主重入及无子数组分配；本模块不能单独授权从零使用栈帧。已由实验后端组合调用，默认关闭。

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

文言：令以回收之串构之，函以回收之项构之；公门之型以名引 $tN（N 为参数），其型由模块供之。汉语：指令构造成回收串，整个入口构造成回收函数项；入口按名字引用函数类型 $tN（N 为参数个数），该类型项由模块另行提供。