豫言源码浏览器

yuyan · 1900 行 · 90533 字节 · UTF-8
寻观「标准库」之书。
寻观「标准库」之「数据结构」之「字节串」之书。
寻观「编译器核心」之「网页汇编核心」之「模块结构」之书。
寻观「编译器核心」之「网页汇编核心」之「模块验证」之书。
寻观「裸机后端」之「机器编码」之书。
寻观「裸机后端」之「整数降级」之书。
寻观「裸机后端」之「内存增长」之书。
寻观「裸机后端」之「降级公用」之书。
寻观「裸机后端」之「臂降级原语」之书。
寻观「裸机后端」之「兼降级原语」之书。
寻观「裸机后端」之「臂汇编」之书。
寻观「裸机后端」之「兼汇编」之书。
寻观「裸机后端」之「降级目标」之书。
寻观「裸机后端」之「内联小函数」之书。

「：文言：诸操作数不复入内存之栈，而居于寄存器；栈深定则其寄存器定。汉语：寄存器式降级。虚拟操作数栈的第 d 项固定映射到物理寄存器（超出寄存器数则溢出到帧槽），常量与比较可与后继指令融合，函数入口一次性检查栈深与调用栈。ARM64 与 AMD64 共用同一份遍历，只在原语层分派。：」
「：文言：架构之分，止于此层。汉语：以下每个指原语函数按第一个参数分派到臂或兼容原语。：」
「指移」乃化「爻」而化「整数」而化「整数」而（「列」于「机器片」）也。
「指移」者会「臂」而会「目」而会「源」而
  若「臂」则
    「臂原移」于「目」于「源」
  否则
    「兼原移」于「目」于「源」
也。

「指立即」乃化「爻」而化「整数」而化「整数」而（「列」于「机器片」）也。
「指立即」者会「臂」而会「目」而会「值」而
  若「臂」则
    「臂原立即」于「目」于「值」
  否则
    「兼原立即」于「目」于「值」
也。

「指载局部」乃化「爻」而化「整数」而化「整数」而（「列」于「机器片」）也。
「指载局部」者会「臂」而会「目」而会「偏」而
  若「臂」则
    「臂原载局部」于「目」于「偏」
  否则
    「兼原载局部」于「目」于「偏」
也。

「指存局部」乃化「爻」而化「整数」而化「整数」而（「列」于「机器片」）也。
「指存局部」者会「臂」而会「偏」而会「源」而
  若「臂」则
    「臂原存局部」于「偏」于「源」
  否则
    「兼原存局部」于「偏」于「源」
也。

「指载全局」乃化「爻」而化「整数」而化「整数」而（「列」于「机器片」）也。
「指载全局」者会「臂」而会「目」而会「号」而
  若「臂」则
    「臂原载全局」于「目」于「号」
  否则
    「兼原载全局」于「目」于「号」
也。

「指存全局」乃化「爻」而化「整数」而化「整数」而（「列」于「机器片」）也。
「指存全局」者会「臂」而会「号」而会「源」而
  若「臂」则
    「臂原存全局」于「号」于「源」
  否则
    「兼原存全局」于「号」于「源」
也。

「指二元」乃
  化「爻」而
  化「整数」而
  化「整数」而
  化「整数」而
  （「列」于「机器片」）
也。
「指二元」者会「臂」而会「操作」而会「甲」而会「乙」而
  若「臂」则
    「臂原二元」于「操作」于「甲」于「乙」
  否则
    「兼原二元」于「操作」于「甲」于「乙」
也。

「指二元立」乃
  化「爻」而
  化「整数」而
  化「整数」而
  化「整数」而
  化「整数」而
  （「列」于「机器片」）
也。
「指二元立」者会「臂」而会「操作」而会「甲」而会「值」而会「备」而
  若「臂」则
    「臂原二元立」于「操作」于「甲」于「值」于「备」
  否则
    「兼原二元立」于「操作」于「甲」于「值」于「备」
也。

「指移位」乃
  化「爻」而
  化「整数」而
  化「整数」而
  化「整数」而
  化「整数」而
  （「列」于「机器片」）
也。
「指移位」者会「臂」而会「操作」而会「甲」而会「乙」而会「备」而
  若「臂」则
    「臂原移位」于「操作」于「甲」于「乙」于「备」
  否则
    「兼原移位」于「操作」于「甲」于「乙」
也。

「指移位立」乃
  化「爻」而
  化「整数」而
  化「整数」而
  化「整数」而
  （「列」于「机器片」）
也。
「指移位立」者会「臂」而会「操作」而会「甲」而会「位」而
  若「臂」则
    「臂原移位立」于「操作」于「甲」于「位」
  否则
    「兼原移位立」于「操作」于「甲」于「位」
也。

「指除」乃
  化「爻」而
  化「整数」而
  化「整数」而
  化「整数」而
  化「字符串」而
  化「字符串」而
  化「字符串」而
  化「整数」而
  （「列」于「机器片」）
也。
「指除」者会「臂」而会「种」而会「甲」而会「乙」而会「陷标」而会「序标」而会「毕标」而会「备」而
  若「臂」则
    「臂原除」于「种」于「甲」于「乙」于「陷标」于「序标」于「备」
  否则
    「兼原除」于「种」于「甲」于「乙」于「陷标」于「序标」于「毕标」
也。

「指比较」乃化「爻」而化「整数」而化「整数」而（「列」于「机器片」）也。
「指比较」者会「臂」而会「甲」而会「乙」而
  若「臂」则
    「臂原比较」于「甲」于「乙」
  否则
    「兼原比较」于「甲」于「乙」
也。

「指比较立」乃
  化「爻」而
  化「整数」而
  化「整数」而
  化「整数」而
  （「列」于「机器片」）
也。
「指比较立」者会「臂」而会「甲」而会「值」而会「备」而
  若「臂」则
    「臂原比较立」于「甲」于「值」于「备」
  否则
    「兼原比较立」于「甲」于「值」于「备」
也。

「指置」乃化「爻」而化「整数」而化「整数」而（「列」于「机器片」）也。
「指置」者会「臂」而会「条」而会「甲」而
  若「臂」则
    「臂原置」于「条」于「甲」
  否则
    「兼原置」于「条」于「甲」
也。

「指跳条件」乃化「爻」而化「整数」而化「字符串」而（「列」于「机器片」）也。
「指跳条件」者会「臂」而会「条」而会「标」而
  若「臂」则
    「臂原跳条件」于「条」于「标」
  否则
    「兼原跳条件」于「条」于「标」
也。

「指跳」乃化「爻」而化「字符串」而（「列」于「机器片」）也。
「指跳」者会「臂」而会「标」而
  若「臂」则「臂原跳」于「标」否则「兼原跳」于「标」
也。

「：文言：远之条件跳：臂则反条件跳过一无条件之跳，兼容之 rel32 本已足。汉语：远距离条件跳转（大函数用）：ARM64 用“反条件跳过 + b”，x86-64 的 rel32 条件跳本来就够远。：」
「指跳条件远」乃化「爻」而化「整数」而化「字符串」而（「列」于「机器片」）也。
「指跳条件远」者会「臂」而会「条」而会「标」而
  若「臂」则
    「臂原跳条件远」于「条」于「标」
  否则
    「兼原跳条件」于「条」于「标」
也。

「指零跳远」乃化「爻」而化「整数」而化「字符串」而（「列」于「机器片」）也。
「指零跳远」者会「臂」而会「甲」而会「标」而
  若「臂」则
    「臂原零跳远」于「甲」于「标」
  否则
    「兼原零跳」于「甲」于「标」
也。

「指非零跳远」乃化「爻」而化「整数」而化「字符串」而（「列」于「机器片」）也。
「指非零跳远」者会「臂」而会「甲」而会「标」而
  若「臂」则
    「臂原非零跳远」于「甲」于「标」
  否则
    「兼原非零跳」于「甲」于「标」
也。

「指零跳」乃化「爻」而化「整数」而化「字符串」而（「列」于「机器片」）也。
「指零跳」者会「臂」而会「甲」而会「标」而
  若「臂」则
    「臂原零跳」于「甲」于「标」
  否则
    「兼原零跳」于「甲」于「标」
也。

「指非零跳」乃化「爻」而化「整数」而化「字符串」而（「列」于「机器片」）也。
「指非零跳」者会「臂」而会「甲」而会「标」而
  若「臂」则
    「臂原非零跳」于「甲」于「标」
  否则
    「兼原非零跳」于「甲」于「标」
也。

「指选择」乃
  化「爻」而
  化「整数」而
  化「整数」而
  化「整数」而
  （「列」于「机器片」）
也。
「指选择」者会「臂」而会「甲」而会「乙」而会「丙」而
  若「臂」则
    「臂原选择」于「甲」于「乙」于「丙」
  否则
    「兼原选择」于「甲」于「乙」于「丙」
也。

「指载内存」乃
  化「爻」而
  化「整数」而
  化「整数」而
  化「整数」而
  化「整数」而
  化「整数」而
  化「字符串」而
  化「整数」而
  化「整数」而
  （「列」于「机器片」）
也。
「指载内存」者会「臂」而会「种」而会「目」而会「址」而会「偏」而会「宽」而会「陷标」而会「备一」而会「备二」而
  若「臂」则
    「臂原载内存」于「种」于「目」于「址」于「偏」于「宽」于「陷标」于「备一」于「备二」
  否则
    「兼原载内存」于「种」于「目」于「址」于「偏」于「宽」于「陷标」
也。

「指存内存」乃
  化「爻」而
  化「整数」而
  化「整数」而
  化「整数」而
  化「整数」而
  化「整数」而
  化「字符串」而
  化「整数」而
  化「整数」而
  （「列」于「机器片」）
也。
「指存内存」者会「臂」而会「种」而会「址」而会「偏」而会「宽」而会「值」而会「陷标」而会「备一」而会「备二」而
  若「臂」则
    「臂原存内存」于「种」于「址」于「偏」于「宽」于「值」于「陷标」于「备一」于「备二」
  否则
    「兼原存内存」于「种」于「址」于「偏」于「宽」于「值」于「陷标」
也。

「指调用」乃化「爻」而化「字符串」而（「列」于「机器片」）也。
「指调用」者会「臂」而会「标」而
  若「臂」则「臂原调用」于「标」否则「兼原调用」于「标」
也。

「指陷阱」乃化「爻」而（「列」于「机器片」）也。
「指陷阱」者会「臂」而
  若「臂」则「臂原陷阱」于「元」否则「兼原陷阱」于「元」
也。

「：文言：兼容之位置无关未备，遇之则止。汉语：x86-64 的位置无关模式尚未实现（macOS x86-64 与 Windows 时补），遇到即报错。：」
「兼验绝对」乃化「址式」而「有」也。
「兼验绝对」者会「式」而
  若「是相对址式」于「式」则
    「发生事故」授以「有」于『兼容架构尚不支持位置无关降级』
  否则
    「元」
也。

「：文言：装名义之址于寄存器，依址式。汉语：按地址模式把名义地址装入寄存器。：」
「指装址」乃
  化「爻」而
  化「址式」而
  化「整数」而
  化「整数」而
  （「列」于「机器片」）
也。
「指装址」者会「臂」而会「式」而会「目」而会「址」而
  若「是相对址式」于「式」则
    （若「臂」则「臂装址」于「式」于「目」于「址」
      否则
        （虑「检」者「兼验绝对」于「式」而「罄」授以「机器片」））
  否则
    「指立即」于「臂」于「目」于「址」
也。

「指存参」乃
  化「爻」而
  化「址式」而
  化「整数」而
  化「整数」而
  化「整数」而
  （「列」于「机器片」）
也。
「指存参」者会「臂」而会「式」而会「序」而会「源」而会「备」而
  若「臂」则
    「臂原存参」于「式」于「序」于「源」于「备」
  否则
    （虑「检」者「兼验绝对」于「式」而「兼原存参」于「序」于「源」于「备」）
也。

「指页数」乃化「爻」而化「整数」而（「列」于「机器片」）也。
「指页数」者会「臂」而会「目」而
  若「臂」则「臂原页数」于「目」否则「兼原页数」于「目」
也。

「指存零」乃
  化「爻」而
  化「址式」而
  化「整数」而
  化「整数」而
  （「列」于「机器片」）
也。
「指存零」者会「臂」而会「式」而会「址」而会「备」而
  若「臂」则
    「臂原存零」于「式」于「址」于「备」
  否则
    （虑「检」者「兼验绝对」于「式」而「兼原存零」于「址」于「备」）
也。

「虚拟寄存器数」乃化「爻」而「整数」也。
「虚拟寄存器数」者会「臂」而
  若「臂」则「臂虚拟寄存器数」否则「兼虚拟寄存器数」
也。

「虚拟寄存器」乃化「爻」而化「整数」而「整数」也。
「虚拟寄存器」者会「臂」而会「深」而
  若「臂」则「臂虚拟寄存器」于「深」否则「兼虚拟寄存器」于「深」
也。

「参数寄数」乃化「爻」而「整数」也。
「参数寄数」者会「臂」而
  若「臂」则「臂参数寄数」否则「兼参数寄数」
也。

「参数寄」乃化「爻」而化「整数」而「整数」也。
「参数寄」者会「臂」而会「序」而
  若「臂」则「序」否则「兼参数寄」于「序」
也。

「：文言：局部与溢出之槽逾此，则入函即陷。汉语：单个函数局部槽与操作数栈槽合计上限；使 ARM64 的四字节缩放偏移不超出十二位立即数。超出的函数被降为入口立即陷阱，与旧降级中操作数栈越界即陷的行为一致。：」
「栈帧槽上限」乃「整数」也。
「栈帧槽上限」者「三五零零」也。

「：文言：函数多结果，依次置于结果寄存器。汉语：结果寄存器：ARM64 为 x0 至 x3；AMD64 为 eax、edx、ecx。一个函数至多返回这么多个结果。：」
「结果寄数」乃化「爻」而「整数」也。
「结果寄数」者会「臂」而
  若「臂」则「四」否则「三」
也。

「结果寄」乃化「爻」而化「整数」而「整数」也。
「结果寄」者会「臂」而会「序」而
  若「臂」则
    「序」
  否则
    「第N个」授以「整数」于「序」于（「列」【「零」，「二」，「一」】）
也。

「指局偏」乃化「爻」而化「整数」而「整数」也。
「指局偏」者会「臂」而会「序」而
  若「臂」则
    「加」于「臂局部基」于（「乘」于「序」于「四」）
  否则
    「乘」于「序」于「四」
也。

「指序言」乃
  化「爻」而
  化「址式」而
  化「整数」而
  化「整数」而
  化「整数」而
  化（「列」于「整数」）而
  化「字符串」而
  （「列」于「机器片」）
也。
「指序言」者会「臂」而会「式」而会「局数」而会「溢数」而会「参数数」而会「保存们」而会「守标」而
  若「臂」则
    「臂原序言」于「式」于（「臂帧大小」于「局数」于「溢数」）于「参数数」于「局数」于「保存们」于「守标」
  否则
    （
      虑「检」者「兼验绝对」于「式」而
      「兼原序言」于（「兼帧大小」于「局数」于「溢数」）于「参数数」于「局数」于「保存们」于「守标」
    ）
也。

「：文言：尾声而不返，为尾调之桩所用。汉语：不带返回指令的尾声（尾调桩用）。：」
「指尾声不返」乃
  化「爻」而
  化「整数」而
  化「整数」而
  化（「列」于「整数」）而
  （「列」于「机器片」）
也。
「指尾声不返」者会「臂」而会「局数」而会「溢数」而会「保存们」而
  若「臂」则
    「臂原尾声不返」于（「臂帧大小」于「局数」于「溢数」）于「保存们」
  否则
    「兼原尾声不返」于（「兼帧大小」于「局数」于「溢数」）于「保存们」
也。

「指尾声」乃
  化「爻」而
  化「整数」而
  化「整数」而
  化（「列」于「整数」）而
  （「列」于「机器片」）
也。
「指尾声」者会「臂」而会「局数」而会「溢数」而会「保存们」而
  若「臂」则
    「臂原尾声」于（「臂帧大小」于「局数」于「溢数」）于「保存们」
  否则
    「兼原尾声」于（「兼帧大小」于「局数」于「溢数」）于「保存们」
也。

「指入口」乃
  化「爻」而
  化「整数」而
  化「爻」而
  化「字符串」而
  化「字符串」而
  （「列」于「机器片」）
也。
「指入口」者会「臂」而会「全局基址」而会「探测」而会「入口标」而会「本标」而
  若「臂」则
    「臂原入口」于「全局基址」于「探测」于「入口标」于「本标」
  否则
    「兼原入口」于「全局基址」于「探测」于「入口标」于「本标」
也。

「指导入桩」乃化「爻」而化「整数」而（「列」于「机器片」）也。
「指导入桩」者会「臂」而会「服务」而
  若「臂」则「臂原导入桩」于「服务」否则「兼原导入桩」于「服务」
也。

「指助手们」乃化「爻」而化「整数」而（「列」于「机器片」）也。
「指助手们」者会「臂」而会「容量」而
  若「臂」则
    「臂原助手们」于「容量」于（「裸机页数地址」于「臂」）
  否则
    「兼原助手们」于「容量」于（「裸机页数地址」于「臂」）
也。

「条件码」乃化「网页指令」而「整数」也。
「条件码」者会「令」而
  鉴「令」而
    有「网页相等」则「零」
    或有「网页不等」则「一」
    或有「网页有符号小于」则「二」
    或有「网页有符号大等」则「三」
    或有「网页有符号大于」则「四」
    或有「网页有符号小等」则「五」
    或有「网页无符号小于」则「六」
    或有「网页无符号大等」则「七」
    或有「网页无符号大于」则「八」
    或有「网页无符号小等」则「九」
    或有「其他」则（「减」于「零」于「一」）
也。

「二元码」乃化「网页指令」而「整数」也。
「二元码」者会「令」而
  鉴「令」而
    有「网页加」则「零」
    或有「网页减」则「一」
    或有「网页按位与」则「二」
    或有「网页按位或」则「三」
    或有「网页按位异或」则「四」
    或有「网页乘」则「五」
    或有「网页有符号除」则「一零」
    或有「网页无符号除」则「一一」
    或有「网页有符号余」则「一二」
    或有「网页无符号余」则「一三」
    或有「网页左移」则「二零」
    或有「网页无符号右移」则「二一」
    或有「网页有符号右移」则「二二」
    或有「网页循环左移」则「二三」
    或有「网页循环右移」则「二四」
    或有「其他」则（「减」于「零」于「一」）
也。

「寄帧」即
  「整数」
  合「整数」
  合「整数」
  合「字符串」
  合「字符串」
  合「字符串」
也。

「：文言：函数之降，自其签名始，遍历指令，终以序言尾声裹之。汉语：把一个函数降为机器片。参数为架构标志、数据段描述地址表、模块、函数号、函数。遍历按结构化控制维护虚拟栈深与控制帧，常量和比较与后继指令融合，最后按实际用到的栈深生成序言和尾声。控制帧为 种（零块、一循环、二条件）、基深、结果数、分支标、结束标、否则标。待种为零无待发、一待发常量、二待发比较。：」
「寄降级函数」乃
  化「爻」而
  化「址式」而
  化（「列」于「整数」）而
  化「网页模块」而
  化「整数」而
  化「网页函数」而
  化「网页签名表」而
  （「列」于「机器片」）
也。
「寄降级函数」者会「臂」而会「式」而会「段址们」而会「模」而会「函号」而会「函」而会「函数型」而
  虑「型」者
    「网页取项」授以「网页签名」
    于『函数类型』
    于（「函」中「零」）
    于（「模」中「零」）而
    虑「参数数」者「型」中「零」而
    虑「结果数」者「型」中「一」而
    虑「局数」者「加」于「参数数」于（「函」中「一」）而
    虑「限检」者
      若「大于」于「局数」于「栈帧槽上限」则
        「发生事故」授以「有」于『裸机函数局部过多』
      否则若「大于」于「结果数」于（「结果寄数」于「臂」）则「发生事故」授以「有」
        于『裸机函数结果过多』
      否则
        「元」
    而
    虑「函名」者「裸机函数名」于「函号」而
    虑「陷标」者「函名」附『陷』而
    虑「尾标」者「函名」附『尾』而
    虑「守标」者「函名」附『守』而
    虑「寄数」者「虚拟寄存器数」于「臂」而
    虑「深」者「新引用」授以「整数」于「零」而
    虑「最大」者「新引用」授以「整数」于「零」而
    虑「序」者「新引用」授以「整数」于「零」而
    虑「出」者
      「新引用」授以（「列」于（「列」于「机器片」））
      于（「罄」授以（「列」于「机器片」））
    而
    虑「帧们」者
      「新引用」授以（「列」于「寄帧」）
      于（「列」【（「零」与「零」与「结果数」与『』与『』与『』）】）
    而
    虑「死」者「新引用」授以「整数」于「零」而
    虑「死嵌」者「新引用」授以「整数」于「零」而
    虑「待种」者「新引用」授以「整数」于「零」而
    虑「待值」者「新引用」授以「整数」于「零」而
    虑「待立」者「新引用」授以「整数」于「零」而
    虑「待立值」者「新引用」授以「整数」于「零」而
    「：文言：陷阱之岛：越界与除零之检，条件之分支唯及一兆字节，函数巨则不及其末之陷标。故每逾五十一万字节，插一岛（跳过之，岛上唯一陷阱），此后之检就近跳至最近之岛；函数之首亦先置一岛。汉语：陷阱岛：越界与除零检查用条件分支跳到陷阱，ARM64 条件分支只能跨 ±1 MiB，函数很大（预编出的函数可达数 MiB）时够不到函数末尾的陷标。所以函数体开头先放一个岛，之后每发出超过 512 KiB 代码就再放一个（先无条件跳过它，岛上只有一条陷阱指令），检查一律跳到最近的岛（在其身后，距离不超过阈值）。：」
    虑「长跳」者
      「大于」于（「长度」授以「网页指令」于（「函」中「二」））于「二零零零零」而
    「：文言：可信之函数：模块导出“预编起号”者，号不小于之之函数（预编之转译函数）所访皆值栈之槽与固定之状态格，序言已验其界，故免每访之界检（陷标以空串示之）。汉语：可信函数：模块导出了“预编起号”时，函数号不小于它的函数（预编转译出的函数）只访问序言已检查过范围的值栈槽和固定的状态格，所以省掉每次访存的边界检查（把陷标传成空串表示不检查）。除零检查照旧。：」
    虑「信任」者
      「存在吗」授以「网页导出」
      于（会「出」而「且」
        于（「串相等」于（「出」中「零」）于『预编起号』）
        于（「不小于」于「函号」于（「出」中「一」）））
        于（「模」中「三」）
    而
    虑「条跳」者
      （（化「整数」而化「字符串」而（「列」于「机器片」））也（会「条」而会「标」而
            若「长跳」则
              「指跳条件远」于「臂」于「条」于「标」
            否则
              「指跳条件」于「臂」于「条」于「标」
        ）
      ）
    而
    虑「零跳」者
      （（化「整数」而化「字符串」而（「列」于「机器片」））也（会「甲」而会「标」而
            若「长跳」则
              「指零跳远」于「臂」于「甲」于「标」
            否则
              「指零跳」于「臂」于「甲」于「标」
        ）
      ）
    而
    虑「非零跳」者
      （（化「整数」而化「字符串」而（「列」于「机器片」））也（会「甲」而会「标」而
            若「长跳」则
              「指非零跳远」于「臂」于「甲」于「标」
            否则
              「指非零跳」于「臂」于「甲」于「标」
        ）
      ）
    而
    虑「陷标引」者「新引用」授以「字符串」于「陷标」而
    虑「岛计」者「新引用」授以「整数」于「零」而
    虑「发」者
      （（化（「列」于「机器片」）而「有」）也（会「片」而
            虑「无」者
              「写引用」授以（「列」于（「列」于「机器片」））
              于「出」
              于（「缀」于「片」于（「读引用」授以（「列」于（「列」于「机器片」））于「出」））
            而
            「写引用」授以「整数」
            于「岛计」
            于（「从左折叠」授以「机器片」授以「整数」
              于（会「项」而会「和」而「加」于「和」于（「机器片长」于「项」））
              于（「读引用」授以「整数」于「岛计」）
              于「片」））
      ）
    而
    虑「新标」者
      （（化「有」而「字符串」）也（会「无」
  而
  虑「次」者「读引用」授以「整数」于「序」
  而
  虑「进」者
    「写引用」授以「整数」于「序」于（「加」于「次」于「一」）
  而
  「函名」附（『_』附（「整数表示」于「次」）））
      ）
    而
    虑「压」者
      （（化「有」而「有」）也（会「无」而
            虑「新深」者
              「加」于（「读引用」授以「整数」于「深」）于「一」
            而
            虑「写深」者「写引用」授以「整数」于「深」于「新深」
            而
            若「大于」于「新深」于（「读引用」授以「整数」于「最大」）则
              「写引用」授以「整数」
              于「最大」
              于「新深」
            否则
              「元」
        ）
      ）而
    递归虑「压多」其化「整数」而「有」者会「个」而
      若「小于」于「个」于「一」则「元」否则（虑「序压」者「压」于「元」而「压多」于（「减」于「个」于「一」））
    而
    虑「弹」者
      （（化「整数」而「有」）也（会「数」而「写引用」授以「整数」
        于「深」
        于（「减」于（「读引用」授以「整数」于「深」）于「数」））
      ）
    而
    虑「读深」者
      （（化「有」而「整数」）也（会「无」而「读引用」授以「整数」于「深」））
    而
    虑「物寄」者
      （（化「整数」而「整数」）也（会「d」而「虚拟寄存器」于「臂」于「d」））
    而
    虑「局偏」者
      （（化「整数」而「整数」）也（会「i」而「指局偏」于「臂」于「i」））
    而
    虑「溢偏」者
      （（化「整数」而「整数」）也（会「d」而「指局偏」于「臂」于（「加」于「局数」于（「减」于「d」于「寄数」））））
    而
    虑「备甲」者
      若「臂」则「九」否则「六」
    而
    虑「备乙」者
      若「臂」则「一零」否则「七」
    而
    虑「备丙」者「一一」而
    虑「内备一」者「一二」而
    虑「取」者
      （（化「整数」而化「整数」而（「整数」合（「列」于「机器片」）））也（会「d」而会「备」而
            若「小于」于「d」于「寄数」则（（「物寄」于「d」）与（「罄」授以「机器片」））否则
              （「备」与（「指载局部」于「臂」于「备」于（「溢偏」于「d」））））
      ）
    而
    虑「置」者
      （（化「整数」而化「整数」而（「列」于「机器片」））也（会「d」而会「源」而
            若「小于」于「d」于「寄数」则
              「指移」于「臂」于（「物寄」于「d」）于「源」
            否则
              「指存局部」于「臂」于（「溢偏」于「d」）于「源」
        ）
      ）
    而
    虑「目寄」者
      （（化「整数」而「整数」）也（会「d」而
        若「小于」于「d」于「寄数」则「物寄」于「d」否则「备甲」））
    而
    虑「取帧」者
      （（化「整数」而「寄帧」）也（会「层」而「网页取项」授以「寄帧」
        于『控制帧』于「层」
        于（「读引用」授以（「列」于「寄帧」）于「帧们」））
      ）
    而
    虑「帧数」者
      （（化「有」而「整数」）也（会「无」而「长度」授以「寄帧」于（「读引用」授以（「列」于「寄帧」）于「帧们」）））
    而
    虑「压帧」者
      （（化「寄帧」而「有」）也（会「帧」而「写引用」授以（「列」于「寄帧」）
      于「帧们」
      于（「缀」于「帧」于（「读引用」授以（「列」于「寄帧」）于「帧们」）））
      ）
    而
    虑「弹帧」者
      （（化「有」而「寄帧」）也（会「无」而
            虑「顶」者「取帧」于「零」
            而
            虑「余」者
              「写引用」授以（「列」于「寄帧」）
              于「帧们」
              于（「放」授以「寄帧」于「一」于（「读引用」授以（「列」于「寄帧」）于「帧们」））
            而
            「顶」
        ）
      ）
    而
    虑「换顶帧」者
      （（化「寄帧」而「有」）也（会「帧」而
            虑「们」者
              「放」授以「寄帧」
              于「一」
              于（「读引用」授以（「列」于「寄帧」）于「帧们」）
            而
            「写引用」授以（「列」于「寄帧」）
            于「帧们」
            于（「缀」于「帧」于「们」））
      ）
    而
    虑「块数检」者（（化「整数」而「有」）也（会「数」而
      「元」））
    而
    虑「局检」者
      （（化「整数」而「有」）也（会「i」而
            若「或者」
              于（「小于」于「i」于「零」）
              于（「不小于」于「i」于「局数」）则
                「发生事故」授以「有」于『局部变量号越界』
            否则
              「元」
        ）
      ）
    而
    虑「送参」者
      （（化「整数」而化「整数」而（「列」于「机器片」））也（会「i」而会「d」而
            若「小于」于「d」于「寄数」则
              「指移」
                于「臂」
                于（「参数寄」于「臂」于「i」）
                于（「物寄」于「d」）
            否则
              「指载局部」
                于「臂」
                于（「参数寄」于「臂」于「i」）
                于（「溢偏」于「d」））
      ）
    而
    递归虑「传参片」其化「整数」而化「整数」而化「整数」而（「列」于「机器片」）者会「i」而
      会「基深」而
        会「个数」
          而
          若「不小于」于「i」于「个数」则
            「罄」授以「机器片」
          否则
            虑「d」者「加」于「基深」于「i」
            而
            虑「本」者
              若「小于」于「i」于（「参数寄数」于「臂」）则
                「送参」于「i」于「d」
              否则
                （
                  虑「甲们」者「取」于「d」于「备丙」而
                  「附加」授以「机器片」
                  于（「甲们」中「一」）
                  于（「指存参」于「臂」于「式」于「i」于（「甲们」中「零」）于「备乙」）
                ）
            而
            「附加」授以「机器片」
            于「本」
            于（「传参片」于（「加」于「i」于「一」）于「基深」于「个数」）
    而
    虑「发比较」者
      （（化「有」而「整数」）也（会「无」而
            虑「d」者「减」于（「读深」于「元」）于「一」
            而
            虑「甲们」者「取」于「d」于「备甲」
            而
            虑「乙们」者
              若「等于」于（「读引用」授以「整数」于「待立」）于「零」则
                「取」于（「加」于「d」于「一」）于「备乙」
              否则
                （「零」与（「罄」授以「机器片」））
            而
            虑「比较片」者
              若「等于」于（「读引用」授以「整数」于「待立」）于「零」则
                「指比较」于「臂」于（「甲们」中「零」）于（「乙们」中「零」）
              否则
                「指比较立」
                  于「臂」
                  于（「甲们」中「零」）
                  于（「读引用」授以「整数」于「待立值」）
                  于「备丙」
            而
            虑「一发」者
              「发」于（「串联」授以「机器片」于（「列」【「甲们」中「一」，「乙们」中「一」，「比较片」】））
            而
            虑「序二」者「写引用」授以「整数」于「待种」于「零」而
            「读引用」授以「整数」于「待值」
        ）
      ）
    而
    「：文言：发一调用：参数入寄存器，bl，结果归虚栈。汉语：发出一次普通调用：参数送入参数寄存器（多出的写传参暂存），bl 目标，结果从结果寄存器搬回虚拟栈。：」
    虑「发调用」者
      （（化「整数」而「有」）也（会「目标」而
            虑「签」者
              「网页签名表取」于『函数类型』于「目标」于「函数型」
            而
            虑「个数」者「签」中「零」
            而
            虑「果数」者「签」中「一」
            而
            虑「基深」者「减」于（「读深」于「元」）于「个数」
            而
            虑「一发」者
              「发」于（「传参片」于「零」于「基深」于「个数」）
            而
            虑「二发」者
              「发」于（「指调用」于「臂」于（「裸机函数名」于「目标」））
            而
            虑「序三」者「写引用」授以「整数」于「深」于「基深」
            而
            虑「果片」者
              「串联」授以「机器片」于（「态射」授以「整数」授以（「列」于「机器片」）
              于（「整数范围」于「零」于「果数」）
              于（会「i」而「置」于（「加」于「基深」于「i」）于（「结果寄」于「臂」于「i」）））
            而
            虑「序四发」者「发」于「果片」而
            「压多」于「果数」
        ）
      ）
    而
    「：文言：尾调：参数入寄存器而跳至尾调之桩，桩行尾声（不返）而跳目标。汉语：尾调用（“调用后立即返回”且结果个数相同）：参数送入参数寄存器后跳到本函数末尾为它生成的尾调桩；尾调桩先做尾声（恢复被调用者保存寄存器与栈帧，但不 ret），再跳到目标函数，目标返回时直接回到本函数的调用者。参数寄存器与传参暂存不受尾声影响。：」
    虑「尾调们」者
      「新引用」授以（「列」于（「字符串」合「字符串」））
      于（「罄」授以（「字符串」合「字符串」））
    而
    虑「发尾调」者
      （（化「整数」而「有」）也（会「目标」而
            虑「签」者
              「网页签名表取」于『函数类型』于「目标」于「函数型」
            而
            虑「个数」者「签」中「零」
            而
            虑「基深」者「减」于（「读深」于「元」）于「个数」
            而
            虑「一发」者
              「发」于（「传参片」于「零」于「基深」于「个数」）
            而
            虑「标」者「新标」于「元」
            而
            虑「记」者
              「写引用」授以（「列」于（「字符串」合「字符串」））
              于「尾调们」
              于（「缀」
                于（「标」与（「裸机函数名」于「目标」））
                于（「读引用」授以（「列」于（「字符串」合「字符串」））于「尾调们」））
            而
            虑「二发」者「发」于（「指跳」于「臂」于「标」）
            而
            虑「序三」者「写引用」授以「整数」于「待种」于「零」
            而
            「写引用」授以「整数」于「死」于「一」
        ）
      ）
    而
    虑「冲刷待」者
      （（化「有」而「有」）也（会「无」而
            虑「种」者「读引用」授以「整数」于「待种」
            而
            若「等于」于「种」于「三」则
              （虑「序一」者「写引用」授以「整数」于「待种」于「零」
                而
                「发调用」于（「读引用」授以「整数」于「待值」））
            否则若「等于」于「种」于「一」则（
              虑「d」者「减」于（「读深」于「元」）于「一」
              而
              虑「t」者「目寄」于「d」
              而
              虑「一发」者
                「发」于（「指立即」于「臂」于「t」于（「读引用」授以「整数」于「待值」））
              而
              虑「二发」者「发」于（「置」于「d」于「t」）而
              「写引用」授以「整数」于「待种」于「零」
            ）
            否则若「等于」于「种」于「二」则（
              虑「条」者「发比较」于「元」
              而
              虑「d」者「减」于（「读深」于「元」）于「一」
              而
              虑「t」者「目寄」于「d」
              而
              虑「一发」者「发」于（「指置」于「臂」于「条」于「t」）而
              「发」于（「置」于「d」于「t」）
            ）
            否则
              「元」
        ）
      ）
    而
    虑「搬」者
      （（化「整数」而（「列」于「机器片」））也（会「层」而
            虑「目帧」者「取帧」于「层」
            而
            虑「函层」者
              「等于」于「层」于（「减」于（「帧数」于「元」）于「一」）
            而
            虑「循环」者「等于」于（「目帧」中「零」）于「一」
            而
            虑「顶深」者
              「减」于（「读引用」授以「整数」于「深」）于「一」
            而
            虑「个数」者「目帧」中「二」
            而
            虑「基」者「减」于（「加」于「顶深」于「一」）于「个数」
            而
            若「循环」则
              「罄」授以「机器片」
            否则
              「串联」授以「机器片」于（「态射」授以「整数」授以（「列」于「机器片」）
              于（「整数范围」于「零」于「个数」）
              于（会「i」
                而
  虑「甲们」者「取」于（「加」于「基」于「i」）于「备甲」而
  「附加」授以「机器片」
    于（「甲们」中「一」）
    于（
      若「函层」则「指移」于「臂」于（「结果寄」于「臂」于「i」）
      于（「甲们」中「零」）
      否则若「等于」于（「加」于「基」于「i」）于（「加」于（「目帧」中「一」）于「i」）则
        「罄」授以「机器片」
      否则
        「置」于（「加」于（「目帧」中「一」）于「i」）于（「甲们」中「零」）
    ））））
      ）
    而
    虑「跳标名」者
      （（化「整数」而「字符串」）也（会「层」而
            虑「目帧」者「取帧」于「层」
            而
            若「等于」于「层」于（「减」于（「帧数」于「元」）于「一」）则
              「尾标」
            否则
              「目帧」中「三」
        ）
      ）
    而
    虑「跳向」者
      （（化「整数」而化「整数」而化「整数」而（「列」于「机器片」））也（会「层」而会「模式」而会「参」而
            虑「移」者「搬」于「层」
            而
            虑「标」者「跳标名」于「层」
            而
            若「等于」于「模式」于「零」则
              「附加」授以「机器片」于「移」于（「指跳」于「臂」于「标」）
            否则若「等于」于（「长度」授以「机器片」于「移」）于「零」则
              （若「等于」于「模式」于「一」则「条跳」于「参」于「标」否则「非零跳」于「参」于「标」）
            否则
              （
                虑「过」者「新标」于「元」而
                「串联」授以「机器片」于（「列」【
                  若「等于」于「模式」于「一」则
                    「指跳条件」于「臂」于（「取反条件」于「参」）于「过」
                  否则
                      「指零跳」于「臂」于「参」于「过」，
                      「移」，
                      「指跳」于「臂」于「标」，
                      「列」【「代码标记」于「过」】
                】）
              ））
      ）
    而
    虑「载内存处理」者
      （（化「整数」而化「整数」而化「整数」而「有」）也（会「种」而会「宽」而会「偏」而
            虑「d」者「减」于（「读深」于「元」）于「一」
            而
            虑「甲们」者「取」于「d」于「备甲」
            而
            虑「t」者「目寄」于「d」而
            「发」于（「串联」授以「机器片」
              于（「列」【
                「甲们」中「一」，
                「指载内存」
                  于「臂」
                  于「种」
                  于「t」
                  于（「甲们」中「零」）
                  于「偏」
                  于「宽」
                  于（若「信任」则『』否则「读引用」授以「字符串」于「陷标引」）
                  于「备乙」于「备丙」，
                  「置」于「d」于「t」
              】）））
      ）
    而
    虑「存内存处理」者
      （（化「整数」而化「整数」而化「整数」而「有」）也（会「种」而会「宽」而会「偏」而
            虑「d」者「读深」于「元」
            而
            虑「甲们」者「取」于（「减」于「d」于「二」）于「备甲」
            而
            虑「乙们」者「取」于（「减」于「d」于「一」）于「备乙」
            而
            虑「一发」者
              「发」于（「串联」授以「机器片」
                于（「列」【
                  「甲们」中「一」，
                  「乙们」中「一」，
                  「指存内存」
                    于「臂」
                    于「种」
                    于（「甲们」中「零」）
                    于「偏」
                    于「宽」
                    于（「乙们」中「零」）
                    于（若「信任」则『』否则「读引用」授以「字符串」于「陷标引」）
                    于「备丙」于「内备一」
                】））
            而
            「弹」于「二」
        ）
      ）
    而
    虑「三参助手」者
      （（化「字符串」而「有」）也（会「助手」而
            虑「d」者「读深」于「元」
            而
            虑「一发」者
              「发」于（「串联」授以「机器片」
                于（「列」【
                  「送参」于「零」于（「减」于「d」于「三」），
                  「送参」于「一」于（「减」于「d」于「二」），
                  「送参」于「二」于（「减」于「d」于「一」），
                  「指调用」于「臂」于「助手」
                】））
            而
            「弹」于「三」
        ）
      ）
    而
    虑「活令」者
      （（化「网页指令」而「有」）也（会「令」而鉴「令」而
            有「网页块」于「数」则（
              虑「检」者「块数检」于「数」
              而
              虑「终」者「新标」于「元」而
              「压帧」于（「零」与（「读深」于「元」）与「数」与「终」与「终」与『』）
            ）
            或有「网页循环」于「数」则（
              虑「检」者「块数检」于「数」
              而
              虑「始」者「新标」于「元」
              而
              虑「一发」者「发」于（「列」【「代码标记」于「始」】）而
              「压帧」于（「一」与（「读深」于「元」）与「数」与「始」与「始」与『』）
            ）
            或有「网页条件」于「数」则（
              虑「检」者「块数检」于「数」
              而
              虑「甲们」者
                「取」于（「减」于（「读深」于「元」）于「一」）于「备甲」
              而
              虑「否」者「新标」于「元」
              而
              虑「终」者「新标」于「元」
              而
              虑「一发」者
                「发」于（「附加」授以「机器片」于（「甲们」中「一」）于（「零跳」于（「甲们」中「零」）于「否」））
              而
              虑「序二」者「弹」于「一」而
              「压帧」于（「二」与（「读深」于「元」）与「数」与「终」与「终」与「否」）
            ）
            或有「网页否则」则（
              虑「顶」者「取帧」于「零」
              而
              虑「一发」者
                若「等于」于（「读引用」授以「整数」于「死」）于「零」则
                  「发」
                    于（「指跳」于「臂」于（「顶」中「四」））
                否则
                  「元」
              而
              虑「二发」者
                「发」于（「列」【「代码标记」于（「顶」中「五」）】）
              而
              虑「序三」者
                「换顶帧」于（（「顶」中「零」）与（「顶」中「一」）与（「顶」中「二」）与（「顶」中「三」）
                  与（「顶」中「四」）
                    与『』）
              而
              虑「序四」者
                「写引用」授以「整数」于「深」于（「顶」中「一」）
              而
              「写引用」授以「整数」于「死」于「零」
            ）
            或有「网页结束」则（
              若「等于」于（「帧数」于「元」）于「一」则（
                虑「一发」者
                  若「等于」于（「读引用」授以「整数」于「死」）于「零」则「发」
                    于（「搬」于「零」）
                  否则
                    「元」
                而
                虑「序二」者「弹帧」于「元」而
                「写引用」授以「整数」于「死」于「一」
              ）
              否则
                （
                  虑「顶」者「弹帧」于「元」
                  而
                  虑「一发」者
                    若「且」
                      于（「等于」于（「顶」中「零」）于「二」）
                      于（「非」于（「串相等」于（「顶」中「五」）于『』））则
                        「发」于（「列」【「代码标记」于（「顶」中「五」）】）
                    否则
                      「元」
                  而
                  虑「二发」者
                    若「不等于」于（「顶」中「零」）于「一」则
                      「发」于（「列」【「代码标记」于（「顶」中「四」）】）
                    否则
                      「元」
                  而
                  虑「序三」者
                    「写引用」授以「整数」
                    于「深」
                    于（「加」于（「顶」中「一」）于（「顶」中「二」））
                  而
                  若「且」
                    于（「等于」于（「顶」中「零」）于「一」）
                    于（「不等于」于（「读引用」授以「整数」于「死」）于「零」）则
                    「元」
                  否则
                    「写引用」授以「整数」于「死」于「零」
                ）
            ）
            或有「网页跳转」于「数」则
              （虑「一发」者「发」于（「跳向」于「数」于「零」于「零」）而「写引用」授以「整数」于「死」于「一」）
            或有「网页条件跳转」于「数」则（
              虑「甲们」者
                「取」于（「减」于（「读深」于「元」）于「一」）于「备甲」
              而
              虑「一发」者「发」于（「甲们」中「一」）
              而
              虑「序二」者「弹」于「一」而
              「发」于（「跳向」于「数」于「二」于（「甲们」中「零」））
            ）
            或有「网页返回」则（
              虑「一发」者
                「发」于（「跳向」于（「减」于（「帧数」于「元」）于「一」）于「零」于「零」）
              而
              「写引用」授以「整数」于「死」于「一」
            ）
            或有「网页陷阱」则
              （虑「一发」者「发」于（「指跳」于「臂」于「陷标」）而「写引用」授以「整数」于「死」于「一」）
            或有「网页空操作」则「元」
            或有「网页常量」于「数」则（
              虑「序一」者「写引用」授以「整数」于「待种」于「一」
              而
              虑「序二」者「写引用」授以「整数」于「待值」于「数」而
              「压」于「元」
            ）
            或有「网页局部读取」于「号」则（
              虑「检」者「局检」于「号」
              而
              虑「d」者「读深」于「元」
              而
              虑「t」者「目寄」于「d」
              而
              虑「一发」者
                「发」于（「指载局部」于「臂」于「t」于（「局偏」于「号」））
              而
              虑「二发」者「发」于（「置」于「d」于「t」）而
              「压」于「元」
            ）
            或有「网页局部写入」于「号」则（
              虑「检」者「局检」于「号」
              而
              虑「甲们」者
                「取」于（「减」于（「读深」于「元」）于「一」）于「备甲」
              而
              虑「一发」者
                「发」于（「附加」授以「机器片」
                  于（「甲们」中「一」）
                  于（「指存局部」于「臂」于（「局偏」于「号」）于（「甲们」中「零」）））
              而
              「弹」于「一」
            ）
            或有「网页局部暂存」于「号」则（
              虑「检」者「局检」于「号」
              而
              虑「甲们」者
                「取」于（「减」于（「读深」于「元」）于「一」）于「备甲」
              而
              「发」于（「附加」授以「机器片」
                于（「甲们」中「一」）
                于（「指存局部」于「臂」于（「局偏」于「号」）于（「甲们」中「零」）））
            ）
            或有「网页全局读取」于「号」则（
              虑「d」者「读深」于「元」
              而
              虑「t」者「目寄」于「d」
              而
              虑「一发」者
                「发」于（「指载全局」于「臂」于「t」于「号」）
              而
              虑「二发」者「发」于（「置」于「d」于「t」）而
              「压」于「元」
            ）
            或有「网页全局写入」于「号」则（
              虑「甲们」者
                「取」于（「减」于（「读深」于「元」）于「一」）于「备甲」
              而
              虑「一发」者
                「发」于（「附加」授以「机器片」
                  于（「甲们」中「一」）
                  于（「指存全局」于「臂」于「号」于（「甲们」中「零」）））
              而
              「弹」于「一」
            ）
            或有「网页弃值」则「弹」于「一」
            或有「网页选择」则（
              虑「d」者「读深」于「元」
              而
              虑「甲们」者「取」于（「减」于「d」于「三」）于「备甲」
              而
              虑「乙们」者「取」于（「减」于「d」于「二」）于「备乙」
              而
              虑「丙们」者「取」于（「减」于「d」于「一」）于「备丙」
              而
              虑「一发」者
                「发」于（「串联」授以「机器片」
                  于（「列」【
                    「甲们」中「一」，
                    「乙们」中「一」，
                    「丙们」中「一」，
                    「指选择」
                      于「臂」
                      于（「甲们」中「零」）
                      于（「乙们」中「零」）
                      于（「丙们」中「零」），
                      「置」于（「减」于「d」于「三」）于（「甲们」中「零」）
                  】））
              而
              「弹」于「二」
            ）
            或有「网页为零」则（
              虑「序一」者「写引用」授以「整数」于「待种」于「二」
              而
              虑「序二」者「写引用」授以「整数」于「待值」于「零」
              而
              虑「序三」者「写引用」授以「整数」于「待立」于「一」而
              「写引用」授以「整数」于「待立值」于「零」
            ）
            或有「网页调用」于「目标」则（
              若「等于」
                于（（「网页签名表取」于『函数类型』于「目标」于「函数型」）中「一」）
                于「结果数」则
                  （虑「序一」者「写引用」授以「整数」于「待种」于「三」而「写引用」授以「整数」于「待值」于「目标」）
              否则
                「发调用」于「目标」
            ）
            或有「网页内存读四」于「齐」于「偏」则
              「载内存处理」
                于「零」
                于「四」于「偏」
            或有「网页内存读八有符号」于「齐」于「偏」则
              「载内存处理」
                于「一」
                于「一」于「偏」
            或有「网页内存读八无符号」于「齐」于「偏」则
              「载内存处理」
                于「二」
                于「一」于「偏」
            或有「网页内存读十六有符号」于「齐」于「偏」则
              「载内存处理」
                于「三」
                于「二」于「偏」
            或有「网页内存读十六无符号」于「齐」于「偏」则
              「载内存处理」
                于「四」于「二」于「偏」
            或有「网页内存写四」于「齐」于「偏」则
              「存内存处理」
                于「零」于「四」于「偏」
            或有「网页内存写八」于「齐」于「偏」则
              「存内存处理」
                于「一」于「一」于「偏」
            或有「网页内存写十六」于「齐」于「偏」则
              「存内存处理」于「二」于「二」于「偏」
            或有「网页内存大小」于「号」则（
              虑「d」者「读深」于「元」
              而
              虑「t」者「目寄」于「d」
              而
              虑「一发」者「发」于（「指页数」于「臂」于「t」）
              而
              虑「二发」者「发」于（「置」于「d」于「t」）而
              「压」于「元」
            ）
            或有「网页内存增长」于「号」则（
              虑「d」者「减」于（「读深」于「元」）于「一」
              而
              虑「一发」者「发」于（「送参」于「零」于「d」）
              而
              虑「二发」者「发」于（「指调用」于「臂」于『助手增长』）而
              「发」于（「置」于「d」于「零」）
            ）
            或有「网页内存复制令」于「目号」于「源号」则
              「三参助手」于『助手复制』
            或有「网页内存填充令」于「号」则
              「三参助手」
                于『助手填充』
            或有「网页内存初始化令」于「段号」于「内存号」则（
              虑「d」者「读深」于「元」
              而
              虑「址」者
                「网页取项」授以「整数」
                于『数据段描述地址』于「段号」于「段址们」
              而
              虑「一发」者
                「发」于（「串联」授以「机器片」
                  于（「列」【
                    「送参」于「零」于（「减」于「d」于「三」），
                    「送参」于「一」于（「减」于「d」于「二」），
                    「送参」于「二」于（「减」于「d」于「一」），
                    「指装址」
                      于「臂」于「式」
                      于（「参数寄」于「臂」于「三」）于「址」，
                      「指调用」于「臂」于『助手初始化』
                  】））
              而
              「弹」于「三」
            ）
            或有「网页数据丢弃」于「段号」则（
              虑「址」者
                「网页取项」授以「整数」
                于『数据段描述地址』于「段号」于「段址们」
              而
              「发」于（「指存零」于「臂」于「式」于「址」于「备甲」）
            ）
            或有「其他」则（
              虑「条」者「条件码」于「令」
              而
              若「不小于」于「条」于「零」则（
                虑「序一」者「弹」于「一」
                而
                虑「序二」者「写引用」授以「整数」于「待种」于「二」
                而
                虑「序三」者「写引用」授以「整数」于「待值」于「条」而
                「写引用」授以「整数」于「待立」于「零」
              ）
              否则
                （
                  虑「码」者「二元码」于「令」
                  而
                  若「小于」于「码」于「零」则
                    「发生事故」授以「有」于『裸机降级遇到未支持的指令』
                  否则
                    虑「d」者「读深」于「元」
                    而
                    虑「甲们」者
                      「取」于（「减」于「d」于「二」）于「备甲」
                    而
                    虑「乙们」者
                      「取」于（「减」于「d」于「一」）于「备乙」
                    而
                    虑「序标」者「新标」于「元」
                    而
                    虑「毕标」者「新标」于「元」
                    而
                    虑「算片」者
                      若「小于」于「码」于「一零」则
                        「指二元」
                          于「臂」
                          于「码」
                          于（「甲们」中「零」）
                          于（「乙们」中「零」）
                      否则若「小于」于「码」于「二零」则
                        「指除」
                          于「臂」
                          于（「减」于「码」于「一零」）
                          于（「甲们」中「零」）
                          于（「乙们」中「零」）
                          于（「读引用」授以「字符串」于「陷标引」）
                          于「序标」于「毕标」于「内备一」
                      否则
                        「指移位」
                          于「臂」
                          于（「减」于「码」于「二零」）
                          于（「甲们」中「零」）
                          于（「乙们」中「零」）于「备丙」
                    而
                    虑「一发」者
                      「发」于（「串联」授以「机器片」
                        于（「列」【
                          「甲们」中「一」，
                          「乙们」中「一」，
                          「算片」，
                          「置」
                            于（「减」于「d」于「二」）
                            于（「甲们」中「零」）
                        】））
                    而
                    「弹」于「一」
                ）
            ））
      ）
    而
    虑「死码」者
      （（化「网页指令」而「有」）也（会「令」而鉴「令」而
            有「网页块」于「数」则
              「写引用」授以「整数」
              于「死嵌」
              于（「加」于（「读引用」授以「整数」于「死嵌」）于「一」）
            或有「网页循环」于「数」则
              「写引用」授以「整数」
              于「死嵌」
              于（「加」于（「读引用」授以「整数」于「死嵌」）于「一」）
            或有「网页条件」于「数」则
              「写引用」授以「整数」
              于「死嵌」
              于（「加」于（「读引用」授以「整数」于「死嵌」）于「一」）
            或有「网页否则」则（
              若「等于」于（「读引用」授以「整数」于「死嵌」）于「零」则「活令」于「令」否则「元」）
            或有「网页结束」则（
              若「等于」于（「读引用」授以「整数」于「死嵌」）于「零」则
                「活令」于「令」
              否则
                「写引用」授以「整数」
                于「死嵌」
                于（「减」于（「读引用」授以「整数」于「死嵌」）于「一」）
            ）
            或有「其他」则「元」
        ）
      ）
    而
    虑「融合」者
      （（化「网页指令」而「爻」）也（会「令」而
            虑「种」者「读引用」授以「整数」于「待种」
            而
            若「等于」于「种」于「零」则「阴」
            否则若「等于」于「种」于「三」则（
              鉴「令」而
                有「网页返回」则
                  （虑「序一」者「发尾调」于（「读引用」授以「整数」于「待值」）而「阳」）
                或有「其他」则「阴」
            ）
            否则
              鉴「令」而
                有「网页为零」则（
                  若「等于」于「种」于「二」则（
                    虑「序一」者
                      「写引用」授以「整数」
                      于「待值」
                      于（「取反条件」于（「读引用」授以「整数」于「待值」））
                    而
                    「阳」
                  ）
                  否则
                    （
                      虑「序一」者
                        「写引用」授以「整数」
                        于「待值」
                        于（若「等于」于（「读引用」授以「整数」于「待值」）于「零」则
                          「一」
                            否则
                              「零」）
                      而
                      「阳」
                    ）
                ）
                或有「网页条件」于「数」则（
                  若「等于」于「种」于「二」则（
                    虑「检」者「块数检」于「数」
                    而
                    虑「条」者「发比较」于「元」
                    而
                    虑「否」者「新标」于「元」
                    而
                    虑「终」者「新标」于「元」
                    而
                    虑「一发」者
                      「发」于（「条跳」于（「取反条件」于「条」）于「否」）
                    而
                    虑「序二」者「弹」于「一」
                    而
                    虑「序三」者
                      「压帧」于（「二」与（「读深」于「元」）与「数」与「终」与「终」与「否」）
                    而
                    「阳」
                  ）
                  否则
                    「阴」
                ）
                或有「网页条件跳转」于「数」则（
                  若「等于」于「种」于「二」则（
                    虑「条」者「发比较」于「元」
                    而
                    虑「序二」者「弹」于「一」
                    而
                    虑「一发」者
                      「发」于（「跳向」于「数」于「一」于「条」）
                    而
                    「阳」
                  ）
                  否则
                    「阴」
                ）
                或有「其他」则（
                  虑「条」者「条件码」于「令」
                  而
                  若「不小于」于「条」于「零」则（
                    若「等于」于「种」于「一」则（
                      虑「立」者「读引用」授以「整数」于「待值」
                      而
                      虑「序一」者「弹」于「一」
                      而
                      虑「序二」者
                        「写引用」授以「整数」于「待种」于「二」
                      而
                      虑「序三」者
                        「写引用」授以「整数」于「待值」于「条」
                      而
                      虑「序四」者
                        「写引用」授以「整数」于「待立」于「一」
                      而
                      虑「序五」者
                        「写引用」授以「整数」于「待立值」于「立」
                      而
                      「阳」
                    ）
                    否则
                      「阴」
                  ）
                  否则
                    （
                      虑「码」者「二元码」于「令」
                      而
                      若「且」
                        于（「等于」于「种」于「一」）
                        于（「或者」
                          于（「且」于（「不小于」于「码」于「零」）于（「小于」于「码」于「一零」））
                          于（「不小于」于「码」于「二零」））则（
                          虑「d」者「读深」于「元」
                          而
                          虑「立」者「读引用」授以「整数」于「待值」
                          而
                          虑「甲们」者
                            「取」于（「减」于「d」于「二」）于「备甲」
                          而
                          虑「算片」者
                            若「小于」于「码」于「一零」则
                              「指二元立」
                                于「臂」
                                于「码」
                                于（「甲们」中「零」）于「立」于「备乙」
                            否则
                              「指移位立」
                                于「臂」
                                于（「减」于「码」于「二零」）
                                于（「甲们」中「零」）于「立」
                          而
                          虑「一发」者
                            「发」于（「串联」授以「机器片」
                              于（「列」【
                                「甲们」中「一」，
                                「算片」，
                                「置」
                                  于（「减」于「d」于「二」）
                                  于（「甲们」中「零」）
                              】））
                          而
                          虑「序二」者「弹」于「一」
                          而
                          虑「序三」者
                            「写引用」授以「整数」于「待种」于「零」
                          而
                          「阳」
                        ）
                      否则
                        「阴」
                    ）
                ））
      ）
    而
    虑「立岛」者
      （（化「有」而「有」）也（会「无」而
            虑「新陷」者「新标」于「元」
            而
            虑「跳过」者「新标」于「元」
            而
            虑「一发」者
              「发」
                于（「串联」授以「机器片」
                  于（「列」【
                    「指跳」于「臂」于「跳过」，
                    「列」【「代码标记」于「新陷」】，
                    「指陷阱」于「臂」，
                    「列」【「代码标记」于「跳过」】
                  】））
            而
            虑「二」者「写引用」授以「字符串」于「陷标引」于「新陷」而
            「写引用」授以「整数」于「岛计」于「零」
        ）
      ）
    而
    虑「处理」者
      （（化「网页指令」而「有」）也（会「令」而
            虑「无」者
              （
                若「不等于」于（「读引用」授以「整数」于「死」）于「零」则
                  「死码」于「令」
                否则若「融合」于「令」则「元」
                否则
                  （虑「序一」者「冲刷待」于「元」而「活令」于「令」）
              ）
            而
            若「大于」于（「读引用」授以「整数」于「岛计」）于「五二四二八八」则
              「立岛」于「元」
            否则
              「元」
        ）
      ）
    而
    虑「首岛」者「立岛」于「元」而
    虑「行完」者
      「从左折叠」授以「网页指令」授以「有」
      于（会「令」而会「无」而「处理」于「令」）
      于「元」
      于（「函」中「二」）
    而
    虑「收尾」者
      若「等于」于（「帧数」于「元」）于「一」则（
        若「等于」于（「读引用」授以「整数」于「死」）于「零」
        则
          （虑「序一」者「冲刷待」于「元」而「发」于（「搬」于「零」））
        否则
          「元」
      ）否则「元」
    而
    虑「过深」者
      「大于」于（「加」于「局数」于（「读引用」授以「整数」于「最大」））
      于「栈帧槽上限」
    而
    虑「体」者
      「串联」授以「机器片」于（「反转」于（「读引用」授以（「列」于（「列」于「机器片」））于「出」））
    而
    虑「用数」者
      若「小于」于（「读引用」授以「整数」于「最大」）于「寄数」则「读引用」授以「整数」
        于「最大」
      否则
        「寄数」
    而
    虑「溢数」者
      若「大于」于（「读引用」授以「整数」于「最大」）于「寄数」则
        「减」于（「读引用」授以「整数」于「最大」）于「寄数」
      否则
        「零」
    而
    虑「保存们」者
      「态射」授以「整数」授以「整数」
      于（「整数范围」于「零」于「用数」）
      于（会「d」而「虚拟寄存器」于「臂」于「d」）
    而
    若「过深」则
      「串联」授以「机器片」于（「列」【「列」【「代码标记」于「函名」】，「指陷阱」于「臂」】）
    否则
      「串联」授以「机器片」于（「列」【
        「列」【「代码标记」于「函名」】，
        「指序言」于「臂」于「式」于「局数」于「溢数」于「参数数」于「保存们」于「守标」，
        「体」，
        「列」【「代码标记」于「尾标」】，
        「指尾声」于「臂」于「局数」于「溢数」于「保存们」，
        「列」【「代码标记」于「陷标」】，
        「指陷阱」于「臂」，
        「串联」授以「机器片」于（「态射」授以（「字符串」合「字符串」）授以（「列」于「机器片」）
        于（「反转」于（「读引用」授以（「列」于（「字符串」合「字符串」））于「尾调们」））
        于（会「项」而
          「串联」授以「机器片」于（「列」【
            「列」【「代码标记」于（「项」中「零」）】，
            「指尾声不返」于「臂」于「局数」于「溢数」于「保存们」，
            「指跳」于「臂」于（「项」中「一」）
          】）））
      】）
也。

「：文言：目标之入口：裸机者立基寄、呼启动而报完成；Linux 者移栈、映动态之区、立基寄、呼启动而 exit_group；苹果者存 dyld 之寄、以锚距求全局基址、移栈、立基寄、呼启动而返零。汉语：按目标生成程序入口：裸机见「指入口」；Linux 见「臂Linux入口」「兼Linux入口」；macOS 见「臂苹果入口」（x86-64 尚未实现）。：」
「目标入口」乃
  化「降级目标」而
  化「址式」而
  化「整数」而
  化「爻」而
  化「整数」而
  化「字符串」而
  化「字符串」而
  （「列」于「机器片」）
也。
「目标入口」者会「标」而会「式」而会「全局基址」而会「探测」而会「容量」而会「入口标」而会「本标」而
  虑「臂」者「目标臂」于「标」而
  若「目标是裸机」于「标」则
    「指入口」于「臂」于「全局基址」于「探测」于「入口标」于「本标」
  否则若「目标是苹果」于「标」则（
    若「臂」则
      「臂苹果入口」
        于「式」
        于（「苹果锚距」于「标」于「全局基址」）
        于（「目标栈顶」于「标」）
        于（「目标线性基址」于「标」）
        于（「裸机页数地址」于「臂」）
        于「入口标」
    否则
      「发生事故」授以（「列」于「机器片」）于『macOS x86-64 目标尚未实现』
  ）
  否则若「臂」则
    「臂Linux入口」
      于（「目标栈顶」于「标」）
      于（「目标线性基址」于「标」）
      于（「裸机页数地址」于「臂」）
      于（「目标动态基址」于「标」）于「全局基址」于「容量」于「入口标」
  否则
    「兼Linux入口」
      于（「目标栈顶」于「标」）
      于（「目标线性基址」于「标」）
      于（「裸机页数地址」于「臂」）
      于（「目标动态基址」于「标」）于「全局基址」于「容量」于「入口标」
也。

「：文言：导入之桩，依其绑定：服务者入内核，系统调用者入 Linux，库函数者经导入之槽入 libSystem，常量者径返其值，他目标之导入为陷阱。号者导入之序。汉语：按导入的入口绑定生成导入桩：内核服务绑定用「指导入桩」，系统调用绑定用 Linux 导入桩，库函数绑定用 macOS 导入桩（第 号 个导入用第 号+1 个导入槽，第 0 个槽是 ___error），常量绑定（目标内建的平台号）直接返回常量，基址绑定返回线性内存基址的低或高 32 位，其他目标的导入是陷阱桩。：」
「目标导入桩」乃
  化「降级目标」而
  化「址式」而
  化「整数」而
  化「网页导入」而
  （「列」于「机器片」）
也。
「目标导入桩」者会「标」而会「式」而会「号」而会「项」而
  虑「臂」者「目标臂」于「标」而
  鉴「目标导入绑定」于「标」于「项」而
    有「服务绑定」于「服务」则
      「指导入桩」于「臂」于「服务」
    或有「常量绑定」于「值」则（
      若「臂」则「附加」授以「机器片」
      于（「臂立即」于「零」于「值」）
      于（「列」【「臂返回」】）
      否则
        「附加」授以「机器片」
        于（「兼立即」于「零」于「值」）
        于（「兼返回」于「元」）
    ）
    或有「基址绑定」于「半」则（
      若「臂」则
        「列」【（若「等零」于「半」则「臂取基低」否则「臂取基高」），「臂返回」】
      否则
        「附加」授以「机器片」
        于（若「等零」于「半」则「兼取基低」于「元」否则「兼取基高」于「元」）
        于（「兼返回」于「元」）
    ）
    或有「陷阱绑定」则（
      若「目标是裸机」于「标」则（
        若「臂」则「列」【「臂陷阱」】否则「兼陷阱」于「元」）
      否则
        （若「臂」则「列」【「臂断点」】否则「兼未定义」于「元」）
    ）
    或有「系统调用绑定」于「调号」于「类别们」则
      （若「臂」则「臂Linux导入桩」于「调号」于「类别们」否则「兼Linux导入桩」于「调号」于「类别们」）
    或有「库函数绑定」于「类别们」于「转错」则（
      若「臂」则
        「臂苹果导入桩」
          于「式」
          于（「苹果导入槽址」于「标」于（「加」于「号」于「一」））
          于「类别们」
          于（若「转错」则「苹果导入槽址」于「标」于「零」否则「零」）
          于（（「裸机函数名」于「号」）附『错毕』）
      否则
        「发生事故」授以（「列」于「机器片」）于『macOS x86-64 目标尚未实现』
    ）
也。

「：文言：内存之助手，依目标定求块之术。汉语：按目标生成线性内存助手：裸机向内核服务二二求块；Linux 的动态区已在入口映射；macOS 的动态区是数据段里预留的零填充区，地址按相对址式求得。：」
「目标助手们」乃
  化「降级目标」而
  化「址式」而
  化「整数」而
  （「列」于「机器片」）
也。
「目标助手们」者会「标」而会「式」而会「容量」而
  虑「臂」者「目标臂」于「标」而
  若「目标是裸机」于「标」则
    「指助手们」于「臂」于「容量」
  否则若「目标是苹果」于「标」则（
    若「臂」则
      「臂苹果助手们」于「式」于（「目标动态基址」于「标」）于「容量」
        于（「裸机页数地址」于「臂」）
    否则
      「发生事故」授以（「列」于「机器片」）于『macOS x86-64 目标尚未实现』
  ）
  否则若「臂」则「臂Linux助手们」于「容量」于（「裸机页数地址」于「臂」）
  否则
    「兼Linux助手们」于「容量」于（「裸机页数地址」于「臂」）
也。

「：文言：模块之降，先立入口，次立诸导入之桩，次立诸函数，末缀整批内存之助手，皆连于用户代码之始址。入口、导入之桩、助手、址式与始址依目标而定，函数之降唯依指令之集与址式。汉语：把已验证模块按目标降为用户代码字节。全局基址是元数据中全局值的（名义）起始地址，段址们是各数据段描述符（名义）地址，页容量是线性内存至多页数。函数、导入桩和助手的标号在全部片内独一。入口、导入桩、助手、地址模式与代码起址随目标而变；函数本身的降级只取决于指令集与地址模式。：」
「目标降级用户模块」乃
  化「降级目标」而
  化「网页模块」而
  化「爻」而
  化「整数」而
  化「整数」而
  化（「列」于「整数」）而
  「字节串」
也。
「目标降级用户模块」者会「标」而会「原模」而会「探测」而会「页容量」而会「全局基址」而会「段址们」而
  「：文言：先内联小叶函数（见内联小函数）。汉语：降级前先做小叶函数内联（见 内联小函数。豫）。：」
  虑「模」者「内联小叶函数」于「原模」于「栈帧槽上限」而
  虑「臂」者「目标臂」于「标」而
  虑「式」者「目标址式」于「标」于「全局基址」而
  虑「入口」者「目标函数入口」于「标」于「模」而
  虑「始」者
    「目标入口」于「标」于「式」于「全局基址」于「探测」于「页容量」
    于（「裸机函数名」于「入口」）于『入口自旋』而
    虑「导入数」者「长度」授以「网页导入」于（「模」中「一」）而
    虑「导入」者
      「串联」授以「机器片」于（「态射」授以「整数」授以（「列」于「机器片」）
      于（「整数范围」于「零」于「导入数」）
      于（会「号」而「附加」授以「机器片」
        于（「列」【「代码标记」于（「裸机函数名」于「号」）】）
        于（「目标导入桩」
          于「标」
          于「式」
          于「号」
          于（「网页取项」授以「网页导入」于『导入』于「号」于（「模」中「一」）））））而
          虑「函数型表」者
            「网页列转签名表」
              于（「附加」授以「网页签名」
                于（「态射」授以「网页导入」授以「网页签名」
                  于（「模」中「一」）
                  于（会「入」而「网页取项」授以「网页签名」于『导入类型』于（「入」中「二」）于（「模」中「零」）））
                  于（「态射」授以「网页函数」授以「网页签名」
                    于（「模」中「二」）
                    于（会「项」而「网页取项」授以「网页签名」于『函数类型』于（「项」中「零」）于（「模」中「零」））））
          而
          虑「函数」者
            「串联」授以「机器片」于（「态射序号」授以「网页函数」授以（「列」于「机器片」）
            于（会「号」而会「函项」而「寄降级函数」
              于「臂」
              于「式」
              于「段址们」
              于「模」
              于（「加」于「号」于「导入数」）
              于「函项」
              于「函数型表」）
              于（「模」中「二」））而
              虑「助手」者「目标助手们」于「标」于「式」于「页容量」而
              （「连接机器代码」
                于（「目标用户基址」于「标」）
                于（「串联」授以「机器片」于（「列」【「始」，「导入」，「函数」，「助手」】）））中「零」
也。

「：文言：裸机之降，目标为裸机。汉语：裸机用户模块降级（即以裸机目标调用「目标降级用户模块」）。：」
「寄降级用户模块」乃
  化「爻」而
  化「网页模块」而
  化「爻」而
  化「整数」而
  化「整数」而
  化（「列」于「整数」）而
  「字节串」
也。
「寄降级用户模块」者会「臂」而会「模」而会「探测」而会「页容量」而会「全局基址」而会「段址们」而
  「目标降级用户模块」于（「裸机目标」于「臂」）于「模」于「探测」于「页容量」于「全局基址」于「段址们」
也。

「：文言：无内存无全局之模块，径降之。汉语：降级不带线性内存、全局和数据段的简单模块（普通返回、内核自检用例等）：先验证，再以零页容量、零全局基址降级。：」
「目标降级简单模块」乃化「降级目标」而化「网页模块」而化「爻」而「字节串」也。
「目标降级简单模块」者会「标」而会「模」而会「探测」而
  虑「检」者「验证网页模块」于「模」而
  「目标降级用户模块」于「标」于「模」于「探测」于「零」于「零」
  于（「罄」授以「整数」）
也。

「降级简单模块」乃化「爻」而化「网页模块」而化「爻」而「字节串」也。
「降级简单模块」者会「臂」而会「模」而会「探测」而
  「目标降级简单模块」于（「裸机目标」于「臂」）于「模」于「探测」
也。