寻观「标准库」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则数据」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编编码基础」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编整数专门化」之书。
寻观「编译器核心」之「网页汇编核心」之「回收模块」之书。
寻观「编译器核心」之「网页汇编核心」之「回收文本」之书。
「：文言：外约不易，内工可专。汉语：验证通用入口仍接收和返回引用，私有入口使用 i64 且不导出；函数存入数组后仍能通过通用闭包调用。：」
「验」乃化「爻」而「有」也。
「验」者会「真」而若「真」则「元」否则「发生事故」授以「有」于『私有入口约定失败』也。
「样函」乃「正则函数」也。
「样函」者『私有测试』与「阴」与（「列」【「零」】）与
 （「正则段」于（「列」【「正则运算」于「一」于「正则整数值」于（「正则原语」于『豫言_整数加』）于（「列」【「正则局部」于「零」，「正则整数」于「一」】）】）于（「正则产出」于（「正则局部」于「一」）））与「二」也。
「验」于（「可专整函数」于「样函」）。
「记编号」于（「读引用」于「函数索引」）于『私有测试』于「零」。
「文」者「回收项串转文」于（「回收项并」于（「列」【「写类型」于「零」，「写专整函数」于「样函」】））也。
「验」于（「是子字符串吗」于『(func $f0 (type $t1)』于「文」）。
「验」于（「是子字符串吗」于『(param $i0 (ref null eq))』于「文」）。
「验」于（「是子字符串吗」于『(result (ref null eq))』于「文」）。
「验」于（「是子字符串吗」于『(param $i0 i64)』于「文」）。
「验」于（「是子字符串吗」于『(result i64)』于「文」）。
「验」于（「是子字符串吗」于『call $n0「：换行：」call $box』于「文」）。
「验」于（「非」于（「是子字符串吗」于『export』于「文」））。
「斐波」乃化「整数」而「整数」也。
「斐波」者会「数」而若「小于」于「数」于「二」则「数」否则
 「加」于（「斐波」于（「减」于「数」于「一」））于（「斐波」于（「减」于「数」于「二」））也。
「诸工」者「新数组引用」授以（化「整数」而「整数」）于「斐波」于「一」也。
「工」者「读数组引用」授以（化「整数」而「整数」）于「诸工」于「零」也。
「验」于（「等于」于（「工」于「二零」）于「六七六五」）。
「打印行」于『私有入口兼容通过』。
