豫言源码浏览器

yuyan · 962 行 · 45482 字节 · UTF-8
寻观「底层库」之书。
寻观「客体二号」之「布局」之书。
寻观「客体二号」之「平台」之书。
寻观「客体二号」之「基础」之书。
寻观「客体二号」之「实例」之书。
寻观「客体二号」之「堆」之书。
寻观「客体二号」之「WASI名称」之书。

「：文言：模块之解：节表、类型、导入、函数、代码、全局、表、元素、数据、导出。汉语：客体模块解析：读节表，建立类型表、函数表、全局表、表描述、标签、元素段、数据段、线性内存声明，并按名查找导出。诸表布局见 布局。豫。：」

「：文言：所需之名。汉语：模块解析要比较的固定名字（零结尾静态串）。：」
「串_启动」者（「静态串」于『_start』）也。

「串_导入宿」者（「静态串」于『yuyan:gc-host/v1』）也。

「串_导入名」者（「静态串」于『call』）也。

「：文言：字节与名之比。汉语：字节串比较；零结尾串的长度；模块内字节 (址,长) 与零结尾串是否相同。：」
「相同字节」乃化「整数」而化「整数」而化「整数」而「爻」也。
「相同字节」者会「甲」而
  会「乙」而
    会「长」而
      递归虑「逐」其化「整数」而「爻」者会「位」而
        若「小于」于「位」于「长」
        则
          （
            若「不等于」
              于（「读一」于（「加」于「甲」于「位」））
              于（「读一」于（「加」于「乙」于「位」））则「阴」
            否则
              「逐」于（「加」于「位」于「一」）
          ）
        否则
          「阳」
      而
      「逐」于「零」
也。

「零串长」乃化「整数」而「整数」也。
「零串长」者会「址」而
  递归虑「逐」其化「整数」而「整数」者会「长」而
    若「等零」于（「读一」于（「加」于「址」于「长」））则「长」否则「逐」
      于（「加」于「长」于「一」）
  而
  「逐」于「零」
也。

「名相同」乃化「整数」而化「整数」而化「整数」而「爻」也。
「名相同」者会「址」而会「长」而会「串」而
  若「不等于」于「长」于（「零串长」于「串」）则
    「阴」
  否则
    「相同字节」于「址」于「串」于「长」
也。

「：文言：节表之读：诸节之起与长存于节表。汉语：读节表：模块头八字节之后是若干节，节号一字节、长度 LEB、内容；起点与长度记入 状态_节表。：」
「节起」乃化「整数」而「整数」也。
「节起」者会「号」而
  「读四」于（「加」于「状态_节表」于（「乘」于「号」于「八」））
也。

「节长」乃化「整数」而「整数」也。
「节长」者会「号」而
  「读四」于（「加」于「状态_节表」于（「加」于（「乘」于「号」于「八」）于「四」））
也。

「读节」乃化「有」而「有」也。
「读节」者会「无」而
  虑「末」者
    「加」于（「读四」于「状态_模块址」）于（「读四」于「状态_模块长」）而
  递归虑「逐」其化「整数」而「有」者会「址」而
    若「无符号小于」于「址」于「末」
    则
      虑「号」者「读一」于「址」而
      虑「长」者「读无符号变长」于（「加」于「址」于「一」）而
      虑「起」者「读四」于「状态_读址」而
      虑「无」者
        （
          若「无符号小于」于「号」于「一四」
          则
            （（「写四」于（「加」于「状态_节表」于（「乘」于「号」于「八」））于「起」）；
              （「写四」于（「加」于「状态_节表」于（「加」于（「乘」于「号」于「八」）于「四」））于「长」））
          否则
            「元」
        ）
      而
      「逐」于（「加」于「起」于「长」）
    否则
      「元」
  而
  「逐」于（「加」于（「读四」于「状态_模块址」）于「八」）
也。

「：文言：值类型之类：零为四字节数值，一为八字节数值，二为引用；新址存于 状态_读址。汉语：值类型类别：0=四字节数值 1=八字节数值 2=引用；新位置写入 状态_读址。存储类别另有：3 字节、4 半字。：」
「值类别」乃化「整数」而「整数」也。
「值类别」者会「址」而
  虑「码」者「读一」于「址」而
  若「或者」于（「等」于「码」于「九九」）于（「等」于「码」于「一零零」）
  则
    （虑「无」者「读有符号变长」于（「加」于「址」于「一」）而「二」）
  否则
    虑「无」者（「写四」于「状态_读址」于（「加」于「址」于「一」））而
    若「或者」于（「等」于「码」于「一二六」）于（「等」于「码」于「一二四」）则
      「一」
    否则
      （
        若「等」于「码」于「一二三」则
          「一」
        否则
          （若「或者」于（「等」于「码」于「一二七」）于（「等」于「码」于「一二五」）则「零」否则「二」）
      ）
也。

「存储类别」乃化「整数」而「整数」也。
「存储类别」者会「址」而
  虑「码」者「读一」于「址」而
  若「等」于「码」于「一二零」则
    （（「写四」于「状态_读址」于（「加」于「址」于「一」））；
      「三」）
  否则
    （
      若「等」于「码」于「一一九」则
        （（「写四」于「状态_读址」于（「加」于「址」于「一」））；
          「四」）
      否则
        「值类别」于「址」
    ）
也。

「跳过值类型们」乃化「整数」而化「整数」而「整数」也。
「跳过值类型们」者会「址」而
  会「个数」而
    递归虑「逐」其化「整数」而化「整数」而「整数」者会「位」而会「游」而
      若「小于」于「位」于「个数」
      则
        虑「无」者「值类别」于「游」而
        「逐」于（「加」于「位」于「一」）于（「读四」于「状态_读址」）
      否则
        「游」
    而
    「逐」于「零」于「址」
也。

「：文言：复合类型之解：函数、结构、数组。汉语：解析复合类型（0x60 函数、0x5F 结构、0x5E 数组）到类型条 e，返回新位置。函数类型记参数与结果的编码起止；结构类型把各字段的存储类别逐字节存入元数据池；数组记元素类别与字节数。：」
「解析函数类型」乃化「整数」而化「整数」而「整数」也。
「解析函数类型」者会「址」而会「条」而
  虑「无」者（「写字段」于「条」于「类型条_种类」于「一」）而
  虑「参数数」者「读无符号变长」于「址」而
  虑「参数起」者「读四」于「状态_读址」而
  虑「无」者（「写字段」于「条」于「类型条_甲」于「参数数」）而
  虑「无」者（「写字段」于「条」于「类型条_编码起」于「参数起」）而
  虑「参数止」者「跳过值类型们」于「参数起」于「参数数」而
  虑「结果数」者「读无符号变长」于「参数止」而
  虑「结果起」者「读四」于「状态_读址」而
  虑「无」者（「写字段」于「条」于「类型条_乙」于「结果数」）而
  虑「无」者（「写字段」于「条」于「类型条_结果编码起」于「结果起」）而
  虑「结果止」者「跳过值类型们」于「结果起」于「结果数」而
  虑「无」者（「写字段」于「条」于「类型条_编码止」于「结果止」）而
  「结果止」
也。

「登记结构字段们」乃化「整数」而化「整数」而「整数」也。
「登记结构字段们」者会「址」而
  会「个数」而
    递归虑「逐」其化「整数」而化「整数」而「整数」者会「位」而会「游」而
      若「小于」于「位」于「个数」
      则
        虑「类别」者「存储类别」于「游」而
        虑「后」者（「加」于（「读四」于「状态_读址」）于「一」）而
        虑「顶」者「读四」于「状态_元数据顶」而
        虑「无」者（「写一」于「顶」于「类别」）而
        虑「无」者
          （「写四」于「状态_元数据顶」于（「加」于「顶」于「一」））
        而
        「逐」于（「加」于「位」于「一」）于「后」
      否则
        「游」
    而
    「逐」于「零」于「址」
也。

「解析结构类型」乃化「整数」而化「整数」而「整数」也。
「解析结构类型」者会「址」而会「条」而
  虑「无」者（「写字段」于「条」于「类型条_种类」于「二」）而
  虑「字段数」者「读无符号变长」于「址」而
  虑「起」者「读四」于「状态_读址」而
  虑「无」者（「写字段」于「条」于「类型条_甲」于「字段数」）而
  虑「无」者（「写字段」于「条」于「类型条_乙」于「字段数」）而
  虑「无」者
    （「写字段」于「条」于「类型条_编码起」于（「读四」于「状态_元数据顶」））
  而
  「登记结构字段们」于「起」于「字段数」
也。

「数组元素字节数」乃化「整数」而「整数」也。
「数组元素字节数」者会「类别」而
  鉴「类别」而
    有「零」则「四」
    或有「一」则「八」
    或有「二」则「四」
    或有「三」则「一」
    或有「其他」则「二」
也。

「解析数组类型」乃化「整数」而化「整数」而化「整数」而「整数」也。
「解析数组类型」者会「码」而会「址」而会「条」而
  虑「无」者
    （若「等」于「码」于「九四」则「元」否则「致命退出」于「一二一」于（「静态串」于『未知复合类型』））而
    虑「无」者（「写字段」于「条」于「类型条_种类」于「三」）而
    虑「类别」者「存储类别」于「址」而
    虑「后」者（「加」于（「读四」于「状态_读址」）于「一」）而
    虑「无」者（「写字段」于「条」于「类型条_甲」于「类别」）而
    虑「无」者
      （「写字段」于「条」于「类型条_乙」于（「数组元素字节数」于「类别」））
    而
    「后」
也。

「解析复合类型」乃化「整数」而化「整数」而「整数」也。
「解析复合类型」者会「址」而会「条」而
  虑「码」者「读一」于「址」而
  虑「后」者「加」于「址」于「一」而
  若「等」于「码」于「九六」则
    「解析函数类型」于「后」于「条」
  否则
    （若「等」于「码」于「九五」则「解析结构类型」于「后」于「条」
      否则
        「解析数组类型」于「码」于「后」于「条」）
也。

「登记超类们」乃化「整数」而化「整数」而化「整数」而「整数」也。
「登记超类们」者会「址」而
  会「个数」而
    会「条」而
      递归虑「逐」其化「整数」而化「整数」而「整数」者会「位」而会「游」而
        若「小于」于「位」于「个数」
        则
          虑「类型号」者「读无符号变长」于「游」而
          虑「后」者「读四」于「状态_读址」而
          虑「无」者
            （若「等零」于「位」则「写字段」于「条」于「类型条_超类」于「类型号」否则「元」）
          而
          「逐」于（「加」于「位」于「一」）于「后」
        否则
          「游」
      而
      「逐」于「零」于「址」
也。

「解析子类型」乃化「整数」而化「整数」而「整数」也。
「解析子类型」者会「址」而会「条」而
  虑「无」者（「写字段」于「条」于「类型条_超类」于「负一」）而
  虑「无」者（「写字段」于「条」于「类型条_终类」于「一」）而
  虑「码」者「读一」于「址」而
  若「或者」于（「等」于「码」于「八零」）于（「等」于「码」于「七九」）
  则
    虑「无」者
      （「写字段」于「条」于「类型条_终类」于（「爻整」于（「等」于「码」于「七九」）））而
      虑「个数」者「读无符号变长」于（「加」于「址」于「一」）而
      虑「后」者
        「登记超类们」于（「读四」于「状态_读址」）于「个数」于「条」
      而
      「解析复合类型」于「后」于「条」
  否则
    「解析复合类型」于「址」于「条」
也。

「解析子类型们」乃化「整数」而化「整数」而化「整数」而化「整数」而「整数」也。
「解析子类型们」者会「表」而
  会「首」而
    会「址」而
      会「个数」而
        递归虑「逐」其化「整数」而化「整数」而「整数」者会「位」而会「游」而
          若「小于」于「位」于「个数」
          则
            「逐」
              于（「加」于「位」于「一」）
              于（「解析子类型」于「游」于（「加」于「表」于（「乘」于（「加」于「首」于「位」）于「类型条长」）））
          否则
            「游」
        而
        「逐」于「零」于「址」
也。

「解析类型段」乃化「有」而「有」也。
「解析类型段」者会「无」而
  虑「起」者「节起」于「一」而
  若「等零」于「起」则
    「元」
  否则
    虑「个数」者「读无符号变长」于「起」而
    虑「首址」者「读四」于「状态_读址」而
    虑「表」者「取存」于（「乘」于（「节长」于「一」）于「类型条长」）而
    虑「无」者（「写四」于「状态_类型表」于「表」）而
    递归虑「逐」其化「整数」而化「整数」而化「整数」而「整数」者会「位」而会「游」而会「计」而
      若「小于」于「位」于「个数」
      则
        虑「成组」者「等」于（「读一」于「游」）于「七八」
        而
        虑「组数」者
          「选择」
            于「成组」
            于（「读无符号变长」于（「加」于「游」于「一」））于「一」
        而
        虑「组起」者
          「选择」于「成组」于（「读四」于「状态_读址」）于「游」
        而
        「逐」
          于（「加」于「位」于「一」）
          于（「解析子类型们」于「表」于「计」于「组起」于「组数」）
          于（「加」于「计」于「组数」）
      否则
        「计」
    而
    虑「总数」者「逐」于「零」于「首址」于「零」而
    「写四」于「状态_类型数」于「总数」
也。

「：文言：函数类型之等。汉语：两个函数类型是否结构等价：同号即等；否则须皆为函数类型，参数数、结果数与编码字节相同。：」
「函数类型等价」乃化「整数」而化「整数」而「爻」也。
「函数类型等价」者会「甲」而会「乙」而
  若「等」于「甲」于「乙」则
    「阳」
  否则
    虑「条甲」者「类型条」于「甲」而
    虑「条乙」者「类型条」于「乙」而
    虑「长甲」者
      （「减」于（「读字段」于「条甲」于「类型条_编码止」）于（「读字段」于「条甲」于「类型条_编码起」））
    而
    虑「长乙」者
      （「减」于（「读字段」于「条乙」于「类型条_编码止」）于（「读字段」于「条乙」于「类型条_编码起」））
    而
    虑「同型」者
      「且」
        于（「且」于（「等」于（「读四」于「条甲」）于「一」）于（「等」于（「读四」于「条乙」）于「一」））
        于（「且」
          于（「且」
            于（「等」于（「读字段」于「条甲」于「类型条_甲」）于（「读字段」于「条乙」于「类型条_甲」））
            于（「等」于（「读字段」于「条甲」于「类型条_乙」）于（「读字段」于「条乙」于「类型条_乙」）））
            于（「等」于「长甲」于「长乙」））
    而
    若「同型」则
      「相同字节」于（「读字段」于「条甲」于「类型条_编码起」）
      于（「读字段」于「条乙」于「类型条_编码起」）于「长甲」
    否则
      「阴」
也。

「：文言：函数表之立，导入、函数、代码之解；WASI 之名亦于导入时辨之。汉语：节内向量元素个数（节不存在为 0）；建立并清零函数表；解析导入段（只支持函数导入，识别 gc-host.call 与 WASI preview1）、函数段、代码段。：」
「读计数」乃化「整数」而「整数」也。
「读计数」者会「号」而
  虑「起」者「节起」于「号」而
  若「等零」于「起」则「零」否则「读无符号变长」于「起」
也。

「建函数表」乃化「有」而「有」也。
「建函数表」者会「无」而
  虑「导」者「读计数」于「二」而
  虑「定」者「读计数」于「三」而
  虑「无」者（「写四」于「状态_导入数」于「导」）而
  虑「无」者（「写四」于「状态_函数数」于（「加」于「导」于「定」））而
  虑「字节数」者
    「乘」于（「加」于（「加」于「导」于「定」）于「一」）于「函数条长」而
    虑「表」者「取存」于「字节数」而
    虑「无」者「清零」于「表」于「字节数」而
    「写四」于「状态_函数表」于「表」
也。

「解析导入段」乃化「有」而「有」也。
「解析导入段」者会「无」而
  虑「无」者（「写四」于「状态_有瓦」于「零」）而
  虑「起」者「节起」于「二」而
  若「等零」于「起」则
    「元」
  否则
    虑「个数」者「读无符号变长」于「起」而
    虑「首址」者「读四」于「状态_读址」而
    递归虑「逐」其化「整数」而化「整数」而「有」者会「位」而会「游」而
      若「小于」于「位」于「个数」
      则
        虑「宿长」者「读无符号变长」于「游」
        而
        虑「宿址」者「读四」于「状态_读址」
        而
        虑「名长址」者「加」于「宿址」于「宿长」
        而
        虑「名长」者「读无符号变长」于「名长址」
        而
        虑「名址」者「读四」于「状态_读址」
        而
        虑「种址」者「加」于「名址」于「名长」
        而
        虑「无」者
          （
            若「不等于」于（「读一」于「种址」）于「零」则
              「致命退出」于「一二一」于（「静态串」于『只支持函数导入』）
            否则
              「元」
          ）
        而
        虑「类型号」者「读无符号变长」于（「加」于「种址」于「一」）
        而
        虑「后」者「读四」于「状态_读址」
        而
        虑「条」者「函数条」于「位」
        而
        虑「类型」者「类型条」于「类型号」
        而
        虑「宿主调用」者
          「且」
            于（「名相同」于「宿址」于「宿长」于「串_导入宿」）
            于（「名相同」于「名址」于「名长」于「串_导入名」）
        而
        虑「瓦序」者「瓦号」于「宿址」于「宿长」于「名址」于「名长」
        而
        虑「宿主类」者
          「选择」
            于「宿主调用」
            于「宿主号_宿主」
            于（「选择」于（「不等于」于「瓦序」于「零」）于「宿主号_WASI」于「零」）
        而
        虑「无」者（「写字段」于「条」于「函数条_类型」于「类型号」）
        而
        虑「无」者
          （「写字段」于「条」于「函数条_参数数」于（「读字段」于「类型」于「类型条_甲」））
        而
        虑「无」者
          （「写字段」于「条」于「函数条_结果数」于（「读字段」于「类型」于「类型条_乙」））
        而
        虑「无」者
          （「写字段」于「条」于「函数条_局部总数」于（「读字段」于「类型」于「类型条_甲」））
        而
        虑「无」者
          （若「不等于」于「宿主类」于「零」则「元」否则「写字段」于「条」于「函数条_导入项」于「游」）
        而
        虑「无」者
          （若「等」于「宿主类」于「宿主号_WASI」则「写字段」于「条」于「函数条_链接函数」于「瓦序」否则「元」）
        而
        虑「无」者
          （若「等」于「宿主类」于「宿主号_WASI」则「写四」于「状态_有瓦」于「一」否则「元」）
        而
        虑「无」者
          （「写字段」于「条」于「函数条_标志」于（「位或」于「一」于（「左移」于「宿主类」于「八」）））
        而
        「逐」于（「加」于「位」于「一」）于「后」
      否则
        「元」
    而
    「逐」于「零」于「首址」
也。

「解析函数段」乃化「有」而「有」也。
「解析函数段」者会「无」而
  虑「起」者「节起」于「三」而
  若「等零」于「起」则
    「元」
  否则
    虑「个数」者「读无符号变长」于「起」而
    虑「首址」者「读四」于「状态_读址」而
    虑「导」者「读四」于「状态_导入数」而
    递归虑「逐」其化「整数」而化「整数」而「有」者会「位」而会「游」而
      若「小于」于「位」于「个数」
      则
        虑「类型号」者「读无符号变长」于「游」
        而
        虑「后」者「读四」于「状态_读址」
        而
        虑「条」者「函数条」于（「加」于「导」于「位」）
        而
        虑「类型」者「类型条」于「类型号」
        而
        虑「无」者（「写字段」于「条」于「函数条_类型」于「类型号」）
        而
        虑「无」者
          （「写字段」于「条」于「函数条_参数数」于（「读字段」于「类型」于「类型条_甲」））
        而
        虑「无」者
          （「写字段」于「条」于「函数条_结果数」于（「读字段」于「类型」于「类型条_乙」））
        而
        「逐」于（「加」于「位」于「一」）于「后」
      否则
        「元」
    而
    「逐」于「零」于「首址」
也。

「解析代码段」乃化「有」而「有」也。
「解析代码段」者会「无」而
  虑「起」者「节起」于「一零」而
  若「等零」于「起」则
    「元」
  否则
    虑「个数」者「读无符号变长」于「起」而
    虑「首址」者「读四」于「状态_读址」而
    虑「导」者「读四」于「状态_导入数」而
    递归虑「逐」其化「整数」而化「整数」而「有」者会「位」而会「游」而
      若「小于」于「位」于「个数」
      则
        虑「体长」者「读无符号变长」于「游」
        而
        虑「体起」者「读四」于「状态_读址」
        而
        虑「体止」者「加」于「体起」于「体长」
        而
        虑「条」者「函数条」于（「加」于「导」于「位」）
        而
        虑「组数」者「读无符号变长」于「体起」
        而
        虑「组起」者「读四」于「状态_读址」
        而
        虑「总」者「新格」于「零」
        而
        虑「组后」者
          （
            递归虑「逐组」其化「整数」而化「整数」而「整数」者会「组」而会「址」而
              若「小于」于「组」于「组数」
              则
                虑「组个数」者「读无符号变长」于「址」
                而
                虑「组值起」者「读四」于「状态_读址」
                而
                虑「无」者（「增格」于「总」于「组个数」）
                而
                虑「无」者「值类别」于「组值起」而
                「逐组」
                  于（「加」于「组」于「一」）
                  于（「读四」于「状态_读址」）
              否则
                「址」
            而
            「逐组」于「零」于「组起」
          ）
        而
        虑「无」者（「写字段」于「条」于「函数条_代码起」于「组后」）
        而
        虑「无」者（「写字段」于「条」于「函数条_代码止」于「体止」）
        而
        虑「无」者
          （「写字段」
            于「条」
            于「函数条_局部总数」
            于（「加」于（「读字段」于「条」于「函数条_参数数」）于（「读格」于「总」）））
        而
        「逐」于（「加」于「位」于「一」）于「体止」
      否则
        「元」
    而
    「逐」于「零」于「首址」
也。

「：文言：全局、表、标签之解。汉语：解析全局段（每项 8 字节）、表段（描述 16 字节：数据指针、大小、上限、元素类别；元素每项 4 字节）、标签段（每项 8 字节：类型、参数数）。：」
「解析全局段」乃化「有」而「有」也。
「解析全局段」者会「无」而
  虑「起」者「节起」于「六」而
  若「等零」于「起」则
    「写四」于「状态_全局数」于「零」
  否则
    虑「个数」者「读无符号变长」于「起」而
    虑「无」者（「写四」于「状态_全局数」于「个数」）而
    「写四」于「状态_全局表」于（「取存」于（「乘」于「个数」于「八」））
也。

「解析表段」乃化「有」而「有」也。
「解析表段」者会「无」而
  虑「起」者「节起」于「四」而
  若「等零」于「起」则
    「元」
  否则
    虑「个数」者「读无符号变长」于「起」而
    虑「首址」者「读四」于「状态_读址」而
    虑「无」者（「写四」于「状态_表数」于「个数」）而
    虑「无」者
      （「写四」于「状态_表描述」于（「取存」于（「乘」于「个数」于「表描述长」）））而
    递归虑「逐」其化「整数」而化「整数」而「有」者会「位」而会「游」而
      若「小于」于「位」于「个数」
      则
        虑「类别」者「值类别」于「游」
        而
        虑「标志址」者「读四」于「状态_读址」
        而
        虑「标志」者「读一」于「标志址」
        而
        虑「最小」者「读无符号变长」于（「加」于「标志址」于「一」）
        而
        虑「最小后」者「读四」于「状态_读址」
        而
        虑「有上限」者「不等于」于（「位与」于「标志」于「一」）于「零」
        而
        虑「最大」者
          「选择」于「有上限」于（「读无符号变长」于「最小后」）于「负一」
        而
        虑「后」者
          「选择」于「有上限」于（「读四」于「状态_读址」）于「最小后」
        而
        虑「上限」者
          「选择」于「有上限」于「最大」于（「加」于「最小」于「一零二四」）
        而
        虑「描述」者
          「加」
            于（「读四」于「状态_表描述」）
            于（「乘」于「位」于「表描述长」）
        而
        虑「无」者
          （「写字段」于「描述」于「表描述_数据」于（「取存」于（「乘」于「上限」于「四」）））
        而
        虑「无」者（「写字段」于「描述」于「表描述_大小」于「最小」）
        而
        虑「无」者（「写字段」于「描述」于「表描述_上限」于「上限」）
        而
        虑「无」者（「写字段」于「描述」于「表描述_类别」于「类别」）而
        「逐」于（「加」于「位」于「一」）于「后」
      否则
        「元」
    而
    「逐」于「零」于「首址」
也。

「解析标签段」乃化「有」而「有」也。
「解析标签段」者会「无」而
  虑「起」者「节起」于「一三」而
  若「等零」于「起」则
    「元」
  否则
    虑「个数」者「读无符号变长」于「起」而
    虑「首址」者「读四」于「状态_读址」而
    虑「无」者（「写四」于「状态_标签数」于「个数」）而
    虑「无」者
      （「写四」于「状态_标签表」于（「取存」于（「乘」于「个数」于「标签条长」）））而
    递归虑「逐」其化「整数」而化「整数」而「有」者会「位」而会「游」而
      若「小于」于「位」于「个数」
      则
        虑「类型号」者「读无符号变长」于（「加」于「游」于「一」）
        而
        虑「后」者「读四」于「状态_读址」
        而
        虑「条」者
          「加」
            于（「读四」于「状态_标签表」）
            于（「乘」于「位」于「标签条长」）
        而
        虑「无」者（「写字段」于「条」于「标签条_类型」于「类型号」）
        而
        虑「无」者
          （「写字段」于「条」于「标签条_参数数」于（「读字段」于（「类型条」于「类型号」）于「类型条_甲」））
        而
        「逐」于（「加」于「位」于「一」）于「后」
      否则
        「元」
    而
    「逐」于「零」于「首址」
也。

「：文言：常量式之越。汉语：跳过常量表达式，返回 end（0x0B）之后的位置；只识别本执行器会遇到的常量指令。：」
「跳过结构常量指令」乃化「整数」而「整数」也。
「跳过结构常量指令」者会「址」而
  虑「子码」者「读无符号变长」于「址」而
  虑「后」者「读四」于「状态_读址」而
  鉴「子码」而
    有「零」则「变长后」于「后」
    或有「一」则「变长后」于「后」
    或有「六」则「变长后」于「后」
    或有「七」则「变长后」于「后」
    或有「八」则
      「变长后」于（「变长后」于「后」）
    或有「其他」则「后」
也。

「跳过常量指令」乃化「整数」而化「整数」而「整数」也。
「跳过常量指令」者会「操作码」而会「址」而
  鉴「操作码」而
    有「六五」则「变长后」于「址」
    或有「二零八」则「变长后」于「址」
    或有「六六」则「变长后」于「址」
    或有「六七」则
      「加」于「址」于「四」
    或有「六八」则
      「加」于「址」于「八」
    或有「三五」则「变长后」于「址」
    或有「二一零」则「变长后」于「址」
    或有「二五一」则
      「跳过结构常量指令」于「址」
    或有「其他」则「址」
也。

「跳过常量式」乃化「整数」而「整数」也。
「跳过常量式」者会「址」而
  递归虑「逐」其化「整数」而「整数」者会「游」而
  虑「操作码」者「读一」于「游」而
  若「等」于「操作码」于「一一」
  则
    「加」于「游」于「一」
  否则
    「逐」于（「跳过常量指令」于「操作码」于（「加」于「游」于「一」））
  而
  「逐」于「址」
也。

「跳过常量式们」乃化「整数」而化「整数」而「整数」也。
「跳过常量式们」者会「址」而
  会「个数」而
    递归虑「逐」其化「整数」而化「整数」而「整数」者会「位」而会「游」而
      若「小于」于「位」于「个数」则「逐」于（「加」于「位」于「一」）
      于（「跳过常量式」于「游」）
      否则
        「游」
    而
    「逐」于「零」于「址」
也。

「：文言：元素段与数据段之解。汉语：元素段条 24 字节 [向量起 个数 标志 已弃 偏移式指针 表号]，标志即元素段种类 0..7；数据段条 20 字节 [数据指针 长度 被动 已弃 偏移式指针]。：」
「标志属」乃
  化「整数」而
  化「整数」而
  化「整数」而
  化「整数」而
  化「整数」而
  「爻」
也。
「标志属」者会「标志」而会「甲」而会「乙」而会「丙」而会「丁」而
  「或者」
    于（「或者」于（「等」于「标志」于「甲」）于（「等」于「标志」于「乙」））
    于（「或者」于（「等」于「标志」于「丙」）于（「等」于「标志」于「丁」））
也。

「跳过引用类型」乃化「整数」而「整数」也。
「跳过引用类型」者会「址」而
  虑「无」者「值类别」于「址」而
  「读四」于「状态_读址」
也。

「解析元素段」乃化「有」而「有」也。
「解析元素段」者会「无」而
  虑「起」者「节起」于「九」而
  若「等零」于「起」则
    「元」
  否则
    虑「个数」者「读无符号变长」于「起」而
    虑「首址」者「读四」于「状态_读址」而
    虑「无」者（「写四」于「状态_元素段数」于「个数」）而
    虑「无」者
      （「写四」于「状态_元素段表」于（「取存」于（「乘」于「个数」于「元素段条长」）））而
    递归虑「逐」其化「整数」而化「整数」而「有」者会「位」而会「游」而
      若「小于」于「位」于「个数」
      则
        虑「条」者
          「加」
            于（「读四」于「状态_元素段表」）
            于（「乘」于「位」于「元素段条长」）
        而
        虑「标志」者「读无符号变长」于「游」
        而
        虑「址一」者「读四」于「状态_读址」
        而
        虑「无」者（「写字段」于「条」于「元素段_标志」于「标志」）
        而
        虑「带表号」者
          「或者」于（「等」于「标志」于「二」）于（「等」于「标志」于「六」）
        而
        虑「表号」者
          「选择」于「带表号」于（「读无符号变长」于「址一」）于「零」
        而
        虑「址二」者
          「选择」于「带表号」于（「读四」于「状态_读址」）于「址一」
        而
        虑「有偏移」者
          「标志属」于「标志」于「零」于「二」于「四」于「六」
        而
        虑「式」者「选择」于「有偏移」于「址二」于「零」
        而
        虑「址三」者
          「选择」于「有偏移」于（「跳过常量式」于「址二」）于「址二」
        而
        虑「有种类」者
          「标志属」于「标志」于「一」于「二」于「三」于「三」
        而
        虑「址四」者
          「选择」于「有种类」于（「加」于「址三」于「一」）于「址三」
        而
        虑「带引用类型」者
          「标志属」于「标志」于「五」于「六」于「七」于「七」
        而
        虑「址五」者
          「选择」于「带引用类型」于（「跳过引用类型」于「址四」）于「址四」
        而
        虑「元素数」者「读无符号变长」于「址五」
        而
        虑「向量起」者「读四」于「状态_读址」
        而
        虑「无」者（「写字段」于「条」于「元素段_向量起」于「向量起」）
        而
        虑「无」者（「写字段」于「条」于「元素段_个数」于「元素数」）
        而
        虑「无」者（「写字段」于「条」于「元素段_式」于「式」）
        而
        虑「无」者（「写字段」于「条」于「元素段_表号」于「表号」）
        而
        虑「后」者
          「选择」
            于（「小于」于「标志」于「四」）
            于（「变长们后」于「向量起」于「元素数」）
            于（「跳过常量式们」于「向量起」于「元素数」）
        而
        「逐」于（「加」于「位」于「一」）于「后」
      否则
        「元」
    而
    「逐」于「零」于「首址」
也。

「解析数据段」乃化「有」而「有」也。
「解析数据段」者会「无」而
  虑「起」者「节起」于「一一」而
  若「等零」于「起」则
    「元」
  否则
    虑「个数」者「读无符号变长」于「起」而
    虑「首址」者「读四」于「状态_读址」而
    虑「无」者（「写四」于「状态_数据段数」于「个数」）而
    虑「无」者
      （「写四」于「状态_数据段表」于（「取存」于（「乘」于「个数」于「数据段条长」）））而
    递归虑「逐」其化「整数」而化「整数」而「有」者会「位」而会「游」而
      若「小于」于「位」于「个数」
      则
        虑「条」者
          「加」
            于（「读四」于「状态_数据段表」）
            于（「乘」于「位」于「数据段条长」）
        而
        虑「标志」者「读无符号变长」于「游」
        而
        虑「址一」者「读四」于「状态_读址」
        而
        虑「址二」者
          「选择」
            于（「等」于「标志」于「二」）
            于（「变长后」于「址一」）于「址一」
        而
        虑「有偏移」者「不等于」于「标志」于「一」
        而
        虑「式」者「选择」于「有偏移」于「址二」于「零」
        而
        虑「址三」者
          「选择」于「有偏移」于（「跳过常量式」于「址二」）于「址二」
        而
        虑「长度」者「读无符号变长」于「址三」
        而
        虑「数据起」者「读四」于「状态_读址」
        而
        虑「无」者（「写字段」于「条」于「数据段_数据」于「数据起」）
        而
        虑「无」者（「写字段」于「条」于「数据段_长度」于「长度」）
        而
        虑「无」者
          （「写字段」于「条」于「数据段_被动」于（「爻整」于（「等」于「标志」于「一」）））
        而
        虑「无」者（「写字段」于「条」于「数据段_式」于「式」）而
        「逐」于（「加」于「位」于「一」）于（「加」于「数据起」于「长度」）
      否则
        「元」
    而
    「逐」于「零」于「首址」
也。

「：文言：导出之查，起始之解，线性内存之解。汉语：按名查导出（返回索引，没有为 -1，种类存 状态_读高）；解析起始函数；解析客体线性内存声明（至多一个，页数上限 128）。：」
「查导出」乃化「整数」而「整数」也。
「查导出」者会「串」而
  虑「起」者「节起」于「七」而
  若「等零」于「起」则
    「负一」
  否则
    虑「个数」者「读无符号变长」于「起」而
    虑「首址」者「读四」于「状态_读址」而
    递归虑「逐」其化「整数」而化「整数」而「整数」者会「位」而会「游」而
      若「小于」于「位」于「个数」
      则
        虑「名长」者「读无符号变长」于「游」
        而
        虑「名址」者「读四」于「状态_读址」
        而
        虑「后」者「加」于「名址」于「名长」
        而
        若「名相同」于「名址」于「名长」于「串」
        则
          虑「无」者（「写四」于「状态_读高」于（「读一」于「后」））而
          「读无符号变长」于（「加」于「后」于「一」）
        否则
          「逐」
            于（「加」于「位」于「一」）
            于（「变长后」于（「加」于「后」于「一」））
      否则
        「负一」
    而
    「逐」于「零」于「首址」
也。

「解析起始」乃化「有」而「有」也。
「解析起始」者会「无」而
  虑「无」者（「写四」于「状态_起始函数」于「负一」）而
  虑「起」者「节起」于「八」而
  若「等零」于「起」则
    「元」
  否则
    （「写四」于「状态_起始函数」于（「读无符号变长」于「起」））
也。

「解析内存段」乃化「有」而「有」也。
「解析内存段」者会「无」而
  虑「无」者（「写四」于「状态_客页数」于「零」）而
  虑「无」者（「写四」于「状态_客页上限」于「零」）而
  虑「起」者「节起」于「五」而
  若「等零」于「起」则
    「元」
  否则
    虑「个数」者「读无符号变长」于「起」而
    虑「首址」者「读四」于「状态_读址」而
    若「小于」于「个数」于「一」则「元」
    否则
      虑「标志」者「读一」于「首址」
      而
      虑「最小」者「读无符号变长」于（「加」于「首址」于「一」）
      而
      虑「有上限」者「不等于」于（「位与」于「标志」于「一」）于「零」
      而
      虑「声明大」者
        「选择」
          于「有上限」
          于（「读无符号变长」于（「读四」于「状态_读址」））
          于（「选择」于（「不等于」于（「读四」于「状态_有瓦」）于「零」）于「一二八」于「最小」）
      而
      虑「限一」者
        「选择」于（「大于」于「声明大」于「一二八」）于「一二八」于「声明大」
      而
      虑「最大」者
        「选择」于（「小于」于「限一」于「最小」）于「最小」于「限一」
      而
      虑「无」者（「写四」于「状态_客页数」于「最小」）
      而
      虑「无」者（「写四」于「状态_客页上限」于「最大」）而
      「写四」于「状态_客内存」于（「取存」于（「乘」于「最大」于「六五五三六」））
也。

「：文言：诸段之解，初与次级之实例共用。汉语：解析模块各节：读节表、分配元数据池、依序解析类型、函数表、导入、函数、代码、全局、表、标签、元素、数据、内存与起始函数。初始实例的区域顶等全局格由 入口 先设好；次级实例由装载器先切换到新实例的上下文；元数据与各表都经 取存 分配（初始实例走区域分配器，其余实例走堆里的原始块）。：」
「解析各段」乃化「有」而「有」也。
「解析各段」者会「无」而
  虑「无」者「读节」于「元」而
  虑「无」者
    （「写四」于「状态_元数据池」于（「取存」于（「加」于（「节长」于「一」）于「六四」）））而
    虑「无」者
      （「写四」于「状态_元数据顶」于（「读四」于「状态_元数据池」））而
      虑「无」者「解析类型段」于「元」而
      虑「无」者「建函数表」于「元」而
      虑「无」者「解析导入段」于「元」而
      虑「无」者「解析函数段」于「元」而
      虑「无」者「解析代码段」于「元」而
      虑「无」者「解析全局段」于「元」而
      虑「无」者「解析表段」于「元」而
      虑「无」者「解析标签段」于「元」而
      虑「无」者「解析元素段」于「元」而
      虑「无」者「解析数据段」于「元」而
      虑「无」者「解析内存段」于「元」而
      「解析起始」于「元」
也。