寻观「标准库」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则数据」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编邻接消除」之书。
寻观「编译器核心」之「网页汇编核心」之「回收模块」之书。
寻观「编译器核心」之「网页汇编核心」之「回收文本」之书。
「：文言：验单用与诸拒例，编号之界不可混，跨绳之界亦可消。汉语：测试单次使用消除、多次使用保留、形参保留、非邻接保留、编号前缀不误匹配，以及跨指令串片段边界的相邻存取也能消除。：」
「造函」乃化「整数」而「正则函数」也。
「造函」者会「模」而
 虑「运」者「正则运算」于「一」于「正则整数值」于（「正则原语」于『豫言_整数加』）于（「列」【「正则局部」于「零」，「正则整数」于「一」】）而
 『例』与「阴」与（「列」【「零」】）与（「正则段」于（若「等于」于「模」于「二」则（「列」【「运」，「正则运算」于「二」于「正则整数值」于（「正则原语」于『豫言_整数加』）于（「列」【「正则局部」于「一」，「正则局部」于「一」】）】）否则（「列」【「运」】））于（「正则产出」于（「正则局部」于（若「等于」于「模」于「二」则「二」否则「一」））））与（若「等于」于「模」于「六」则「一二九」否则「三」）也。
「验」乃化「整数」而化「回收串」而化「爻」而「有」也。
「验」者会「模」而会「原」而会「应变」而
 虑「果」者「消邻接搬运」于（「造函」于「模」）于（会「号」而『$i』附（「整数表示」于「号」））于「原」而
 虑「未变」者「串相等」于（「回收串转文」于「果」）于（「回收串转文」于「原」）而
 若「爻相等」于「未变」于（「非」于「应变」）则「元」否则「发生事故」授以「有」于『邻接消除错误』也。
「存取」乃化「字符串」而化「字符串」而「回收串」也。
「存取」者会「存名」而会「取名」而「回收令列」于（「列」【「回收局部存」于「存名」，「回收局部取」于「取名」】）也。
「验」于「零」于（「存取」于『$i1』于『$i1』）于「阳」。
「验」于「一」于（「回收串并」于（「列」【「存取」于『$i1』于『$i1』，「回收单令」于（「回收整六四常」于「一」）】））于「阳」。
「验」于「二」于（「存取」于『$i1』于『$i1』）于「阴」。
「验」于「三」于（「存取」于『$i0』于『$i0』）于「阴」。
「验」于「四」于（「回收令列」于（「列」【「回收局部存」于『$i1』，「回收空操作」，「回收局部取」于『$i1』】））于「阴」。
「验」于「五」于（「存取」于『$i1』于『$i10』）于「阴」。
「验」于「六」于（「存取」于『$i1』于『$i1』）于「阴」。
「验」于「零」于（「回收串并」于（「列」【
  「回收令列」于（「列」【「回收整六四常」于「一」，「回收局部存」于『$i1』】），
  「回收空串」，
  「回收令列」于（「列」【「回收局部取」于『$i1』，「回收整六四常」于「二」，「回收整六四加」】）
】））于「阳」。
「打印行」于『邻接八项通过』。
