（「引用类」于「爻」）

文言：控制依统一正则，叶术归编码基础。汉语：控制流只消费统一 ANF，原语由共享编码基础实现，不再保留另一条 ANF 后端。

（「引用类」于「爻」）

暂无说明。

（「引用类」于「整数」）

文言：控制标签自编号，局部依正则值号。汉语：异常块标签由统一后端生成，不再借用旧 ANF 生成器的状态。

化「有」而「字符串」

暂无说明。

化「整数」而「字符串」

暂无说明。

化「整数」而「字符串」

暂无说明。

化「正则原子」而「表达式」

暂无说明。

化「正则操作」而化（「列」于「正则原子」）而「表达式」

暂无说明。

「回收串」

文言：常用之令。汉语：常用指令片段。

「回收串」

文言：试其为整，小整或大整，与前果相与；以 $u 暂存。汉语：检查栈顶引用是否为整数（i31 或 $big），与已有条件相与；用 $u 暂存。

化「爻」而化「字符串」而「回收串」

文言：尾则尾调，否则常调。汉语：尾位置用 return_call，否则用 call。

化「正则原子」而「回收串」

暂无说明。

化「正则原子」而「回收串」

暂无说明。

「回收串」

文言：取小整之真值。汉语：把 i31 布尔值取为 i32。

化「正则原子」而「回收串」

文言：爻由比较所得，径以判支，通用处乃装。汉语：比较结果存为 i32，分支直接消费；只在元组、数组、闭包等通用引用使用点重建 i31 布尔值。不把任意整数的真假测试改成非零判断。

化「正则原子」而「回收串」

暂无说明。

化「正则原子」而「回收串」

暂无说明。

化（「列」于「整数」）而化（「列」于「正则原子」）而「回收串」

暂无说明。

化（「列」于「整数」）而化（「列」于「正则原子」）而「回收串」

暂无说明。

化「爻」而化「字符串」而化（「列」于「正则原子」）而化化「有」而「回收串」而「回收串」

暂无说明。

化（「列」于「正则原子」）而「回收串」

暂无说明。

化「整数」而化（「列」于「正则原子」）而「回收串」

暂无说明。

化「整数」而化（「列」于「正则原子」）而「爻」

暂无说明。

化（「列」于「整数」）而「回收串」

暂无说明。

化（「列」于「正则原子」）而「回收串」

暂无说明。

化「整数」而化「整数」而化「正则原子」而「回收串」

暂无说明。

化「爻」而化「正则操作」而化（「列」于「正则原子」）而「回收串」

暂无说明。

化「爻」而化「整数」而化「正则操作」而化（「列」于「正则原子」）而「回收串」

暂无说明。

化「爻」而化「爻」而化「正则区域」而「回收串」

暂无说明。

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

暂无说明。

化（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）而化「爻」而（「列」于（「字符串」合「回收值型」））

文言：函数局部之序：$u、$j，含影则次以整参之通用影，次诸通用局部，次诸整局部，次诸爻局部。汉语：函数局部变量（不含参数）的固定顺序：$u、$j；快体还要为整数参数保留通用引用影子；然后是其余通用局部、i64 局部、i32 爻局部。顺序决定局部编号。

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

暂无说明。

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

暂无说明。

「回收模块项」

文言：公门之表、通用之型与三种数组之型。汉语：模块级固定声明：变体、整数数组、字节数组三种类型。

「回收模块项」

暂无说明。

「回收模块项」

暂无说明。

化（「列」于（「字符串」合「爻」合「表达式」））而「回收项串」

文言：一模块之诸项，依原序：公门之型、运行时、诸数组之型、私形之型、函数之表、字面、全局、构造之常、诸函数、融合之函、起始之函。汉语：整个模块的项，顺序固定：公开函数类型、客体运行时、数组与变体类型、私有形状类型、函数表与元素段、字面量数据段与全局、模块全局、构造常量、各函数、融合函数、导出的 _start。