寻观「标准库」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则数据」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编栈表示证明」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编栈数值生成」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编栈填充证明」之书。
寻观「编译器核心」之「网页汇编核心」之「回收模块」之书。
「：文言：证其界与步，八项并写，余者逐写；失界则循旧检。汉语：仅消费封闭非逃逸调用图中的填充证书。保持私有签名与完整检查后备，入口以无符号比较证明0≤扫描≤上界≤数组长度；八项批次只在剩余数量足够时执行。值使用模2^64加减乘，初始化仍由根入口完整执行。：」
「：文言：令以回收之串构之，慢、快、守三函以回收之项构之，其先后同旧文。汉语：指令构造成回收串；检查后备、快体与守卫三个函数构造成回收函数项，先后顺序与原先的 WAT 文本相同。：」
「写栈填式」乃化「栈填表达」而「回收串」也。
「写栈填式」者会「式」而鉴「式」而
 有（「栈填原子」于「值」）则「写栈原子」于「值」
 或有（「栈填二元」于「名」于「甲」于「乙」）则「回收串并」于（「列」【「写栈填式」于「甲」，「写栈填式」于「乙」，「栈整数术」于「名」】）也。
「生成栈向量填充包」乃化（化「字符串」而「栈表示签」）而化（化「字符串」而「字符串」）而化「栈表示签」而化「整数」而化「正则函数」而「或可有」于「回收项串」也。
「生成栈向量填充包」者会「查签」而会「取名」而会「本签」而会「根号」而会「函」而
 若「或者」于（「非」于（「小于」于「根号」于「零」））于（「大于」于（「函」中「四」）于「一二八」）则「可无」否则
 鉴（「验栈表示」于「查签」于「本签」于「根号」于「函」）而有「可无」则「可无」或有（「可有」于「类表」）则（
 鉴（「验栈填充」于「本签」于「函」）而有「可无」则「可无」或有（「可有」于「证」）则（
 虑「慢名」者（化「字符串」而「字符串」也会「名」而（「取名」于「名」）附（若「串相等」于「名」于（「函」中「零」）则『z』否则『』））而
 鉴（「生成栈检查后备」于「查签」于「慢名」于「本签」于「根号」于「函」）而有「可无」则「可无」或有（「可有」于「慢体」）则（
 虑「组」者「证」中「零」而虑「上」者「证」中「一」而虑「扫」者「证」中「二」而虑「率」者「证」中「四」而
 虑「名」者「取名」于（「函」中「零」）而虑「快名」者「名」附『q』而
 虑「取」者（化「整数」而「回收串」也会「号」而「写栈原子」于（「正则局部」于「号」））而
 虑「型用」者「回收型内联」于（「态射」授以「整数」授以「回收值型」于（「函」中「二」）于（会「号」而若「等于」于「号」于「组」则「回收整三二」否则「回收整六四」））于（「列」【「回收整六四」】）而
 虑「参名们」者「态射」授以「整数」授以「字符串」于（「函」中「二」）于「栈局部名」而
 虑「传」者「回收串并」于（「态射」授以「整数」授以「回收串」于（「函」中「二」）于「取」）而
 虑「向量常数」者（化「整数」而「回收指令」也会「数」而「回收整六四双常」于「数」于「数」）而
 虑「递向量」者（化「整数」而「回收串」也会「数」而
  若「小于」于「数」于「零」则「回收令列」于（「列」【「向量常数」于（「减」于「零」于「数」），「回收整六四双减」】）否则「回收令列」于（「列」【「向量常数」于「数」，「回收整六四双加」】））而
 虑「向量名」者（化「整数」而「字符串」也会「号」而『$fv』附（「整数表示」于「号」））而
 虑「四位」者「整数范围」于「零」于「四」而
 虑「声明」者「态射」授以「整数」授以「回收局部」于「四位」于（会「号」而（「向量名」于「号」）与「回收向量型」）而
 虑「初向量」者「回收串并」于（「列」【
  「写栈填式」于（「证」中「三」），「回收令列」于（「列」【「回收局部暂存」于『$fx』，「回收整六四双铺」，「回收局部取」于『$fx』，「回收整六四常」于「率」，「回收整六四加」，「回收整六四双换道」于「一」，「回收局部存」于『$fv0』】），
  「回收串并」于（「态射」授以「整数」授以「回收串」于（「整数范围」于「一」于「四」）于（会「号」而
   「回收串并」于（「列」【「回收单令」于（「回收局部取」于（「向量名」于（「减」于「号」于「一」））），「递向量」于（「乘」于「二」于「率」），「回收单令」于（「回收局部存」于（「向量名」于「号」））】）））】）而
 虑「并写」者「回收串并」于（「态射」授以「整数」授以「回收串」于「四位」于（会「号」而
  「回收令列」于（「列」【「回收局部取」于『$fp』，「回收局部取」于（「向量名」于「号」），「回收向量内存码」于「一一」于（「三」与（「乘」于「一六」于「号」））】）））而
 虑「并进」者若「等于」于「率」于「零」则「回收空串」否则「回收串并」于（「态射」授以「整数」授以「回收串」于「四位」于（会「号」而
  「回收串并」于（「列」【「回收单令」于（「回收局部取」于（「向量名」于「号」）），「递向量」于（「乘」于「八」于「率」），「回收单令」于（「回收局部存」于（「向量名」于「号」））】）））而
 虑「快体」者「回收函数项」于「快名」于「型用」于「参名们」于（「附加」授以「回收局部」于（「列」【『$fp』与「回收整三二」，『$fg』与「回收整三二」，『$fr』与「回收整六四」，『$fx』与「回收整六四」】）于「声明」）于（「回收串并」于（「列」【
  「取」于「上」，「取」于「扫」，「回收令列」于（「列」【「回收整六四减」，「回收局部存」于『$fr』】），「取」于「组」，「回收令列」于（「列」【「回收整三二常」于「八」，「回收整三二加」】），「取」于「扫」，「回收令列」于（「列」【「回收整六四截三二」，「回收整三二常」于「三」，「回收整三二左移」，「回收整三二加」，「回收局部存」于『$fp』】），
  「初向量」，「回收令列」于（「列」【「回收局部取」于『$fr』，「回收整六四常」于「三」，「回收整六四无符号右移」，「回收整六四截三二」，「回收局部存」于『$fg』，「回收局部取」于『$fr』，「回收整六四常」于「七」，「回收整六四与」，「回收局部存」于『$fr』，「回收局部取」于『$fg』，「回收若」于『』于「回收块无果」，「回收循环」于『$fill8』于「回收块无果」】），
  「并写」，「回收令列」于（「列」【「回收局部取」于『$fp』，「回收整三二常」于「六四」，「回收整三二加」，「回收局部存」于『$fp』】），「并进」，「回收令列」于（「列」【「回收局部取」于『$fg』，「回收整三二常」于「一」，「回收整三二减」，「回收局部暂存」于『$fg』，「回收条件跳」于（「回收名标」于『$fill8』），「回收结束」，「回收结束」】），
  「回收令列」于（「列」【「回收局部取」于『$fv0』，「回收整六四双取道」于「零」，「回收局部存」于『$fx』，「回收块」于『$filled』于「回收块无果」，「回收循环」于『$fill1』于「回收块无果」，「回收局部取」于『$fr』，「回收整六四为零」，「回收条件跳」于（「回收名标」于『$filled』），「回收局部取」于『$fp』，「回收局部取」于『$fx』，「回收整六四存」于「零」，「回收局部取」于『$fp』，「回收整三二常」于「八」，「回收整三二加」，「回收局部存」于『$fp』】），
  若「等于」于「率」于「零」则「回收空串」否则「回收令列」于（「列」【「回收局部取」于『$fx』，「回收整六四常」于「率」，「回收整六四加」，「回收局部存」于『$fx』】），
  「回收令列」于（「列」【「回收局部取」于『$fr』，「回收整六四常」于「一」，「回收整六四减」，「回收局部存」于『$fr』，「回收跳」于（「回收名标」于『$fill1』），「回收结束」，「回收结束」，「回收整六四常」于「零」】）】））而
 「可有」于（「回收项并」于（「列」【「慢体」，「回收项列」于（「列」【「快体」，「回收函数项」于「名」于「型用」于「参名们」于（「罄」授以「回收局部」）于
  （「回收串并」于（「列」【「取」于「上」，「取」于「组」，「回收令列」于（「列」【「回收整三二读」于「零」，「回收整三二无符号扩六四」，「回收整六四无符号小等」】），「取」于「扫」，「取」于「上」，「回收令列」于（「列」【「回收整六四无符号小等」，「回收整三二与」，「回收若」于『』于（「回收块单果」于「回收整六四」）】），
  「传」，「回收单令」于（「回收尾调用」于「快名」），「回收单令」于「回收否则」，「传」，「回收单令」于（「回收尾调用」于（「慢名」于（「函」中「零」））），「回收单令」于「回收结束」】））】）】）））））也。
