寻观「标准库」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则数据」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则验证」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编纯调用复用」之书。
「：文言：同调须有先果，异支不相借。汉语：验证SSA重写、重复实参计算、调用支配关系与拒绝含陷阱的函数；重写前后均由独立SSA验证器检查。：」
「局」者「正则局部」也。
「算」乃化「整数」而化「字符串」而化（「列」于「正则原子」）而「正则指令」也。
「算」者会「号」而会「名」而会「参」而「正则运算」于「号」于「正则通用值」于（「正则原语」于「名」）于「参」也。
「调」乃化「整数」而化「正则原子」而「正则指令」也。
「调」者会「号」而会「参」而「正则运算」于「号」于「正则通用值」于「正则调用」于（「列」【「正则函数引用」于『自』，「参」】）也。
「段」乃化（「列」于「正则指令」）而化「整数」而「正则区域」也。
「段」者会「诸令」而会「果」而「正则段」于「诸令」于（「正则产出」于（「局」于「果」））也。
「计」乃化「正则区域」而（「整数」合「整数」）也。
「计」者会「体」而鉴「体」而有（「正则段」于「诸令」于「终」）则
 「从左折叠」授以「正则指令」授以（「整数」合「整数」）于（会「令」而会「已有」而
  虑「今」者鉴「令」而有（「正则运算」于「号」于「类」于「正则调用」于「参」）则「一」与「一」
   或有（「正则如果」于「号」于「类」于「条件」于「阳体」于「阴体」）则（虑「甲」者「计」于「阳体」而虑「乙」者「计」于「阴体」而（「加」于（「甲」中「零」）于（「乙」中「零」））与（「加」于（「甲」中「一」）于（「乙」中「一」）））
   或有「其他」则「一」与「零」而
  （「加」于（「已有」中「零」）于（「今」中「零」））与（「加」于（「已有」中「一」）于（「今」中「一」）））于（「零」与「零」）于「诸令」也。
「验」乃化「正则区域」而化「整数」而化「整数」而「有」也。
「验」者会「体」而会「令数」而会「调数」而
 虑「函」者（「正则函数」也（『自』与「阴」与（「列」【「零」】）与「体」与「一六」））而
 虑「无」者「验证正则函数」于「函」而虑「新」者「复用纯整函数」于「函」而
 虑「无」者「验证正则函数」于「新」而虑「数」者「计」于（「新」中「三」）而
 若「且」于（「等于」于（「数」中「零」）于「令数」）于（「等于」于（「数」中「一」）于「调数」）则「元」否则「发生事故」授以「有」于『纯调用复用计数错误』也。
「前」者「算」于「一」于『豫言_整数减』于（「列」【「局」于「零」，「正则整数」于「一」】）也。
「同前」者「算」于「三」于『豫言_整数减』于（「列」【「局」于「零」，「正则整数」于「一」】）也。
「和」者「算」于「五」于『豫言_整数加』于（「列」【「局」于「二」，「局」于「四」】）也。
「验」于（「段」于（「列」【「前」，「调」于「二」于（「局」于「一」），「同前」，「调」于「四」于（「局」于「三」），「和」】）于「五」）于「三」于「一」。
「验」于（「段」于（「列」【「前」，「调」于「二」于（「局」于「一」），「调」于「四」于（「局」于「零」），「和」】）于「五」）于「四」于「二」。
「分」乃化「正则区域」而化「正则区域」而「正则指令」也。
「分」者会「阳体」而会「阴体」而「正则如果」于「六」于「正则通用值」于（「正则爻」于「阳」）于「阳体」于「阴体」也。
「验」于（「段」于（「列」【「分」于（「段」于（「列」【「调」于「二」于（「局」于「零」）】）于「二」）于（「段」于（「列」【「调」于「四」于（「局」于「零」）】）于「四」）】）于「六」）于「二」于「二」。
「验」于（「段」于（「列」【「调」于「一」于（「局」于「零」），「分」于（「段」于（「列」【「调」于「二」于（「局」于「零」）】）于「二」）于（「段」于（「列」【「调」于「四」于（「局」于「零」）】）于「四」）】）于「六」）于「一」于「一」。
「验」于（「段」于（「列」【「分」于（「段」于（「列」【「调」于「二」于（「局」于「零」）】）于「二」）于（「段」于（「列」【「调」于「四」于（「局」于「零」）】）于「四」），「调」于「七」于（「局」于「零」）】）于「七」）于「三」于「三」。
「验」于（「段」于（「列」【「算」于「一」于『豫言_整数除』于（「列」【「局」于「零」，「正则整数」于「零」】），「调」于「二」于（「局」于「零」），「调」于「四」于（「局」于「零」），「和」】）于「五」）于「四」于「二」。
「打印行」于『纯调用复用六项通过』。
