寻观「标准库」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则数据」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编编码基础」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编混合整数」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编私有签名」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编私有整组」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编返回证明」之书。

「：文言：私约定其参，返回之证定其果；快体之事实勿流入后备。汉语：首批为已证明的单个宽整数数组调用链生成整数返回入口。结果资格只在当前快体传播，后备体恢复传播前的局部表示表。：」
「私有整数返回表」者「新引用」授以（「数组引用类」于「爻」）
于（「新数组引用」授以「爻」于「阴」于「零」）
也。

「当前整数返回体」者「新引用」授以「爻」于「阴」也。

「当前整数返回调用」者「新引用」授以（「数组引用类」于「爻」）
于（「新数组引用」授以「爻」于「阴」于「零」）
也。

「返回旧整位」者「新引用」授以（「数组引用类」于「爻」）
于（「新数组引用」授以「爻」于「阴」于「零」）
也。

「备私有整数返回」乃化「正则模块」而「有」也。
「备私有整数返回」者会「诸函」而
  虑「表」者
    「新数组引用」授以「爻」于「阴」于（「长度」授以「正则函数」于「诸函」）而
    虑「无」者「写引用」于「私有整数返回表」于「表」而
    虑「无」者
      「态射」授以「正则函数」授以「有」
      于「诸函」
      于（会「函」而
      虑「号」者
        「查编号」于（「读引用」于「函数索引」）于（「函」中「零」）而
        虑「约」者
          「读数组引用」授以「私有签名」
          于（「读引用」于「私有签名表」）于「号」而
          虑「签」者「约」中「一」而
          若「小于」
            于（「读数组引用」授以「整数」于（「读引用」于「整组参数表」）于「号」）
            于「零」则「元」
          否则
            若「等于」
              于（「长度」授以「整数」于「签」）
              于（「长度」授以「整数」于（「函」中「二」））则
              虑「整参」者
                「滤」授以「整数」
                于（会「位」而「等于」于（「第N个」授以「整数」于「位」于「签」）于「一」）
                于（「函」中「二」）
              而
              若「等于」于（「长度」授以「整数」于「整参」）于「零」则
                「元」
              否则
                「写数组引用」授以「爻」
                于「表」于「号」
                于（「验整数返回」于「函」于「整参」）
            否则
              「元」
      ）
    而
    「元」
也。

「备当前整数返回」乃化「正则函数」而「有」也。
「备当前整数返回」者会「函」而
  虑「旧」者「读引用」于「混整位」而
  虑「新」者「新数组引用」授以「爻」于「阴」于（「函」中「四」）而
  虑「调用」者「新数组引用」授以「爻」于「阴」于（「函」中「四」）而
  虑「无」者
    「态射」授以「整数」授以「有」
    于（「整数范围」于「零」于（「函」中「四」））
    于（会「号」而「写数组引用」授以「爻」于「新」于「号」于（「读数组引用」授以「爻」于「旧」于「号」））而
    虑「无」者「写引用」于「返回旧整位」于「旧」而
    虑「无」者「写引用」于「混整位」于「新」而
    虑「无」者「写引用」于「当前整数返回调用」于「调用」而
    递归虑「扫」其化「正则区域」而「有」者会「段」而
      鉴「段」而
        有（「正则段」于「诸令」于「终」）则
          虑「无」者
            「态射」授以「正则指令」授以「有」
            于「诸令」
            于（会「令」而鉴「令」而
              有（「正则运算」于「号」于「类」于「正则调用」于（「缀」于（「正则函数引用」于「名」）于「参」））则（
                虑「往」者
                  「查编号」于（「读引用」于「函数索引」）于「名」而
                若「小于」于「往」于「零」则
                  「元」
                否则若「读数组引用」授以「爻」
                于（「读引用」于「私有整数返回表」）于「往」则
                  虑「签」者
                    （「读数组引用」授以「私有签名」于（「读引用」于「私有签名表」）于「往」）中「一」而
                    虑「组位」者
                      「读数组引用」授以「整数」
                      于（「读引用」于「整组参数表」）于「往」而
                    若「等于」
                      于（「长度」授以「正则原子」于「参」）
                      于（「长度」授以「整数」于「签」）则
                      虑「组」者
                        「第N个」授以「正则原子」于「组位」于「参」而
                      若「且」
                        于（「整组原子」于「组」）
                        于（「非」于（「整组字节原子」于「组」））则
                        若「整组快参已知」于「签」于「参」则
                          （（「写数组引用」授以「爻」于「调用」于「号」于「阳」）；
                            （「写数组引用」授以「爻」于「新」于「号」于「阳」））
                        否则
                          「元」
                      否则
                        「元」
                    否则
                      「元」
                否则
                  「元」
              ）
              或有（「正则如果」于「号」于「类」于「条件」于「阳体」于「阴体」）则
                （「扫」于「阳体」；
                  「扫」于「阴体」；
                  若「且」
                    于（「混整区域产整数」于「阳体」）
                    于（「混整区域产整数」于「阴体」）则
                      「写数组引用」授以「爻」于「新」于「号」于「阳」
                  否则
                    「元」）
              或有「其他」则「元」）
          而
          「元」
    而
    「扫」于（「函」中「三」）
也。

「还原整数返回」乃化「正则函数」而「有」也。
「还原整数返回」者会「函」而
  （「写引用」于「混整位」于（「读引用」于「返回旧整位」）；
    「写引用」于「当前整数返回调用」于（「新数组引用」授以「爻」于「阴」于（「函」中「四」）））
也。
