寻观「标准库」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则数据」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编混合整数」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编编码基础」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编双步生成」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编私有整组」之书。
寻观「编译器核心」之「网页汇编核心」之「回收模块」之书。
寻观「编译器核心」之「网页汇编核心」之「回收文本」之书。
「：文言：号有共同前缀，不可误删；未定之整，不可废其验；整组之参，去其转。汉语：删除必须按完整指令匹配，i12不得误匹配i123；动态拆箱和除法即使结果无读取仍保留；私有整数数组参数读取后的类型转换被删去。：」
「验」乃化「爻」而「有」也。
「验」者会「真」而若「真」则「元」否则「发生事故」授以「有」于『单步压缩失败』也。
「无串」乃化「字符串」而化「回收串」而「爻」也。
「无串」者会「找」而会「串」而鉴（「串从左搜索单个」于「找」于（「回收串转文」于「串」））而有「可无」则「阳」或有「其他」则「阴」也。
「写引用」于「混整位」于（「新数组引用」授以「爻」于「阳」于「一二八」）。
「写引用」于「混整爻位」于（「新数组引用」授以「爻」于「阴」于「一二八」）。
「令」乃化「整数」而化「字符串」而化「正则原子」而「正则指令」也。
「令」者会「号」而会「名」而会「值」而「正则运算」于「号」于「正则整数值」于（「正则原语」于「名」）于（「列」【「值」，「正则整数」于「一」】）也。
「体」者「正则段」于（「列」【「令」于「一二三」于『豫言_整数加』于（「正则整数」于「一」），「令」于「一二」于『豫言_整数加』于（「正则整数」于「一」）】）于（「正则产出」于（「正则整数」于「零」））也。
「函」乃「正则函数」也。
「函」者『压缩』与「阴」与「罄」与「体」与「一二八」也。
「加令」者「回收令列」于（「列」【「回收整六四常」于「一」，「回收整六四常」于「一」，「回收整六四加」】）也。
「写术」乃化「整数」而化「正则操作」而化（「列」于「正则原子」）而「回收串」也。
「写术」者会「号」而会「术」而会「参」而「加令」也。
「存」乃化「字符串」而「回收串」也。
「存」者会「名」而「回收单令」于（「回收局部存」于「名」）也。
「原」者「回收拼」于（「列」【「加令」，「存」于『$i123』，「加令」，「存」于『$i12』】）也。
「压」者「压单步」于「函」于「体」于「原」于「写术」也。
「验」于（「且」于（「无串」于『3』于「压」）于（「无串」于『i64』于「压」））。
「写数组引用」授以「爻」于（「读引用」于「混整位」）于「零」于「阴」。
「未知体」者「正则段」于（「列」【「令」于「一二」于『豫言_整数加』于（「正则局部」于「零」）】）于（「正则产出」于（「正则整数」于「零」））也。
「未知串」者
  「回收令列」
    于（「列」【
      「回收局部取」于『$a0』，
      「回收调用」于『$unbox』，
      「回收整六四常」于「一」，
      「回收整六四加」，
      「回收局部存」于『$i12』
    】）
也。
「验」于（「非」于（「无串」于『call $unbox』于（「压单步」于「函」于「未知体」于「未知串」于「写术」）））。
「除体」者「正则段」于（「列」【「令」于「一二」于『豫言_整数除』于（「正则整数」于「一」）】）于（「正则产出」于（「正则整数」于「零」））也。
「除串」者
  「回收令列」
    于（「列」【「回收整六四常」于「一」，「回收整六四常」于「零」，「回收整六四有符号除」，「回收局部存」于『$i12』】）
也。
「验」于（「非」于（「无串」于『i64.div_s』于（「压单步」于「函」于「除体」于「除串」于「写术」）））。
「写引用」于「当前整组字节位」于（「新数组引用」授以「爻」于「阴」于「一二八」）。
「写引用」于「当前整组位」于（「新数组引用」授以「爻」于「阳」于「一二八」）。
「组函」乃「正则函数」也。
「组函」者『压缩』与「阴」与（「列」【「零」】）与（「正则段」于（「罄」授以「正则指令」）于（「正则产出」于（「正则整数」于「零」）））与「一二八」也。
「组串」者
  「回收令列」
    于（「列」【
      「回收局部取」于『$a0』，
      「回收引用转」于「阴」于（「回收堆名」于『$ints』），
      「回收局部取」于『$a1』，
      「回收引用转」于「阴」于（「回收堆名」于『$ints』）
    】）
也。
「组压」者「回收串转文」于（「压单步」于「组函」于（「组函」中「三」）于「组串」于「写术」）也。
「验」于（「串相等」于「组压」于（「回收串转文」于（「回收令列」于（「列」【「回收局部取」于『$a0』，「回收局部取」于『$a1』，「回收引用转」于「阴」于（「回收堆名」于『$ints』）】））））。
「打印行」于『单步压缩边界四项通过』。
