寻观「标准库」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则数据」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编栈表示证明」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编栈数值生成」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编线性栈基础」之书。
寻观「编译器核心」之「网页汇编核心」之「回收模块」之书。
寻观「编译器核心」之「网页汇编核心」之「回收文本」之书。
「：文言：以正则造填与求和，令生成器自生栈体；所生之项书为文，与手书之入口导出合为一模块。汉语：这是代码生成夹具，不手写算法 WAT；仅入口分配和测试导出手写，覆盖非尾调用、尾递归、分支、数组读写和根帧参数。生成的模块项经「回收项串转文」打印，与手写部分拼成一个模块。：」
「局」乃化「整数」而「正则原子」也。
「局」者会「号」而「正则局部」于「号」也。
「原」乃化「整数」而化「字符串」而化（「列」于「正则原子」）而「正则指令」也。
「原」者会「号」而会「名」而会「参」而「正则运算」于「号」于「正则通用值」于（「正则原语」于「名」）于「参」也。
「调」乃化「整数」而化「字符串」而化（「列」于「正则原子」）而「正则指令」也。
「调」者会「号」而会「名」而会「参」而「正则运算」于「号」于「正则通用值」于「正则调用」于（「缀」于（「正则函数引用」于「名」）于「参」）也。
「段」乃化（「列」于「正则指令」）而化「正则原子」而「正则区域」也。
「段」者会「诸令」而会「果」而「正则段」于「诸令」于（「正则产出」于「果」）也。
「填体」者「段」于（「列」【
 「原」于「三」于『豫言_整数相等』于（「列」【「局」于「二」，「局」于「一」】），
 「正则如果」于「四」于「正则通用值」于（「局」于「三」）于（「段」于「罄」于「正则单元」）于（「段」于（「列」【
 「原」于「五」于『豫言_整数减』于（「列」【「局」于「一」，「局」于「二」】），
 「原」于「六」于『豫言_写入引用数组』于（「列」【「局」于「五」，「局」于「二」，「局」于「零」】），
 「原」于「七」于『豫言_整数加』于（「列」【「局」于「二」，「正则整数」于「一」】），
 「调」于「八」于『填』于（「列」【「局」于「零」，「局」于「一」，「局」于「七」】）】）于（「局」于「八」））】）于（「局」于「四」）也。
「和体」者「段」于（「列」【
 「原」于「四」于『豫言_整数相等』于（「列」【「局」于「二」，「局」于「一」】），
 「正则如果」于「五」于「正则通用值」于（「局」于「四」）于（「段」于「罄」于（「局」于「三」））于（「段」于（「列」【
 「原」于「六」于『豫言_读取引用数组』于（「列」【「局」于「零」，「局」于「二」】），
 「原」于「七」于『豫言_整数加』于（「列」【「局」于「三」，「局」于「六」】），
 「原」于「八」于『豫言_整数加』于（「列」【「局」于「二」，「正则整数」于「一」】），
 「调」于「九」于『和』于（「列」【「局」于「零」，「局」于「一」，「局」于「八」，「局」于「七」】）】）于（「局」于「九」））】）于（「局」于「五」）也。
「根体」者「段」于（「列」【
 「原」于「二」于『豫言_新建引用数组』于（「列」【「局」于「一」，「局」于「零」】），
 「调」于「三」于『填』于（「列」【「局」于「二」，「局」于「零」，「正则整数」于「零」】），
 「调」于「四」于『和』于（「列」【「局」于「二」，「局」于「零」，「正则整数」于「零」，「正则整数」于「零」】）】）于（「局」于「四」）也。
「换体」者「段」于（「列」【
 「原」于「三」于『豫言_整数大于』于（「列」【「局」于「零」，「正则整数」于「零」】），
 「正则如果」于「四」于「正则通用值」于（「局」于「三」）于（「段」于（「列」【
 「原」于「五」于『豫言_整数减』于（「列」【「局」于「零」，「正则整数」于「一」】），
 「调」于「六」于『换』于（「列」【「局」于「五」，「局」于「二」，「局」于「一」】）】）于（「局」于「六」））于（「段」于「罄」于（「局」于「一」））】）于（「局」于「四」）也。
「查」乃化「字符串」而「栈表示签」也。
「查」者会「名」而鉴「名」而
 有『填』则（「列」【「四」，「一」，「一」】）与「三」
 或有『和』则（「列」【「四」，「一」，「一」，「一」】）与「一」
 或有『根』则（「列」【「一」，「一」】）与「一」
 或有『疏』则（「列」【「一」】）与「一」
 或有『换』则（「列」【「一」，「一」，「一」】）与「一」
 或有「其他」则（「罄」授以「整数」）与「零」也。
「名」乃化「字符串」而「字符串」也。
「名」者会「字」而鉴「字」而有『填』则『$s0』或有『和』则『$s1』或有『根』则『$s2』或有『疏』则『$s3』或有『换』则『$s4』或有「其他」则「发生事故」授以「字符串」于『未知夹具函数』也。
「生」乃化「字符串」而化「整数」而化「整数」而化「整数」而化「正则区域」而「回收项串」也。
「生」者会「字」而会「参数数」而会「局部数」而会「根」而会「体」而
 鉴（「生成栈数值体」于「查」于「名」于（「查」于「字」）于「根」于（「字」与「阴」与（「整数范围」于「零」于「参数数」）与「体」与「局部数」））而有（「可有」于「项」）则「项」或有「可无」则「发生事故」授以「回收项串」于『栈数值体生成失败』也。
「疏项」者鉴（「生成栈数值体」于「查」于「名」于（「查」于『疏』）于（「减」于「零」于「一」）于（『疏』与「阴」与（「列」【「二」】）与（「段」于「罄」于（「局」于「二」））与「三」））而有（「可有」于「项」）则「项」或有「可无」则「发生事故」授以「回收项串」于『非连续参数生成失败』也。
「打印行」于（「间合」于『「：换行：」』于（「列」【『(module (type $ints (array (mut i64)))』，
 「回收项串转文」于（「回收项并」于（「列」【「线性栈基础」，
 「生」于『填』于「三」于「九」于（「减」于「零」于「一」）于「填体」，
 「生」于『和』于「四」于「一零」于（「减」于「零」于「一」）于「和体」，
 「生」于『根』于「二」于「五」于「二」于「根体」，
 「疏项」，「生」于『换』于「三」于「七」于（「减」于「零」于「一」）于「换体」】）），
 『(func (export "run") (param $n i64) (result i64)
 i32.const 0 local.get $n call $reserve i32.const -1 i32.eq if unreachable end
 i32.const 0 local.get $n i32.wrap_i64 i32.store
 i32.const 8 i32.const 0 local.get $n i32.wrap_i64 i32.const 3 i32.shl memory.fill
 local.get $n i64.const 0 i32.const 0 call $s2)
 (export "sparse" (func $s3)) (export "swap" (func $s4))
 (export "sum" (func $s1)) (export "fill" (func $s0))
 (export "get" (func $lin_get)) (export "set" (func $lin_set))
 )』】））。
