豫言源码浏览器 / Source Browser

浏览项目文件与源码

yuyan · 2840 行 · 154658 字节 · UTF-8
§
寻观「标准库」之书。
寻观「标准库」之「数据结构」之「字节串」之书。
寻观「编译器核心」之「网页汇编核心」之「模块结构」之书。
寻观「编译器核心」之「网页汇编核心」之「存储模块」之书。
寻观「编译器核心」之「网页汇编核心」之「状态模块」之书。
寻观「编译器核心」之「网页汇编核心」之「二进制读取」之书。
寻观「编译器核心」之「网页汇编核心」之「二进制生成」之书。
寻观「裸机后端」之「机器编码」之书。
寻观「裸机后端」之「降级公用」之书。

「:文言:预编之转译(路二乙档之初版):读客体之 WasmGC 模块,每函数转为一整数 Wasm 函数(形如(帧)→无),并入执行器之模块,与之同降为机器码。值皆居值栈:参数与局部自帧起,操作数其上,每槽八字节;简单之令(局部、常量、三十二位整数之算与比较、引用之空与等、控制流)径书整数之令;余者(结构、数组、类型之转、宽整数与浮点、访存、表、杂项)呼执行器导出之“预编_”诸函数,携其立即数于模块中之址与当前之栈针,即解释器之处理函数。块与分支一一对应整数之块;分支之值先移至目标之槽。调用:被调者之帧即其参数之起;尾调者先移参数至己帧之首,再“调用而即返回”,降级时化为尾跳。异常以标志传播:每调用转译之函数后验之,在尝试表内则跳至其处理之码,否则返回。汉语:预编转译器(路二乙档第一版):读客体 WasmGC 模块,把每个函数转成一个整数 Wasm 函数(签名(帧)→ 无),并入执行器模块,一起降级为机器码。所有值都在值栈上:参数与局部变量从帧起,操作数栈在其上,每槽 8 字节。简单指令(局部变量、常量、i32 算术与比较、引用判空与相等、控制流)直接写成整数指令;其余(结构、数组、类型转换、i64 与浮点、访存、表、杂项)调用执行器导出的“预编_”函数(即解释器的指令处理函数),传入该指令立即数在模块字节中的地址与当前栈针。块与分支一一对应整数 Wasm 的块;分支携带的值先搬到目标位置。调用时被调用者的帧就是它参数的起点;尾调用先把参数搬到本函数帧首,再写成“调用后立即返回”,由降级器化为尾跳。异常用标志传播:每次调用转译函数之后检查,在尝试表里就跳到它的处理代码,否则直接返回。不支持旧式 try/catch/delegate/rethrow(遇到即报错)。:」

「:文言:执行器状态格之址,与客体二号之布局同。汉语:执行器状态格地址(与 客体二号/布局。豫 一致):模块字节起址、全局表、值栈上限、预编异常标志。:」
「预编_模块址格」者「一零五二」也。

「预编_全局表格」者「一零八零」也。

「预编_值栈限格」者「一二八四」也。

「预编_异常格」者「三八二四」也。

「:文言:客体模块之要:类型(种,甲,乙:函数为参数数与结果数,结构为字段数),函数之类型号,函数总数,导入函数数,标签之类型号,诸代码体(体起,体止,所声明之局部数)。汉语:客体模块摘要:类型表(每项 种、甲、乙;种 0 函数:甲参数数、乙结果数;种 1 结构:甲字段数;种 2 数组),每个函数(含导入)的类型号,函数总数,导入函数数,每个标签(含导入)的类型号,各代码体(指令起址、体末址、声明的局部变量数)。:」
「预编型」即
  「整数」
  合「整数」
  合「整数」
也。

「预编体」即
  「整数」
  合「整数」
  合「整数」
也。

「预编模块」即
  (「数组引用类」于「预编型」)
  合(「数组引用类」于「整数」)
  合「整数」
  合「整数」
  合(「数组引用类」于「整数」)
  合(「列」于「预编体」)
也。

「预位」乃化「网页读取器」而「整数」也。
「预位」者会「读器」而
  「读引用」授以「整数」于(「读器」中「一」)
也。

「预设位」乃化「网页读取器」而化「整数」而「有」也。
「预设位」者会「读器」而会「位」而
  「写引用」授以「整数」于(「读器」中「一」)于「位」
也。

「预读有号」乃化「网页读取器」而「整数」也。
「预读有号」者会「读器」而
  「网页读变长」于「读器」于「阳」于「零」于「一」于「零」
也。

「:文言:续读无号之数:首字已读。汉语:首字节已经读出时,接着读完无符号 LEB128。:」
「预续读无号」乃
  化「网页读取器」而
  化「整数」而
  化「整数」而
  化「整数」而
  「整数」
也。
「预续读无号」者会「读器」而会「字」而会「权」而会「积」而
  虑「值」者
    「加」于「积」于(「乘」于(「整数余数」于「字」于「一二八」)于「权」)而
  若「小于」于「字」于「一二八」则
    「值」
  否则
    「预续读无号」于「读器」于(「网页读字节」于「读器」)于(「乘」于「权」于「一二八」)于「值」
也。

「:文言:读六十四位有号之数,返其值(任意精度之整数)。汉语:读 64 位有符号 LEB128,返回数值(豫言整数,精度不限)。:」
「预读宽有号」乃化「网页读取器」而化「整数」而化「整数」而「整数」也。
「预读宽有号」者会「读器」而会「权」而会「积」而
  虑「字」者「网页读字节」于「读器」而
  虑「值」者
    「加」于「积」于(「乘」于(「整数余数」于「字」于「一二八」)于「权」)而
  若「不小于」于「字」于「一二八」则
    「预读宽有号」于「读器」于(「乘」于「权」于「一二八」)于「值」
  否则若「不小于」于「字」于「六四」则
    「减」于「值」于(「乘」于「权」于「一二八」)
  否则
    「值」
也。

「:文言:六十四位之数分为低高二字(皆以有号三十二位表之)。汉语:把 64 位整数拆成低、高两个 32 位字(都换成有符号 32 位范围内的值,供整数常量用)。:」
「预有号化」乃化「整数」而「整数」也。
「预有号化」者会「值」而
  若「不小于」于「值」于「二一四七四八三六四八」则
    「减」于「值」于「四二九四九六七二九六」
  否则
    「值」
也。

「预宽低」乃化「整数」而「整数」也。
「预宽低」者会「值」而
  虑「模」者「整数余数」于「值」于「四二九四九六七二九六」而
  「预有号化」于(若「小于」于「模」于「零」则「加」于「模」于「四二九四九六七二九六」否则「模」)
也。

「:文言:高字取下取整之商:截商而余负则减一。豫言之整数在网页汇编后端为六十四位而回绕,不可借二之六十四次方化为无号(旧法如此,负常量之高字遂误为零)。汉语:高字=值除以 2^32 向下取整:先截断除,余数为负就减一,结果本身就在有符号 32 位范围内。豫言整数在 Wasm 后端是 64 位回绕的,不能靠加 2^64 化成无符号数——旧写法这样做,2^64 溢出成 0,于是 -1 到 -2^32 之间的负 i64 常量高字全被写成 0(例如 box 里的 -2^30 变成正数,小整数 1 被装箱成结构体)。:」
「预宽高」乃化「整数」而「整数」也。
「预宽高」者会「值」而
  虑「商」者「除以」于「值」于「四二九四九六七二九六」而
  虑「余」者「减」于「值」于(「乘」于「商」于「四二九四九六七二九六」)而
  若「小于」于「余」于「零」则「减」于「商」于「一」否则「商」
也。

「:文言:值之型:引用型以九九、一〇〇起者后随堆型。汉语:跳过一个值类型(0x63、0x64 开头的引用类型后跟 s33 堆类型)。:」
「预跳值型」乃化「网页读取器」而「有」也。
「预跳值型」者会「读器」而
  虑「字」者「网页读字节」于「读器」而
  若「或者」于(「等于」于「字」于「九九」)于(「等于」于「字」于「一零零」)则
    ((「预读有号」于「读器」);
      「元」)
  否则
    「元」
也。

「预跳值型们」乃化「网页读取器」而化「整数」而「有」也。
「预跳值型们」者会「读器」而会「个」而
  若「小于」于「个」于「一」则「元」否则
    ((「预跳值型」于「读器」);
      「预跳值型们」于「读器」于(「减」于「个」于「一」))
也。

「预跳字段们」乃化「网页读取器」而化「整数」而「有」也。
「预跳字段们」者会「读器」而会「个」而
  若「小于」于「个」于「一」则
    「元」
  否则
    虑「字」者「网页读字节」于「读器」而
    虑「无」者
      (
        若「或者」于(「等于」于「字」于「九九」)于(「等于」于「字」于「一零零」)则
          ((「预读有号」于「读器」);
            「元」)
        否则
          「元」
      )
    而
    虑「可变」者「网页读字节」于「读器」而
    「预跳字段们」于「读器」于(「减」于「个」于「一」)
也。

「:文言:字段之类:同执行器(零四字节数、一八字节数、二引用、三字节、四半字)。汉语:读一个字段(存储类型加可变标志),返回执行器用的元素类别:0 四字节数值(i32、f32)、1 八字节数值(i64、f64、v128)、2 引用、3 i8、4 i16。:」
「预读字段类别」乃化「网页读取器」而「整数」也。
「预读字段类别」者会「读器」而
  虑「字」者「网页读字节」于「读器」而
  虑「类」者
    (
      若「等于」于「字」于「一二零」则「三」
      否则若「等于」于「字」于「一一九」则「四」
      否则若「或者」于(「等于」于「字」于「九九」)于(「等于」于「字」于「一零零」)则
        ((「预读有号」于「读器」);
          「二」)
      否则若「或者」于(「等于」于「字」于「一二七」)于(「等于」于「字」于「一二五」)则
        「零」
      否则若「或者」
        于(「等于」于「字」于「一二六」)
        于(「或者」于(「等于」于「字」于「一二四」)于(「等于」于「字」于「一二三」))则「一」
      否则
        「二」
    )
  而
  虑「可变」者「网页读字节」于「读器」而
  「类」
也。

「预读复合」乃化「网页读取器」而化「整数」而「预编型」也。
「预读复合」者会「读器」而会「字」而
  若「等于」于「字」于「九六」则
    虑「参数数」者「网页读自然」于「读器」而
    虑「无」者「预跳值型们」于「读器」于「参数数」而
    虑「结果数」者「网页读自然」于「读器」而
    虑「无」者「预跳值型们」于「读器」于「结果数」而
    (「零」与「参数数」与「结果数」)
  否则若「等于」于「字」于「九五」则
    虑「字段数」者「网页读自然」于「读器」而
    虑「无」者「预跳字段们」于「读器」于「字段数」而
    (「一」与「字段数」与「零」)
  否则若「等于」于「字」于「九四」则
    (「二」与(「预读字段类别」于「读器」)与「零」)
  否则
    「发生事故」于(『预编:未知复合类型码 』附(「整数表示」于「字」))
也。

「预跳号们」乃化「网页读取器」而化「整数」而「有」也。
「预跳号们」者会「读器」而会「个」而
  若「小于」于「个」于「一」则「元」否则
    ((「网页读自然」于「读器」);
      「预跳号们」于「读器」于(「减」于「个」于「一」))
也。

「:文言:子型:八十、七十九为 sub 与 sub final,后随超类之号。汉语:读一个子类型(0x50 sub、0x4F sub final 后跟超类型号列表,再跟复合类型)。首字节已读出。:」
「预读子型」乃化「网页读取器」而化「整数」而「预编型」也。
「预读子型」者会「读器」而会「字」而
  若「或者」于(「等于」于「字」于「八零」)于(「等于」于「字」于「七九」)则
    虑「个」者「网页读自然」于「读器」而
    虑「无」者「预跳号们」于「读器」于「个」而
    「预读复合」于「读器」于(「网页读字节」于「读器」)
  否则
    「预读复合」于「读器」于「字」
也。

「预读子型们」乃
  化「网页读取器」而
  化「整数」而
  化(「列」于「预编型」)而
  (「列」于「预编型」)
也。
「预读子型们」者会「读器」而会「个」而会「积」而
  若「小于」于「个」于「一」则
    「积」
  否则
    「预读子型们」
      于「读器」
      于(「减」于「个」于「一」)
      于(「缀」于(「预读子型」于「读器」于(「网页读字节」于「读器」))于「积」)
也。

「:文言:类型段:七十八为递归之组。返型之列(逆序)。汉语:读类型段各项(0x4E 是递归类型组),返回类型列表(逆序累积)。:」
「预读类型项们」乃
  化「网页读取器」而
  化「整数」而
  化(「列」于「预编型」)而
  (「列」于「预编型」)
也。
「预读类型项们」者会「读器」而会「个」而会「积」而
  若「小于」于「个」于「一」则
    「积」
  否则
    虑「字」者「网页读字节」于「读器」而
    虑「新积」者
      (
        若「等于」于「字」于「七八」则
          「预读子型们」于「读器」于(「网页读自然」于「读器」)于「积」
        否则
          「缀」于(「预读子型」于「读器」于「字」)于「积」
      )
    而
    「预读类型项们」于「读器」于(「减」于「个」于「一」)于「新积」
也。

「预跳名」乃化「网页读取器」而「有」也。
「预跳名」者会「读器」而
  虑「长」者「网页读自然」于「读器」而
  「预设位」于「读器」于(「加」于(「预位」于「读器」)于「长」)
也。

「预跳限」乃化「网页读取器」而「有」也。
「预跳限」者会「读器」而
  虑「标」者「网页读字节」于「读器」而
  虑「无」者「网页读自然」于「读器」而
  若「等于」于(「整数余数」于「标」于「二」)于「一」则
    ((「网页读自然」于「读器」);
      「元」)
  否则
    「元」
也。

「:文言:导入段:记函数与标签之类型号。汉语:读导入段:函数导入与标签导入的类型号分别追加到两个列表(逆序),其他导入跳过。:」
「预读导入们」乃
  化「网页读取器」而
  化「整数」而
  化(「引用类」于(「列」于「整数」))而
  化(「引用类」于(「列」于「整数」))而
  「有」
也。
「预读导入们」者会「读器」而会「个」而会「函们」而会「签们」而
  若「小于」于「个」于「一」则
    「元」
  否则
    虑「无」者「预跳名」于「读器」而
    虑「无」者「预跳名」于「读器」而
    虑「种」者「网页读字节」于「读器」而
    虑「无」者
      (
        若「等于」于「种」于「零」则
          「写引用」授以(「列」于「整数」)
          于「函们」
          于(「缀」于(「网页读自然」于「读器」)于(「读引用」授以(「列」于「整数」)于「函们」))
        否则若「等于」于「种」于「一」则
          ((「预跳值型」于「读器」);
            「预跳限」于「读器」)
        否则若「等于」于「种」于「二」则
          「预跳限」于「读器」
        否则若「等于」于「种」于「三」则
          ((「预跳值型」于「读器」);
            (「网页读字节」于「读器」);
            「元」)
        否则
          虑「属」者「网页读字节」于「读器」而
          「写引用」授以(「列」于「整数」)
          于「签们」
          于(「缀」于(「网页读自然」于「读器」)于(「读引用」授以(「列」于「整数」)于「签们」))
      )
    而
    「预读导入们」于「读器」于(「减」于「个」于「一」)于「函们」于「签们」
也。

「预读号们」乃
  化「网页读取器」而
  化「整数」而
  化(「列」于「整数」)而
  (「列」于「整数」)
也。
「预读号们」者会「读器」而会「个」而会「积」而
  若「小于」于「个」于「一」则
    「积」
  否则
    「预读号们」于「读器」于(「减」于「个」于「一」)于(「缀」于(「网页读自然」于「读器」)于「积」)
也。

「预读标签们」乃
  化「网页读取器」而
  化「整数」而
  化(「列」于「整数」)而
  (「列」于「整数」)
也。
「预读标签们」者会「读器」而会「个」而会「积」而
  若「小于」于「个」于「一」则
    「积」
  否则
    虑「属」者「网页读字节」于「读器」而
    「预读标签们」于「读器」于(「减」于「个」于「一」)于(「缀」于(「网页读自然」于「读器」)于「积」)
也。

「预局部数」乃化「网页读取器」而化「整数」而化「整数」而「整数」也。
「预局部数」者会「读器」而会「组」而会「积」而
  若「小于」于「组」于「一」则
    「积」
  否则
    虑「数」者「网页读自然」于「读器」而
    虑「无」者「预跳值型」于「读器」而
    「预局部数」于「读器」于(「减」于「组」于「一」)于(「加」于「积」于「数」)
也。

「:文言:代码段:每体记指令之起、体之末与局部之数(逆序)。汉语:读代码段:每个函数体记下(指令起址,体末址,声明的局部变量数),逆序累积。:」
「预读代码们」乃
  化「网页读取器」而
  化「整数」而
  化(「列」于「预编体」)而
  (「列」于「预编体」)
也。
「预读代码们」者会「读器」而会「个」而会「积」而
  若「小于」于「个」于「一」则
    「积」
  否则
    虑「长」者「网页读自然」于「读器」而
    虑「止」者「加」于(「预位」于「读器」)于「长」而
    虑「局数」者
      「预局部数」于「读器」于(「网页读自然」于「读器」)于「零」
    而
    虑「起」者「预位」于「读器」而
    虑「无」者「预设位」于「读器」于「止」而
    「预读代码们」于「读器」于(「减」于「个」于「一」)于(「缀」于(「起」与「止」与「局数」)于「积」)
也。

「预列转数组」乃
  承「甲」而
  化「甲」而
  化(「列」于「甲」)而
  (「数组引用类」于「甲」)
也。
「预列转数组」者受「甲」而会「默认」而会「们」而
  虑「数组」者
    「新数组引用」授以「甲」
    于「默认」
    于(「加」于(「长度」授以「甲」于「们」)于「一」)而
    虑「无」者
      「态射序号」授以「甲」授以「有」
      于(会「序」而会「项」而「写数组引用」授以「甲」于「数组」于「序」于「项」)
      于「们」
    而
    「数组」
也。

「:文言:解客体之模块。汉语:解析客体模块,得到摘要。:」
「:文言:客体函数之名:遍诸段,唯取自定义段 name 之子段一(函数之名),得(函数之绝对号,名之字节)之列;名逐字节经单字节之表拼成,不用宿主之截取,免全串之抄。汉语:读客体函数名:遍历各段,只取自定义段 "name" 的子段 1(函数名),得到(函数绝对号,名字字节串)列表。名字按字节经单字节表拼成,不用宿主的截取(它要复制整个模块字节)。只用于生成调试符号。:」
「预取字节串」乃化「网页读取器」而化「整数」而「字节串」也。
「预取字节串」者会「读器」而会「长」而
  虑「起」者「预位」于「读器」而
  虑「串」者「读器」中「零」而
  虑「果」者
    「网页拼字节」
      于(「态射」授以「整数」授以「字节串」
        于(「整数范围」于「零」于「长」)
        于(会「位」而「机器单字节」于(「字节串取字节」于「串」于(「加」于「起」于「位」))))
  而
  虑「无」者「预设位」于「读器」于(「加」于「起」于「长」)而
  「果」
也。

「预读函数名们」乃
  化「网页读取器」而
  化「整数」而
  化(「列」于(「整数」合「字节串」))而
  (「列」于(「整数」合「字节串」))
也。
「预读函数名们」者会「读器」而会「数」而会「积」而
  若「等于」于「数」于「零」则
    「积」
  否则
    虑「号」者「网页读自然」于「读器」而
    虑「长」者「网页读自然」于「读器」而
    虑「名」者「预取字节串」于「读器」于「长」而
    「预读函数名们」于「读器」于(「减」于「数」于「一」)于(「缀」于(「号」与「名」)于「积」)
也。

「预是名段」乃化「字节串」而「爻」也。
「预是名段」者会「名」而
  若「等于」于(「字节串长度」于「名」)于「四」则
    「且」
      于(「等于」于(「字节串取字节」于「名」于「零」)于「一一零」)
      于(「且」
        于(「等于」于(「字节串取字节」于「名」于「一」)于「九七」)
        于(「且」
          于(「等于」于(「字节串取字节」于「名」于「二」)于「一零九」)
          于(「等于」于(「字节串取字节」于「名」于「三」)于「一零一」)))
  否则
    「阴」
也。

「预读名段」乃
  化「网页读取器」而
  化「整数」而
  (「列」于(「整数」合「字节串」))
也。
「预读名段」者会「读器」而会「止」而
  虑「名长」者「网页读自然」于「读器」而
  虑「名」者「预取字节串」于「读器」于「名长」而
  若「非」于(「预是名段」于「名」)则
    「罄」授以(「整数」合「字节串」)
  否则
    递归虑「子段」其化(「列」于(「整数」合「字节串」))而(「列」于(「整数」合「字节串」))者会「积」而
      若「不小于」于(「预位」于「读器」)于「止」则
        「积」
      否则
        虑「子号」者「网页读字节」于「读器」
        而
        虑「子长」者「网页读自然」于「读器」
        而
        虑「子止」者「加」于(「预位」于「读器」)于「子长」
        而
        虑「新积」者
          若「等于」于「子号」于「一」则「预读函数名们」
          于「读器」
          于(「网页读自然」于「读器」)于「积」
          否则
            「积」
        而
        虑「无」者「预设位」于「读器」于「子止」而
        「子段」于「新积」
    而
    「子段」于(「罄」授以(「整数」合「字节串」))
也。

「预读客体名们」乃化「字节串」而(「列」于(「整数」合「字节串」))也。
「预读客体名们」者会「串」而
  虑「读器」者
    (「串」与(「新引用」授以「整数」于「八」)与(「字节串长度」于「串」))而
  递归虑「逐段」其化(「列」于(「整数」合「字节串」))而(「列」于(「整数」合「字节串」))者会「积」而
    若「不小于」于(「预位」于「读器」)于(「字节串长度」于「串」)则
      「积」
    否则
      虑「号」者「网页读字节」于「读器」
      而
      虑「长」者「网页读自然」于「读器」
      而
      虑「止」者「加」于(「预位」于「读器」)于「长」
      而
      虑「新积」者
        若「等于」于「号」于「零」则
          「附加」授以(「整数」合「字节串」)
          于「积」
          于(「预读名段」于「读器」于「止」)
        否则
          「积」
      而
      虑「无」者「预设位」于「读器」于「止」而
      「逐段」于「新积」
  而
  「逐段」于(「罄」授以(「整数」合「字节串」))
也。

「:文言:客体函数名之旁路:预编并入之时存之,以并入后之函数号为序(起号即转起,下标为号减起号,无名者空串);唯供写可执行文件时生调试之符号,不改所生之码。汉语:客体函数名旁路:预编并入时写入,按并入后的函数号存放(起号=转起,数组下标=号减起号,没有名字为空串,另存个数);只供写出可执行文件时生成调试符号,不影响生成的代码。:」
「预编名旁路」乃
  「引用类」于(「整数」合「整数」合(「数组引用类」于「字节串」))
也。
「预编名旁路」者
  「新引用」授以(「整数」合「整数」合(「数组引用类」于「字节串」))
  于(「零」与「零」与(「新数组引用」授以「字节串」于「机器空串」于「一」))
也。

「预编客名」乃化「整数」而「字节串」也。
「预编客名」者会「号」而
  虑「旁」者
    「读引用」授以(「整数」合「整数」合(「数组引用类」于「字节串」))
    于「预编名旁路」而
    虑「序」者「减」于「号」于(「旁」中「零」)而
    若「且」于(「不小于」于「序」于「零」)于(「小于」于「序」于(「旁」中「一」))则
      「读数组引用」授以「字节串」于(「旁」中「二」)于「序」
    否则
      「机器空串」
也。

「预编解析」乃化「字节串」而「预编模块」也。
「预编解析」者会「串」而
  虑「读器」者
    (「串」与(「新引用」授以「整数」于「八」)与(「字节串长度」于「串」))而
    虑「型们」者
      「新引用」授以(「列」于「预编型」)于(「罄」授以「预编型」)而
      虑「导函们」者
        「新引用」授以(「列」于「整数」)于(「罄」授以「整数」)而
        虑「定函们」者
          「新引用」授以(「列」于「整数」)于(「罄」授以「整数」)而
          虑「签们」者
            「新引用」授以(「列」于「整数」)于(「罄」授以「整数」)而
            虑「体们」者
              「新引用」授以(「列」于「预编体」)于(「罄」授以「预编体」)而
              虑「无」者
                (
                  递归虑「逐段」其化「有」而「有」者会「无」而
                    若「不小于」
                      于(「预位」于「读器」)
                      于(「字节串长度」于「串」)则
                      「元」
                    否则
                      虑「号」者「网页读字节」于「读器」
                      而
                      虑「长」者「网页读自然」于「读器」
                      而
                      虑「止」者「加」于(「预位」于「读器」)于「长」
                      而
                      虑「无」者
                        (
                          若「等于」于「号」于「一」则
                            「写引用」授以(「列」于「预编型」)
                            于「型们」
                            于(「预读类型项们」于「读器」于(「网页读自然」于「读器」)于(「罄」授以「预编型」))
                          否则若「等于」于「号」于「二」则
                            「预读导入们」
                              于「读器」
                              于(「网页读自然」于「读器」)
                              于「导函们」于「签们」
                          否则若「等于」于「号」于「三」则
                            「写引用」授以(「列」于「整数」)
                            于「定函们」
                            于(「预读号们」于「读器」于(「网页读自然」于「读器」)于(「罄」授以「整数」))
                          否则若「等于」于「号」于「一三」则
                            「写引用」授以(「列」于「整数」)
                            于「签们」
                            于(「预读标签们」
                              于「读器」
                              于(「网页读自然」于「读器」)
                              于(「读引用」授以(「列」于「整数」)于「签们」))
                          否则若「等于」于「号」于「一零」则
                            「写引用」授以(「列」于「预编体」)
                            于「体们」
                            于(「预读代码们」于「读器」于(「网页读自然」于「读器」)于(「罄」授以「预编体」))
                          否则
                            「元」
                        )
                      而
                      虑「无」者「预设位」于「读器」于「止」而
                      「逐段」于「元」
                  而
                  「逐段」于「元」
                )
              而
              虑「型列」者
                「反转」授以「预编型」于(「读引用」授以(「列」于「预编型」)于「型们」)
              而
              虑「导函」者
                「反转」授以「整数」于(「读引用」授以(「列」于「整数」)于「导函们」)
              而
              虑「函列」者
                「附加」授以「整数」
                于「导函」
                于(「反转」授以「整数」于(「读引用」授以(「列」于「整数」)于「定函们」))
              而
              (「预列转数组」授以「预编型」于(「零」与「零」与「零」)于「型列」)
                与(「预列转数组」授以「整数」于「零」于「函列」)
                  与(「长度」授以「整数」于「函列」)
                    与(「长度」授以「整数」于「导函」)
                      与(「预列转数组」授以「整数」
                        于「零」
                        于(「反转」授以「整数」于(「读引用」授以(「列」于「整数」)于「签们」)))
                          与(「反转」授以「预编体」于(「读引用」授以(「列」于「预编体」)于「体们」))
也。

「预型签」乃化「预编模块」而化「整数」而(「整数」合「整数」)也。
「预型签」者会「模」而会「型号」而
  虑「型」者「读数组引用」授以「预编型」于(「模」中「零」)于「型号」而
  (「型」中「一」)与(「型」中「二」)
也。

「预函签」乃化「预编模块」而化「整数」而(「整数」合「整数」)也。
「预函签」者会「模」而会「函号」而
  「预型签」于「模」于(「读数组引用」授以「整数」于(「模」中「一」)于「函号」)
也。

「预标签参数数」乃化「预编模块」而化「整数」而「整数」也。
「预标签参数数」者会「模」而会「标号」而
  (「预型签」于「模」于(「读数组引用」授以「整数」于(「模」中「四」)于「标号」))中「零」
也。

「:文言:控制之条:种(零块、一环、二条件、三尝试表、四函数、五处理层),高(相对基之操作数之高),参数数,结果数,目槽(分支之值所归之绝对槽:块为基加高,函数为零),尝试表之子句(种,标签,目标之客体层号)。汉语:控制栈条目:种(0 块、1 循环、2 条件、3 尝试表、4 函数体、5 尝试表内部的处理层,后者不是客体的块),高(进入时相对 基 的操作数高度,已扣除块参数),参数数,结果数,目槽(分支携带的值要放到的绝对槽号:块为 基+高,函数体为 0),尝试表的子句(种、标签号、客体层号)。:」
「预编控」即
  「整数」
  合「整数」
  合「整数」
  合「整数」
  合「整数」
  合(「列」于(「整数」合「整数」合「整数」))
也。

「:文言:转译之境。汉语:单个函数的转译状态:零 输出(逆序的指令块)、一 操作数深度、二 最大深度、三 控制栈(顶在前)、四 死码、五 死码中的嵌套数、六 基(参数数加局部数)、七 执行器导出表(名,函数号)、八 客体模块摘要、九 第一个转译函数在合并模块中的号。:」
「预编境」即
  (「引用类」于(「列」于(「列」于「网页指令」)))
  合(「引用类」于「整数」)
  合(「引用类」于「整数」)
  合(「引用类」于(「列」于「预编控」))
  合(「引用类」于「整数」)
  合(「引用类」于「整数」)
  合「整数」
  合(「列」于(「字符串」合「整数」))
  合「预编模块」
  合「整数」
也。

「预发」乃化「预编境」而化(「列」于「网页指令」)而「有」也。
「预发」者会「境」而会「令们」而
  「写引用」授以(「列」于(「列」于「网页指令」))
  于(「境」中「零」)
  于(「缀」于「令们」于(「读引用」授以(「列」于(「列」于「网页指令」))于(「境」中「零」)))
也。

「预深」乃化「预编境」而「整数」也。
「预深」者会「境」而
  「读引用」授以「整数」于(「境」中「一」)
也。

「预设深」乃化「预编境」而化「整数」而「有」也。
「预设深」者会「境」而会「深」而
  虑「无」者「写引用」授以「整数」于(「境」中「一」)于「深」而
  若「大于」于「深」于(「读引用」授以「整数」于(「境」中「二」))则
    「写引用」授以「整数」于(「境」中「二」)于「深」
  否则
    「元」
也。

「预死」乃化「预编境」而「爻」也。
「预死」者会「境」而
  「不等于」于(「读引用」授以「整数」于(「境」中「四」))于「零」
也。

「预设死」乃化「预编境」而化「整数」而「有」也。
「预设死」者会「境」而会「值」而
  「写引用」授以「整数」于(「境」中「四」)于「值」
也。

「预控们」乃化「预编境」而(「列」于「预编控」)也。
「预控们」者会「境」而
  「读引用」授以(「列」于「预编控」)于(「境」中「三」)
也。

「预压控」乃化「预编境」而化「预编控」而「有」也。
「预压控」者会「境」而会「控」而
  「写引用」授以(「列」于「预编控」)
  于(「境」中「三」)
  于(「缀」于「控」于(「预控们」于「境」))
也。

「预弹控」乃化「预编境」而「预编控」也。
「预弹控」者会「境」而
  鉴「预控们」于「境」而
    有「缀」于「首」于「余」则
      ((「写引用」授以(「列」于「预编控」)于(「境」中「三」)于「余」);
        「首」)
    或有「罄」则「发生事故」授以「预编控」于『预编:控制栈为空』
也。

「预顶控」乃化「预编境」而「预编控」也。
「预顶控」者会「境」而
  鉴「预控们」于「境」而
    有「缀」于「首」于「余」则「首」
    或有「罄」则「发生事故」授以「预编控」于『预编:控制栈为空』
也。

「:文言:执行器导出之号。汉语:按名字取执行器导出函数的号。:」
「预接号」乃化「预编境」而化「字符串」而「整数」也。
「预接号」者会「境」而
  会「名」而
    递归虑「寻」其化(「列」于(「字符串」合「整数」))而「整数」者会「们」而
      鉴「们」而
        有「罄」则「发生事故」授以「整数」
        于(『预编:执行器没有导出 』附「名」)
        或有「缀」于「首」于「余」则(
          若「串相等」于(「首」中「零」)于「名」则「首」中「一」否则「寻」于「余」)
    而
    「寻」于(「境」中「七」)
也。

「:文言:槽之令。槽者,自帧起之绝对槽号;低字在前。汉语:值栈槽的读写指令片段(槽号从帧起算,每槽 8 字节,低字在前;局部 0 是帧)。:」
「预读槽」乃化「整数」而(「列」于「网页指令」)也。
「预读槽」者会「槽」而
  「列」【「网页局部读取」于「零」,「网页内存读四」于「二」于(「乘」于「槽」于「八」)】
也。

「预读槽高」乃化「整数」而(「列」于「网页指令」)也。
「预读槽高」者会「槽」而
  「列」【「网页局部读取」于「零」,「网页内存读四」于「二」于(「加」于(「乘」于「槽」于「八」)于「四」)】
也。

「预写槽」乃化「整数」而化(「列」于「网页指令」)而(「列」于「网页指令」)也。
「预写槽」者会「槽」而会「值们」而
  「串联」授以「网页指令」于(「列」【
    「列」【「网页局部读取」于「零」】,
    「值们」,
    「列」【「网页内存写四」于「二」于(「乘」于「槽」于「八」)】
  】)
也。

「预写槽高」乃
  化「整数」而
  化(「列」于「网页指令」)而
  (「列」于「网页指令」)
也。
「预写槽高」者会「槽」而会「值们」而
  「串联」授以「网页指令」于(「列」【
    「列」【「网页局部读取」于「零」】,
    「值们」,
    「列」【「网页内存写四」于「二」于(「加」于(「乘」于「槽」于「八」)于「四」)】
  】)
也。

「:文言:书三十二位之值(高字置零)。汉语:写 32 位值(低字为值,高字置零)。:」
「预写整」乃化「整数」而化(「列」于「网页指令」)而(「列」于「网页指令」)也。
「预写整」者会「槽」而会「值们」而
  「附加」授以「网页指令」
    于(「预写槽」于「槽」于「值们」)
    于(「预写槽高」于「槽」于(「列」【「网页常量」于「零」】))
也。

「预拷」乃化「整数」而化「整数」而(「列」于「网页指令」)也。
「预拷」者会「源」而会「目」而
  「附加」授以「网页指令」
    于(「预写槽」于「目」于(「预读槽」于「源」))
    于(「预写槽高」于「目」于(「预读槽高」于「源」))
也。

「预拷段」乃化「整数」而化「整数」而化「整数」而(「列」于「网页指令」)也。
「预拷段」者会「源」而会「目」而会「个」而
  若「或者」于(「等于」于「源」于「目」)于(「小于」于「个」于「一」)则
    「罄」授以「网页指令」
  否则
    「串联」授以「网页指令」
    于(「态射」授以「整数」授以(「列」于「网页指令」)
    于(「整数范围」于「零」于「个」)
    于(会「i」而「预拷」于(「加」于「源」于「i」)于(「加」于「目」于「i」)))
也。

「预槽址」乃化「整数」而(「列」于「网页指令」)也。
「预槽址」者会「槽」而
  「列」【
    「网页局部读取」于「零」,
    「网页常量」于(「乘」于「槽」于「八」),
    「网页加」
  】
也。

「预栈针」乃化「预编境」而(「列」于「网页指令」)也。
「预栈针」者会「境」而
  「预槽址」于(「加」于(「境」中「六」)于(「预深」于「境」))
也。

「:文言:模块中之址:局部一为模块之起。汉语:模块字节里的地址:局部 1 是模块起址。:」
「预模址」乃化「整数」而(「列」于「网页指令」)也。
「预模址」者会「偏」而
  「列」【
    「网页局部读取」于「一」,
    「网页常量」于「偏」,
    「网页加」
  】
也。

「预调接」乃
  化「预编境」而
  化「字符串」而
  化(「列」于「网页指令」)而
  (「列」于「网页指令」)
也。
「预调接」者会「境」而会「名」而会「实参们」而
  「附加」授以「网页指令」
    于「实参们」
    于(「列」【「网页调用」于(「预接号」于「境」于「名」)】)
也。

「预致命令」乃化「预编境」而化「整数」而(「列」于「网页指令」)也。
「预致命令」者会「境」而会「码」而
  「附加」授以「网页指令」
    于(「预调接」于「境」于『预编_致命』于(「列」【「网页常量」于「码」】))
    于(「列」【「网页弃值」,「网页陷阱」】)
也。

「:文言:寻第 n 客体层:返(整数之层深,条)。汉语:找第 n 个客体控制层(跳过处理层):返回(它在整数 Wasm 控制栈里的深度,条目)。:」
「预找层」乃
  化(「列」于「预编控」)而
  化「整数」而
  化「整数」而
  (「整数」合「预编控」)
也。
「预找层」者会「们」而会「n」而会「i」而
  鉴「们」而
    有「罄」则「发生事故」授以(「整数」合「预编控」)
    于『预编:分支目标越界』
    或有「缀」于「首」于「余」则
      若「等于」于(「首」中「零」)于「五」则
        「预找层」于「余」于「n」于(「加」于「i」于「一」)
      否则若「等于」于「n」于「零」则
        「i」与「首」
      否则
        「预找层」于「余」于(「减」于「n」于「一」)于(「加」于「i」于「一」)
也。

「:文言:返回之令:诸结果移至帧首而返。汉语:返回:把栈顶的结果搬到帧首(槽 0 起)再 return。:」
「预返回令」乃化「预编境」而化「整数」而(「列」于「网页指令」)也。
「预返回令」者会「境」而会「结果数」而
  「附加」授以「网页指令」
    于(「预拷段」于(「减」于(「加」于(「境」中「六」)于(「预深」于「境」))于「结果数」)于「零」于「结果数」)
    于(「列」【「网页常量」于「零」,「网页返回」】)
也。

「:文言:分支之令:值移至目标,跳。附层者,外加之整数块数(如 br_if 之 if)。汉语:分支到第 n 个客体层:把携带的值搬到目标槽后跳转;目标是函数体则等同返回。附层 是为此额外包的整数块层数(例如 br_if 译成 if…br…end 时为 1)。:」
「预分支令」乃化「预编境」而化「整数」而化「整数」而(「列」于「网页指令」)也。
「预分支令」者会「境」而会「n」而会「附层」而
  虑「找」者「预找层」于(「预控们」于「境」)于「n」于「零」而
  虑「控」者「找」中「一」而
  若「等于」于(「控」中「零」)于「四」则
    「预返回令」于「境」于(「控」中「三」)
  否则
    虑「个」者
      (若「等于」于(「控」中「零」)于「一」则「控」中「二」否则「控」中「三」)
    而
    「附加」授以「网页指令」
    于(「预拷段」
      于(「减」于(「加」于(「境」中「六」)于(「预深」于「境」))于「个」)
      于(「控」中「四」)
      于「个」)
      于(「列」【「网页跳转」于(「加」于(「找」中「零」)于「附层」)】)
也。

「:文言:异常之去向:最近之处理层,否则返回。汉语:异常的去向:跳到最近的处理层(尝试表内部),没有则返回。:」
「预异常跳令」乃化「预编境」而化「整数」而(「列」于「网页指令」)也。
「预异常跳令」者会「境」而
  会「附层」而
    递归虑「寻」其化(「列」于「预编控」)而化「整数」而(「列」于「网页指令」)者会「们」而会「i」而
      鉴「们」而
        有「罄」则「列」【「网页常量」于「零」,「网页返回」】
        或有「缀」于「首」于「余」则
          若「等于」于(「首」中「零」)于「五」则
            「列」【「网页跳转」于(「加」于「i」于「附层」)】
          否则
            「寻」于「余」于(「加」于「i」于「一」)
    而
    「寻」于(「预控们」于「境」)于「零」
也。

「预验异常令」乃化「预编境」而(「列」于「网页指令」)也。
「预验异常令」者会「境」而
  「串联」授以「网页指令」于(「列」【
    「列」【
      「网页常量」于「预编_异常格」,
      「网页内存读四」于「二」于「零」,
      「网页条件」于「零」
    】,
    「预异常跳令」于「境」于「一」,
    「列」【「网页结束」】
  】)
也。

「:文言:块型:六十四为空,六十五至一二七为单值之型(九九、一〇〇后随堆型),余为类型号。返(参数数,结果数)。汉语:读块类型:0x40 为空;0x41–0x7F 是单个值类型(0x63、0x64 后跟堆类型),结果数 1;否则是 s33 类型号,取该函数类型的参数数与结果数。:」
「预读块型」乃化「预编模块」而化「网页读取器」而(「整数」合「整数」)也。
「预读块型」者会「模」而会「读器」而
  虑「字」者「网页读字节」于「读器」而
  若「等于」于「字」于「六四」则
    「零」与「零」
  否则若「且」于(「大于」于「字」于「六四」)于(「小于」于「字」于「一二八」)则
    虑「无」者
      (
        若「或者」于(「等于」于「字」于「九九」)于(「等于」于「字」于「一零零」)则
          ((「预读有号」于「读器」);
            「元」)
        否则
          「元」
      )
    而
    「零」与「一」
  否则
    「预型签」于「模」于(「预续读无号」于「读器」于「字」于「一」于「零」)
也。

「预读四字」乃化「网页读取器」而「整数」也。
「预读四字」者会「读器」而
  虑「甲」者「网页读字节」于「读器」而
  虑「乙」者「网页读字节」于「读器」而
  虑「丙」者「网页读字节」于「读器」而
  虑「丁」者「网页读字节」于「读器」而
  「预有号化」于(「加」
    于(「加」于「甲」于(「乘」于「乙」于「二五六」))
    于(「加」于(「乘」于「丙」于「六五五三六」)于(「乘」于「丁」于「一六七七七二一六」)))
也。

「预跳访存」乃化「网页读取器」而「有」也。
「预跳访存」者会「读器」而
  虑「齐」者「网页读自然」于「读器」而
  虑「无」者
    (
      若「不小于」于(「整数余数」于「齐」于「一二八」)于「六四」则
        ((「网页读自然」于「读器」);
          「元」)
      否则
        「元」
    )而
    虑「偏」者「网页读自然」于「读器」而
    「元」
也。

「预跳GC立」乃化「网页读取器」而化「整数」而「有」也。
「预跳GC立」者会「读器」而会「子」而
  若「或者」
    于(「等于」于「子」于「零」)
    于(「或者」
      于(「等于」于「子」于「一」)
      于(「或者」于(「等于」于「子」于「六」)于(「等于」于「子」于「七」)))则
        「预跳号们」于「读器」于「一」
  否则若「且」于(「不小于」于「子」于「二」)于(「不大于」于「子」于「五」)则
    「预跳号们」于「读器」于「二」
  否则若「且」于(「不小于」于「子」于「八」)于(「不大于」于「子」于「一零」)则
    「预跳号们」于「读器」于「二」
  否则若「且」于(「不小于」于「子」于「一一」)于(「不大于」于「子」于「一四」)则
    「预跳号们」于「读器」于「一」
  否则若「等于」于「子」于「一六」则
    「预跳号们」于「读器」于「一」
  否则若「且」于(「不小于」于「子」于「一七」)于(「不大于」于「子」于「一九」)则
    「预跳号们」于「读器」于「二」
  否则若「且」于(「不小于」于「子」于「二零」)于(「不大于」于「子」于「二三」)则
    ((「预读有号」于「读器」);
      「元」)
  否则若「或者」于(「等于」于「子」于「二四」)于(「等于」于「子」于「二五」)则
    ((「网页读字节」于「读器」);
      (「网页读自然」于「读器」);
      (「预读有号」于「读器」);
      (「预读有号」于「读器」);
      「元」)
  否则
    「元」
也。

「预跳杂立」乃化「网页读取器」而化「整数」而「有」也。
「预跳杂立」者会「读器」而会「子」而
  若「不大于」于「子」于「七」则
    「元」
  否则若「或者」
    于(「等于」于「子」于「八」)
    于(「或者」
      于(「等于」于「子」于「一零」)
      于(「或者」于(「等于」于「子」于「一二」)于(「等于」于「子」于「一四」)))则
      「预跳号们」于「读器」于「二」
  否则
    「预跳号们」于「读器」于「一」
也。

「:文言:跳过诸令之立即数(死码用)。汉语:跳过一条非结构指令的立即数(死码里用;结构指令另行处理)。:」
「预跳立」乃化「预编模块」而化「网页读取器」而化「整数」而「有」也。
「预跳立」者会「模」而会「读器」而会「码」而
  若「或者」于(「等于」于「码」于「一二」)于(「等于」于「码」于「一三」)则
    ((「网页读自然」于「读器」);
      「元」)
  否则若「等于」于「码」于「一四」则
    「预跳号们」于「读器」于(「加」于(「网页读自然」于「读器」)于「一」)
  否则若「或者」于(「等于」于「码」于「一六」)于(「等于」于「码」于「一八」)则
    ((「网页读自然」于「读器」);
      「元」)
  否则若「或者」于(「等于」于「码」于「一七」)于(「等于」于「码」于「一九」)则
    「预跳号们」于「读器」于「二」
  否则若「或者」于(「等于」于「码」于「二零」)于(「等于」于「码」于「二一」)则
    ((「网页读自然」于「读器」);
      「元」)
  否则若「或者」
    于(「等于」于「码」于「八」)
    于(「或者」于(「等于」于「码」于「九」)于(「等于」于「码」于「二四」))则
      ((「网页读自然」于「读器」);
        「元」)
  否则若「等于」于「码」于「二八」则
    「预跳值型们」于「读器」于(「网页读自然」于「读器」)
  否则若「且」于(「不小于」于「码」于「三二」)于(「不大于」于「码」于「三八」)则
    ((「网页读自然」于「读器」);
      「元」)
  否则若「且」于(「不小于」于「码」于「四零」)于(「不大于」于「码」于「六二」)则
    「预跳访存」于「读器」
  否则若「或者」于(「等于」于「码」于「六三」)于(「等于」于「码」于「六四」)则
    ((「网页读自然」于「读器」);
      「元」)
  否则若「等于」于「码」于「六五」则
    ((「预读有号」于「读器」);
      「元」)
  否则若「等于」于「码」于「六六」则
    ((「预读宽有号」于「读器」于「一」于「零」);
      「元」)
  否则若「等于」于「码」于「六七」则
    「预设位」于「读器」于(「加」于(「预位」于「读器」)于「四」)
  否则若「等于」于「码」于「六八」则
    「预设位」于「读器」于(「加」于(「预位」于「读器」)于「八」)
  否则若「等于」于「码」于「二零八」则
    ((「预读有号」于「读器」);
      「元」)
  否则若「或者」
    于(「等于」于「码」于「二一零」)
    于(「或者」于(「等于」于「码」于「二一三」)于(「等于」于「码」于「二一四」))则
      ((「网页读自然」于「读器」);
        「元」)
  否则若「等于」于「码」于「二五一」则
    「预跳GC立」于「读器」于(「网页读自然」于「读器」)
  否则若「等于」于「码」于「二五二」则
    「预跳杂立」于「读器」于(「网页读自然」于「读器」)
  否则
    「元」
也。

「:文言:数之令之栈效:返(所弹,所压)。汉语:数值指令(0x45–0xC4)的栈效果:(弹出个数,压入个数)。:」
「预数效」乃化「整数」而(「整数」合「整数」)也。
「预数效」者会「码」而
  若「或者」于(「等于」于「码」于「六九」)于(「等于」于「码」于「八零」)则
    「一」与「一」
  否则若「且」于(「不小于」于「码」于「七零」)于(「不大于」于「码」于「一零二」)则
    「二」与「一」
  否则若「且」于(「不小于」于「码」于「一零三」)于(「不大于」于「码」于「一零五」)则
    「一」与「一」
  否则若「且」于(「不小于」于「码」于「一零六」)于(「不大于」于「码」于「一二零」)则
    「二」与「一」
  否则若「且」于(「不小于」于「码」于「一二一」)于(「不大于」于「码」于「一二三」)则
    「一」与「一」
  否则若「且」于(「不小于」于「码」于「一二四」)于(「不大于」于「码」于「一三八」)则
    「二」与「一」
  否则若「且」于(「不小于」于「码」于「一三九」)于(「不大于」于「码」于「一四五」)则
    「一」与「一」
  否则若「且」于(「不小于」于「码」于「一四六」)于(「不大于」于「码」于「一五二」)则
    「二」与「一」
  否则若「且」于(「不小于」于「码」于「一五三」)于(「不大于」于「码」于「一五九」)则
    「一」与「一」
  否则若「且」于(「不小于」于「码」于「一六零」)于(「不大于」于「码」于「一六六」)则
    「二」与「一」
  否则
    「一」与「一」
也。

「:文言:三十二位二元之算,径书整数之令。汉语:i32 二元运算与比较对应的整数 Wasm 指令(除法与取余另行调用执行器,以同样处理陷阱)。:」
「预整二元令」乃化「整数」而「网页指令」也。
「预整二元令」者会「码」而
  鉴「码」而
    有「七零」则「网页相等」
    或有「七一」则「网页不等」
    或有「七二」则「网页有符号小于」
    或有「七三」则「网页无符号小于」
    或有「七四」则「网页有符号大于」
    或有「七五」则「网页无符号大于」
    或有「七六」则「网页有符号小等」
    或有「七七」则「网页无符号小等」
    或有「七八」则「网页有符号大等」
    或有「七九」则「网页无符号大等」
    或有「一零六」则「网页加」
    或有「一零七」则「网页减」
    或有「一零八」则「网页乘」
    或有「一一三」则「网页按位与」
    或有「一一四」则「网页按位或」
    或有「一一五」则「网页按位异或」
    或有「一一六」则「网页左移」
    或有「一一七」则「网页有符号右移」
    或有「一一八」则「网页无符号右移」
    或有「一一九」则「网页循环左移」
    或有「其他」则「网页循环右移」
也。

「预是整二元」乃化「整数」而「爻」也。
「预是整二元」者会「码」而
  「或者」
    于(「且」于(「不小于」于「码」于「七零」)于(「不大于」于「码」于「七九」))
    于(「或者」
      于(「且」于(「不小于」于「码」于「一零六」)于(「不大于」于「码」于「一零八」))
      于(「且」于(「不小于」于「码」于「一一三」)于(「不大于」于「码」于「一二零」)))
也。

「预顶槽」乃化「预编境」而化「整数」而「整数」也。
「预顶槽」者会「境」而会「i」而
  「减」于(「加」于(「境」中「六」)于(「预深」于「境」))于「i」
也。

「:文言:尝试表之处理码:依子句之序验标签,合则取载荷(及异常之引用)至目标之槽而跳;皆不合则续传。此时控制栈顶为尝试表之外层。汉语:尝试表的处理代码(在外层块里、处理层已结束之后):按子句顺序:catch 标签相同就把载荷拷到目标槽并跳过去,catch_ref 再在其后放异常引用,catch_all 直接跳,catch_all_ref 只放异常引用;都不匹配则继续向外传播。:」
「预处理码」乃
  化「预编境」而
  化(「列」于(「整数」合「整数」合「整数」))而
  (「列」于「网页指令」)
也。
「预处理码」者会「境」而会「子句们」而
  「附加」授以「网页指令」
    于(「串联」授以「网页指令」
      于(「态射」授以(「整数」合「整数」合「整数」)授以(「列」于「网页指令」)
      于「子句们」
      于(会「句」而
      虑「种」者「句」中「零」而
      虑「标号」者「句」中「一」而
      虑「层号」者「句」中「二」而
      虑「找」者
        「预找层」于(「预控们」于「境」)于(「加」于「层号」于「一」)于「零」而
        虑「控」者「找」中「一」而
        虑「目」者「控」中「四」而
        虑「个」者
          (若「小于」于「种」于「二」则「预标签参数数」于(「境」中「八」)于「标号」否则「零」)
        而
        虑「取引」者
          (
            若「或者」
              于(「等于」于「种」于「一」)
              于(「等于」于「种」于「三」)则
                「附加」授以「网页指令」
                于(「预调接」于「境」于『预编_例外引用』于(「预槽址」于(「加」于「目」于「个」)))
                于(「列」【「网页弃值」】)
            否则
              「罄」授以「网页指令」
          )
        而
        虑「取载」者
          (
            若「小于」于「种」于「二」则
              「附加」授以「网页指令」
              于(「预调接」于「境」于『预编_取载荷』于(「预槽址」于「目」))
              于(「列」【「网页弃值」】)
            否则若「等于」于「种」于「二」则
              「附加」授以「网页指令」
              于(「预调接」于「境」于『预编_清异常』于(「列」【「网页常量」于「零」】))
              于(「列」【「网页弃值」】)
            否则
              「罄」授以「网页指令」
          )
        而
        虑「跳」者
          「缀」授以「网页指令」
          于(「网页跳转」于(「加」于(「找」中「零」)于「一」))
          于(「罄」授以「网页指令」)
        而
        虑「尾」者
          「附加」授以「网页指令」
          于「取引」
          于(「附加」授以「网页指令」
            于「取载」
            于(「附加」授以「网页指令」于「跳」于(「缀」授以「网页指令」于「网页结束」于(「罄」授以「网页指令」))))
        而
        若「小于」于「种」于「二」则
          「附加」授以「网页指令」
          于(「预调接」于「境」于『预编_例外标签』于(「列」【「网页常量」于「零」】))
          于(「缀」授以「网页指令」
            于(「网页常量」于「标号」)
            于(「缀」授以「网页指令」于「网页相等」于(「缀」授以「网页指令」于(「网页条件」于「零」)于「尾」)))
        否则
          「缀」授以「网页指令」
          于(「网页常量」于「一」)
          于(「缀」授以「网页指令」于(「网页条件」于「零」)于「尾」))))
          于(「预异常跳令」于「境」于「零」)
也。

「:文言:闭一层:尝试表则先闭处理层,书处理码,后闭外层。汉语:结束一个客体层:普通块直接 end;尝试表先在处理层末尾加“正常完成则跳出外层”(br 1)并结束处理层,再写处理代码,最后结束外层;函数体则把结果搬到帧首。操作数深度复位为 高 + 结果数,死码结束。:」
「预闭层」乃化「预编境」而「有」也。
「预闭层」者会「境」而
  虑「顶」者「预弹控」于「境」而
  若「等于」于(「顶」中「零」)于「五」则
    虑「无」者
      「预发」于「境」于(「列」【「网页跳转」于「一」,「网页结束」】)而
      虑「外」者「预顶控」于「境」而
      虑「无」者
        「预发」于「境」于(「预处理码」于「境」于(「外」中「五」))而
        虑「无」者「预弹控」于「境」而
        虑「无」者「预发」于「境」于(「列」【「网页结束」】)而
        虑「无」者
          「预设深」于「境」于(「加」于(「外」中「一」)于(「外」中「三」))
        而
        「预设死」于「境」于「零」
  否则若「等于」于(「顶」中「零」)于「四」则
    虑「无」者
      (
        若「预死」于「境」则
          「元」
        否则
          「预发」
            于「境」
            于(「预拷段」
              于(「减」于(「加」于(「境」中「六」)于(「预深」于「境」))于(「顶」中「三」))
              于「零」
              于(「顶」中「三」))
      )
    而
    「预设死」于「境」于「零」
  否则
    虑「无」者「预发」于「境」于(「列」【「网页结束」】)而
    虑「无」者
      「预设深」于「境」于(「加」于(「顶」中「一」)于(「顶」中「三」))
    而
    「预设死」于「境」于「零」
也。

「:文言:尝试表之子句:种(零 catch、一 catch_ref、二 catch_all、三 catch_all_ref),标签,层号。汉语:读尝试表的子句:(种,标签号,客体层号)。:」
「预读子句们」乃
  化「网页读取器」而
  化「整数」而
  化(「列」于(「整数」合「整数」合「整数」))而
  (「列」于(「整数」合「整数」合「整数」))
也。
「预读子句们」者会「读器」而会「个」而会「积」而
  若「小于」于「个」于「一」则
    「反转」授以(「整数」合「整数」合「整数」)于「积」
  否则
    虑「种」者「网页读字节」于「读器」而
    虑「标号」者
      (若「小于」于「种」于「二」则「网页读自然」于「读器」否则「零」)
    而
    虑「层号」者「网页读自然」于「读器」而
    「预读子句们」于「读器」于(「减」于「个」于「一」)于(「缀」于(「种」与「标号」与「层号」)于「积」)
也。

「:文言:结构之令:块、环、条件、否则、终、尝试表;死码中唯计其嵌。汉语:结构指令:block、loop、if、else、end、try_table。死码里只数嵌套层次(读掉立即数),直到回到当前层的 else 或 end。:」
「预结构令」乃化「预编境」而化「网页读取器」而化「整数」而「有」也。
「预结构令」者会「境」而会「读器」而会「码」而
  虑「模」者「境」中「八」而
  虑「死嵌」者「读引用」授以「整数」于(「境」中「五」)而
  若「或者」
    于(「等于」于「码」于「二」)
    于(「或者」
      于(「等于」于「码」于「三」)
      于(「或者」于(「等于」于「码」于「四」)于(「等于」于「码」于「三一」)))则
      虑「签」者「预读块型」于「模」于「读器」而
      虑「子句们」者
        (
          若「等于」于「码」于「三一」则
            「预读子句们」
              于「读器」
              于(「网页读自然」于「读器」)
              于(「罄」授以(「整数」合「整数」合「整数」))
          否则
            「罄」授以(「整数」合「整数」合「整数」)
        )
      而
      若「预死」于「境」则
        「写引用」授以「整数」于(「境」中「五」)于(「加」于「死嵌」于「一」)
      否则
        虑「参数数」者「签」中「零」
        而
        虑「结果数」者「签」中「一」
        而
        虑「深」者
          (若「等于」于「码」于「四」则「减」于(「预深」于「境」)于「一」否则「预深」于「境」)
        而
        虑「高」者「减」于「深」于「参数数」
        而
        虑「目」者「加」于(「境」中「六」)于「高」
        而
        若「等于」于「码」于「二」则
          ((「预压控」
            于「境」
            于(「零」与「高」与「参数数」与「结果数」与「目」与(「罄」授以(「整数」合「整数」合「整数」))));
            「预发」于「境」于(「列」【「网页块」于「零」】))
        否则若「等于」于「码」于「三」则
          ((「预压控」
            于「境」
            于(「一」与「高」与「参数数」与「结果数」与「目」与(「罄」授以(「整数」合「整数」合「整数」))));
            「预发」于「境」于(「列」【「网页循环」于「零」】))
        否则若「等于」于「码」于「四」则
          ((「预设深」于「境」于「深」);
            (「预发」
              于「境」
              于(「附加」授以「网页指令」
                于(「预读槽」于(「加」于(「境」中「六」)于「深」))
                于(「列」【「网页条件」于「零」】)));
            「预压控」
              于「境」
              于(「二」与「高」与「参数数」与「结果数」与「目」与(「罄」授以(「整数」合「整数」合「整数」))))
        否则
          ((「预压控」于「境」于(「三」与「高」与「参数数」与「结果数」与「目」与「子句们」));
            (「预压控」
              于「境」
              于(「五」与「高」与「零」与「零」与「零」与(「罄」授以(「整数」合「整数」合「整数」))));
            「预发」
              于「境」
              于(「列」【「网页块」于「零」,「网页块」于「零」】))
  否则若「等于」于「码」于「五」则
    若「且」于(「预死」于「境」)于(「大于」于「死嵌」于「零」)则
      「元」
    否则
      虑「顶」者「预顶控」于「境」
      而
      虑「无」者「预发」于「境」于(「列」【「网页否则」】)
      而
      虑「无」者
        「预设深」于「境」于(「加」于(「顶」中「一」)于(「顶」中「二」))
      而
      「预设死」于「境」于「零」
  否则
    若「且」于(「预死」于「境」)于(「大于」于「死嵌」于「零」)则
      「写引用」授以「整数」于(「境」中「五」)于(「减」于「死嵌」于「一」)
    否则
      「预闭层」于「境」
也。

「:文言:函数体之层:控制栈之底。汉语:函数体层(控制栈最底一层)。:」
「预函控」乃化(「列」于「预编控」)而「预编控」也。
「预函控」者会「们」而
  鉴「们」而
    有「罄」则「发生事故」授以「预编控」
    于『预编:控制栈为空』
    或有「缀」于「首」于「余」则
      (鉴「余」而
      有「罄」则「首」
      或有「其他」则「预函控」于「余」)
也。

「:文言:调用之令。尾者先移参数至帧首,调用而即返(降级化为尾跳)。汉语:直接调用:导入函数经执行器的 调用导入;转译函数以“被调者帧 = 参数起槽”调用,之后检查异常。尾调用先把参数搬到帧首,再“调用后立即返回”(降级器把它变成尾跳)。:」
「预直调」乃化「预编境」而化「整数」而化「爻」而「有」也。
「预直调」者会「境」而会「函号」而会「尾」而
  虑「模」者「境」中「八」而
  虑「签」者「预函签」于「模」于「函号」而
  虑「参数数」者「签」中「零」而
  虑「结果数」者「签」中「一」而
  虑「起」者「预顶槽」于「境」于「参数数」而
  若「小于」于「函号」于(「模」中「三」)则
    若「尾」则
      ((「预发」
        于「境」
        于(「串联」授以「网页指令」
          于(「列」【
            「预拷段」于「起」于「零」于「参数数」,
            「预调接」
              于「境」
              于『预编_调用导入』
              于(「附加」授以「网页指令」于(「列」【「网页常量」于「函号」】)于(「预槽址」于「参数数」)),
              「列」【「网页返回」】
          】)));
        「预设死」于「境」于「一」)
    否则
      ((「预发」
        于「境」
        于(「附加」授以「网页指令」
          于(「预调接」
            于「境」
            于『预编_调用导入』
            于(「附加」授以「网页指令」于(「列」【「网页常量」于「函号」】)于(「预栈针」于「境」)))
            于(「列」【「网页弃值」】)));
        「预设深」于「境」于(「加」于(「减」于(「预深」于「境」)于「参数数」)于「结果数」))
  否则
    虑「目标」者
      「加」于(「境」中「九」)于(「减」于「函号」于(「模」中「三」))
    而
    若「尾」则
      ((「预发」
        于「境」
        于(「附加」授以「网页指令」
          于(「预拷段」于「起」于「零」于「参数数」)
          于(「列」【「网页局部读取」于「零」,「网页调用」于「目标」,「网页返回」】)));
        「预设死」于「境」于「一」)
    否则
      ((「预发」
        于「境」
        于(「串联」授以「网页指令」
          于(「列」【
            「预槽址」于「起」,
            「列」【「网页调用」于「目标」,「网页弃值」】,
            「预验异常令」于「境」】)));
        「预设深」于「境」于(「加」于(「减」于(「预深」于「境」)于「参数数」)于「结果数」))
也。

「:文言:间接之调:函数之号先置于局部二,后经派发。汉语:间接调用(call_indirect、call_ref 及其尾调用):函数号已由 号令们 算出(留在栈顶),先存进局部 2,再按“帧、号”调用执行器导出的 预编派发(它按号转到转译函数或导入)。帧 是参数起槽。:」
「预派调」乃
  化「预编境」而
  化(「列」于「网页指令」)而
  化「整数」而
  化「整数」而
  化「爻」而
  「有」
也。
「预派调」者会「境」而会「号令们」而会「参数数」而会「结果数」而会「尾」而
  虑「起」者「预顶槽」于「境」于(「加」于「参数数」于「一」)而
  虑「求号」者
    「附加」授以「网页指令」于「号令们」于(「列」【「网页局部写入」于「二」】)而
    虑「派发」者「预接号」于「境」于『预编派发』而
    若「尾」则
      ((「预发」
        于「境」
        于(「串联」授以「网页指令」
          于(「列」【
            「求号」,
            「预拷段」于「起」于「零」于「参数数」,
            「列」【
              「网页局部读取」于「零」,
              「网页局部读取」于「二」,
              「网页调用」于「派发」,
              「网页返回」
            】
          】)));
        「预设死」于「境」于「一」)
    否则
      ((「预发」
        于「境」
        于(「串联」授以「网页指令」
          于(「列」【
            「求号」,
            「预槽址」于「起」,
            「列」【
              「网页局部读取」于「二」,
              「网页调用」于「派发」,
              「网页弃值」
            】,
            「预验异常令」于「境」
          】)));
        「预设深」于「境」于(「加」于(「减」于(「预深」于「境」)于(「加」于「参数数」于「一」))于「结果数」))
也。

「:文言:控制之令(非结构者)。汉语:非结构的控制指令:unreachable、nop、throw、throw_ref、br、br_if、br_table、return、各种调用、drop、select。:」
「预控制令」乃化「预编境」而化「网页读取器」而化「整数」而「有」也。
「预控制令」者会「境」而会「读器」而会「码」而
  虑「模」者「境」中「八」而
  若「等于」于「码」于「零」则
    ((「预发」于「境」于(「预致命令」于「境」于「一二八」));
      「预设死」于「境」于「一」)
  否则若「等于」于「码」于「一」则
    「元」
  否则若「等于」于「码」于「八」则
    虑「标号」者「网页读自然」于「读器」而
    ((「预发」
      于「境」
      于(「附加」授以「网页指令」
        于(「预调接」
          于「境」
          于『预编_抛出』
          于(「附加」授以「网页指令」于(「列」【「网页常量」于「标号」】)于(「预栈针」于「境」)))
          于(「缀」授以「网页指令」于「网页弃值」于(「预异常跳令」于「境」于「零」))));
      「预设死」于「境」于「一」)
  否则若「等于」于「码」于「一零」则
    ((「预发」
      于「境」
      于(「附加」授以「网页指令」
        于(「预调接」于「境」于『预编_再抛』于(「预栈针」于「境」))
        于(「缀」授以「网页指令」于「网页弃值」于(「预异常跳令」于「境」于「零」))));
      「预设死」于「境」于「一」)
  否则若「等于」于「码」于「一二」则
    ((「预发」于「境」于(「预分支令」于「境」于(「网页读自然」于「读器」)于「零」));
      「预设死」于「境」于「一」)
  否则若「等于」于「码」于「一三」则
    虑「层」者「网页读自然」于「读器」而
    虑「条件」者「预读槽」于(「预顶槽」于「境」于「一」)而
    虑「无」者
      「预设深」于「境」于(「减」于(「预深」于「境」)于「一」)
    而
    「预发」
      于「境」
      于(「串联」授以「网页指令」
        于(「列」【
          「条件」,
          「列」【「网页条件」于「零」】,
          「预分支令」于「境」于「层」于「一」,
          「列」【「网页结束」】
        】))
  否则若「等于」于「码」于「一四」则
    虑「个」者「网页读自然」于「读器」而
    虑「层们」者
      「反转」授以「整数」于(「预读号们」于「读器」于「个」于(「罄」授以「整数」))而
      虑「缺省」者「网页读自然」于「读器」而
      虑「取」者
        「附加」授以「网页指令」
        于(「预读槽」于(「预顶槽」于「境」于「一」))
        于(「列」【「网页局部写入」于「二」】)而
        虑「无」者
          「预设深」于「境」于(「减」于(「预深」于「境」)于「一」)而
          虑「无」者
            「预发」
              于「境」
              于(「串联」授以「网页指令」
                于(「附加」授以(「列」于「网页指令」)
                于(「列」【「取」】)
                于(「态射序号」授以「整数」授以(「列」于「网页指令」)
                于(会「序」而会「层」而
                  「串联」授以「网页指令」
                  于(「列」【
                    「列」【
                      「网页局部读取」于「二」,
                      「网页常量」于「序」,
                      「网页相等」,
                      「网页条件」于「零」
                    】,
                    「预分支令」于「境」于「层」于「一」,
                    「列」【「网页结束」】
                  】))
                  于「层们」)))
          而
          ((「预发」于「境」于(「预分支令」于「境」于「缺省」于「零」));
            「预设死」于「境」于「一」)
  否则若「等于」于「码」于「一五」则
    虑「函控」者「预函控」于(「预控们」于「境」)而
    ((「预发」于「境」于(「预返回令」于「境」于(「函控」中「三」)));
      「预设死」于「境」于「一」)
  否则若「等于」于「码」于「一六」则
    「预直调」于「境」于(「网页读自然」于「读器」)于「阴」
  否则若「等于」于「码」于「一八」则
    「预直调」于「境」于(「网页读自然」于「读器」)于「阳」
  否则若「或者」于(「等于」于「码」于「一七」)于(「等于」于「码」于「一九」)则
    虑「型号」者「网页读自然」于「读器」而
    虑「表号」者「网页读自然」于「读器」而
    虑「签」者「预型签」于「模」于「型号」而
    虑「号令们」者
      「预调接」
        于「境」
        于『预编_间接』
        于(「附加」授以「网页指令」
          于(「列」【「网页常量」于「型号」,「网页常量」于「表号」】)
          于(「预槽址」于(「预顶槽」于「境」于「一」)))
    而
    「预派调」于「境」于「号令们」于(「签」中「零」)于(「签」中「一」)
    于(「等于」于「码」于「一九」)
  否则若「或者」于(「等于」于「码」于「二零」)于(「等于」于「码」于「二一」)则
    虑「型号」者「网页读自然」于「读器」而
    虑「签」者「预型签」于「模」于「型号」而
    虑「引槽」者「预顶槽」于「境」于「一」而
    虑「号令们」者
      「串联」授以「网页指令」于(「列」【
        「预读槽」于「引槽」,
        「列」【
          「网页常量」于「七」,
          「网页按位与」,
          「网页常量」于「二」,
          「网页不等」,
          「网页条件」于「零」
        】,
        「预致命令」于「境」于「一二四」,
        「列」【「网页结束」】,
        「预读槽」于「引槽」,
        「列」【「网页常量」于「三」,「网页无符号右移」】
      】)
    而
    「预派调」于「境」于「号令们」于(「签」中「零」)于(「签」中「一」)
    于(「等于」于「码」于「二一」)
  否则若「等于」于「码」于「二六」则
    「预设深」于「境」于(「减」于(「预深」于「境」)于「一」)
  否则若「或者」于(「等于」于「码」于「二七」)于(「等于」于「码」于「二八」)则
    虑「无」者
      (若「等于」于「码」于「二八」则「预跳值型们」于「读器」于(「网页读自然」于「读器」)否则「元」)
    而
    虑「条」者「预顶槽」于「境」于「一」而
    虑「无」者
      「预发」
        于「境」
        于(「串联」授以「网页指令」
          于(「列」【
            「预读槽」于「条」,
            「列」【「网页为零」,「网页条件」于「零」】,
            「预拷」
              于(「预顶槽」于「境」于「二」)
              于(「预顶槽」于「境」于「三」),
              「列」【「网页结束」】
          】))
    而
    「预设深」于「境」于(「减」于(「预深」于「境」)于「二」)
  否则
    「发生事故」于(『预编:不支持的指令 0x』附(「整数表示」于「码」))
也。

「:文言:局部、全局与表之令。汉语:局部变量(直接拷 8 字节槽)、全局变量(全局表 [状态_全局表] 起每项 8 字节)、table.get/set(调用执行器)。:」
「预变量令」乃化「预编境」而化「网页读取器」而化「整数」而「有」也。
「预变量令」者会「境」而会「读器」而会「码」而
  虑「号」者「网页读自然」于「读器」而
  虑「深」者「预深」于「境」而
  虑「顶」者「预顶槽」于「境」于「零」而
  若「等于」于「码」于「三二」则
    ((「预发」于「境」于(「预拷」于「号」于「顶」));
      「预设深」于「境」于(「加」于「深」于「一」))
  否则若「等于」于「码」于「三三」则
    ((「预发」于「境」于(「预拷」于(「减」于「顶」于「一」)于「号」));
      「预设深」于「境」于(「减」于「深」于「一」))
  否则若「等于」于「码」于「三四」则
    「预发」于「境」于(「预拷」于(「减」于「顶」于「一」)于「号」)
  否则若「等于」于「码」于「三五」则
    ((「预发」
      于「境」
      于(「串联」授以「网页指令」
        于(「列」【
          「列」【
            「网页局部读取」于「零」,
            「网页常量」于「预编_全局表格」,
            「网页内存读四」于「二」于「零」,
            「网页内存读四」于「二」于(「乘」于「号」于「八」),
            「网页内存写四」于「二」于(「乘」于「顶」于「八」)
          】,
          「列」【
            「网页局部读取」于「零」,
            「网页常量」于「预编_全局表格」,
            「网页内存读四」于「二」于「零」,
            「网页内存读四」
              于「二」
              于(「加」于(「乘」于「号」于「八」)于「四」),
              「网页内存写四」
                于「二」
                于(「加」于(「乘」于「顶」于「八」)于「四」)
          】
        】)));
      「预设深」于「境」于(「加」于「深」于「一」))
  否则若「等于」于「码」于「三六」则
    虑「源」者「减」于「顶」于「一」而
    ((「预发」
      于「境」
      于(「串联」授以「网页指令」
        于(「列」【
          「列」【「网页常量」于「预编_全局表格」,「网页内存读四」于「二」于「零」】,
          「预读槽」于「源」,
          「列」【「网页内存写四」于「二」于(「乘」于「号」于「八」)】,
          「列」【「网页常量」于「预编_全局表格」,「网页内存读四」于「二」于「零」】,
          「预读槽高」于「源」,
          「列」【「网页内存写四」于「二」于(「加」于(「乘」于「号」于「八」)于「四」)】
        】)));
      「预设深」于「境」于(「减」于「深」于「一」))
  否则若「等于」于「码」于「三七」则
    「预发」
      于「境」
      于(「附加」授以「网页指令」
        于(「预调接」
          于「境」
          于『预编_表取』
          于(「附加」授以「网页指令」于(「列」【「网页常量」于「号」】)于(「预栈针」于「境」)))
          于(「列」【「网页弃值」】))
  否则
    ((「预发」
      于「境」
      于(「附加」授以「网页指令」
        于(「预调接」
          于「境」
          于『预编_表设』
          于(「附加」授以「网页指令」于(「列」【「网页常量」于「号」】)于(「预栈针」于「境」)))
          于(「列」【「网页弃值」】)));
      「预设深」于「境」于(「减」于「深」于「二」))
也。

「:文言:访存之令:皆呼执行器,携立即数之址。汉语:线性内存指令(客体的线性内存由执行器模拟):load 与 store 调用执行器的访存处理(带立即数地址);memory.size、memory.grow 调用对应导出。:」
「预访存令」乃化「预编境」而化「网页读取器」而化「整数」而「有」也。
「预访存令」者会「境」而会「读器」而会「码」而
  虑「后」者「预位」于「读器」而
  虑「深」者「预深」于「境」而
  若「或者」于(「等于」于「码」于「六三」)于(「等于」于「码」于「六四」)则
    虑「无」者「网页读自然」于「读器」而
    若「等于」于「码」于「六三」则
      ((「预发」
        于「境」
        于(「预写整」
          于(「预顶槽」于「境」于「零」)
          于(「预调接」于「境」于『预编_客页数』于(「列」【「网页常量」于「零」】))));
        「预设深」于「境」于(「加」于「深」于「一」))
    否则
      「预发」
        于「境」
        于(「附加」授以「网页指令」
          于(「预调接」于「境」于『预编_客增长』于(「预栈针」于「境」))
          于(「列」【「网页弃值」】))
  否则
    虑「无」者「预跳访存」于「读器」而
    虑「无」者
      「预发」
        于「境」
        于(「附加」授以「网页指令」
          于(「预调接」
            于「境」
            于『预编_访存』
            于(「串联」授以「网页指令」
              于(「列」【「列」【「网页常量」于「码」】,「预模址」于「后」,「预栈针」于「境」】)))
              于(「列」【「网页弃值」】))
    而
    「预设深」于「境」于(若「不大于」于「码」于「五三」则「深」否则「减」于「深」于「二」)
也。

「预常量令」乃化「预编境」而化「网页读取器」而化「整数」而「有」也。
「预常量令」者会「境」而会「读器」而会「码」而
  虑「顶」者「预顶槽」于「境」于「零」而
  虑「无」者
    (
      若「等于」于「码」于「六五」则
        「预发」于「境」于(「预写整」于「顶」于(「列」【「网页常量」于(「预读有号」于「读器」)】))
      否则若「等于」于「码」于「六六」则
        虑「值」者「预读宽有号」于「读器」于「一」于「零」而
        「预发」
          于「境」
          于(「附加」授以「网页指令」
            于(「预写槽」于「顶」于(「列」【「网页常量」于(「预宽低」于「值」)】))
            于(「预写槽高」于「顶」于(「列」【「网页常量」于(「预宽高」于「值」)】)))
      否则若「等于」于「码」于「六七」则
        「预发」于「境」于(「预写整」于「顶」于(「列」【「网页常量」于(「预读四字」于「读器」)】))
      否则
        虑「低」者「预读四字」于「读器」
        而
        虑「高」者「预读四字」于「读器」而
        「预发」
          于「境」
          于(「附加」授以「网页指令」
            于(「预写槽」于「顶」于(「列」【「网页常量」于「低」】))
            于(「预写槽高」于「顶」于(「列」【「网页常量」于「高」】)))
    )
  而
  「预设深」于「境」于(「加」于(「预深」于「境」)于「一」)
也。

「:文言:六十四位之令可径书者:加、减、八种比较、与、或、异或。值居值栈之槽,低字在前;以三十二位之令分低高二字算之,加减以无号之比较得进位与借位。汉语:可以内联的 i64 指令:加、减、八种比较、按位与或异或。值在值栈槽里,低字在前;用 i32 指令分别算低、高两个字,加减用无符号比较求进位与借位。编译器里的整数都是 i64,原先每一次加减比较都要调用执行器。:」
「预是内联宽」乃化「整数」而「爻」也。
「预是内联宽」者会「码」而
  「或者」
    于(「且」于(「不小于」于「码」于「八三」)于(「不大于」于「码」于「九零」))
    于(「或者」
      于(「或者」于(「等于」于「码」于「一二四」)于(「等于」于「码」于「一二五」))
      于(「且」于(「不小于」于「码」于「一三一」)于(「不大于」于「码」于「一三三」)))
也。

「预内联宽令」乃化「整数」而化「整数」而化「整数」而(「列」于「网页指令」)也。
「预内联宽令」者会「码」而会「甲」而会「乙」而
  若「且」于(「不小于」于「码」于「八三」)于(「不大于」于「码」于「九零」)则
    虑「小类」者
      「或者」
        于(「等于」于「码」于「八三」)
        于(「或者」
          于(「等于」于「码」于「八四」)
          于(「或者」于(「等于」于「码」于「八九」)于(「等于」于「码」于「九零」)))而
          虑「有号」者
            「或者」
              于(「等于」于「码」于「八三」)
              于(「或者」
                于(「等于」于「码」于「八五」)
                于(「或者」于(「等于」于「码」于「八七」)于(「等于」于「码」于「八九」)))而
                虑「取反」者「不小于」于「码」于「八七」而
                虑「高比」者
                  若「小类」则(
                    若「有号」则「网页有符号小于」否则「网页无符号小于」)
                  否则
                    (若「有号」则「网页有符号大于」否则「网页无符号大于」)
                而
                虑「低比」者
                  (若「小类」则「网页无符号小于」否则「网页无符号大于」)
                而
                「预写整」
                  于「甲」
                  于(「串联」授以「网页指令」
                    于(「列」【
                      「预读槽高」于「甲」,
                      「预读槽高」于「乙」,
                      「列」【「高比」】,
                      「预读槽高」于「甲」,
                      「预读槽高」于「乙」,
                      「列」【「网页相等」】,
                      「预读槽」于「甲」,
                      「预读槽」于「乙」,
                      「列」【「低比」,「网页按位与」,「网页按位或」】,
                      若「取反」则
                        「列」【「网页为零」】
                      否则
                          「罄」授以「网页指令」
                    】))
  否则若「或者」于(「等于」于「码」于「一二四」)于(「等于」于「码」于「一二五」)则
    虑「加法」者「等于」于「码」于「一二四」而
    虑「算」者(若「加法」则「网页加」否则「网页减」)而
    「串联」授以「网页指令」
    于(「列」【
      「预读槽」于「甲」,
      「预读槽」于「乙」,
      「列」【「算」,「网页局部写入」于「二」】,
      若「加法」则「附加」授以「网页指令」
        于(「列」【「网页局部读取」于「二」】)
        于(「预读槽」于「甲」)
      否则
          「附加」授以「网页指令」
            于(「预读槽」于「甲」)
            于(「预读槽」于「乙」),
            「列」【「网页无符号小于」,「网页局部写入」于「三」】,
            「预写槽」于「甲」于(「列」【「网页局部读取」于「二」】),
            「预写槽高」
              于「甲」
              于(「串联」授以「网页指令」
                于(「列」【
                  「预读槽高」于「甲」,
                  「预读槽高」于「乙」,
                  「列」【
                    「算」,
                    「网页局部读取」于「三」,
                    「算」
                  】
                】))
    】)
  否则
    虑「算」者
      若「等于」于「码」于「一三一」则「网页按位与」
      否则
        若「等于」于「码」于「一三二」则「网页按位或」否则「网页按位异或」
    而
    「附加」授以「网页指令」
    于(「预写槽」
      于「甲」
      于(「串联」授以「网页指令」于(「列」【「预读槽」于「甲」,「预读槽」于「乙」,「列」【「算」】】)))
      于(「预写槽高」
        于「甲」
        于(「串联」授以「网页指令」于(「列」【「预读槽高」于「甲」,「预读槽高」于「乙」,「列」【「算」】】)))
也。

「:文言:数之令:三十二位者径书,余呼执行器之宽浮之处理。汉语:数值指令:i32 的比较与算术直接写成整数指令(除法取余与 clz/ctz/popcnt 调用执行器),少数 i64 指令(eqz、eq、ne、wrap、extend)内联,重解释指令不动,其余调用执行器的宽整数与浮点处理。:」
「预数令」乃化「预编境」而化「整数」而「有」也。
「预数令」者会「境」而会「码」而
  虑「效」者「预数效」于「码」而
  虑「弹」者「效」中「零」而
  虑「深」者「预深」于「境」而
  虑「甲」者「预顶槽」于「境」于「弹」而
  虑「乙」者「预顶槽」于「境」于「一」而
  虑「无」者
    (
      若「预是整二元」于「码」则
        「预发」
          于「境」
          于(「预写整」
            于「甲」
            于(「串联」授以「网页指令」
              于(「列」【「预读槽」于「甲」,「预读槽」于「乙」,「列」【「预整二元令」于「码」】】)))
      否则若「且」于(「不小于」于「码」于「一零九」)于(「不大于」于「码」于「一一二」)则
        「预发」
          于「境」
          于(「预写整」
            于「甲」
            于(「预调接」
              于「境」
              于『预编_i32除』
              于(「串联」授以「网页指令」
                于(「列」【「列」【「网页常量」于「码」】,「预读槽」于「甲」,「预读槽」于「乙」】))))
      否则若「等于」于「码」于「六九」则
        「预发」
          于「境」
          于(「预写整」于「甲」于(「附加」授以「网页指令」于(「预读槽」于「甲」)于(「列」【「网页为零」】)))
      否则若「且」于(「不小于」于「码」于「一零三」)于(「不大于」于「码」于「一零五」)则
        「预发」
          于「境」
          于(「预写整」
            于「甲」
            于(「预调接」
              于「境」
              于『预编_一元』
              于(「附加」授以「网页指令」于(「列」【「网页常量」于「码」】)于(「预读槽」于「甲」))))
      否则若「或者」于(「等于」于「码」于「一九二」)于(「等于」于「码」于「一九三」)则
        虑「移」者
          (若「等于」于「码」于「一九二」则「二四」否则「一六」)
        而
        「预发」
          于「境」
          于(「预写整」
            于「甲」
            于(「附加」授以「网页指令」
              于(「预读槽」于「甲」)
              于(「列」【「网页常量」于「移」,「网页左移」,「网页常量」于「移」,「网页有符号右移」】)))
      否则若「等于」于「码」于「八零」则
        「预发」
          于「境」
          于(「预写整」
            于「甲」
            于(「串联」授以「网页指令」
              于(「列」【「预读槽」于「甲」,「预读槽高」于「甲」,「列」【「网页按位或」,「网页为零」】】)))
      否则若「预是内联宽」于「码」则
        「预发」于「境」于(「预内联宽令」于「码」于「甲」于「乙」)
      否则若「或者」于(「等于」于「码」于「八一」)于(「等于」于「码」于「八二」)则
        虑「等」者「等于」于「码」于「八一」而
        「预发」
          于「境」
          于(「预写整」
            于「甲」
            于(「串联」授以「网页指令」
              于(「列」【
                「预读槽」于「甲」,
                「预读槽」于「乙」,
                「列」【若「等」则「网页相等」否则「网页不等」】,
                「预读槽高」于「甲」,
                「预读槽高」于「乙」,
                「列」【若「等」则「网页相等」否则「网页不等」,
                若「等」则「网页按位与」否则「网页按位或」】
              】)))
      否则若「或者」于(「等于」于「码」于「一六七」)于(「等于」于「码」于「一七三」)则
        「预发」于「境」于(「预写槽高」于「甲」于(「列」【「网页常量」于「零」】))
      否则若「等于」于「码」于「一七二」则
        「预发」
          于「境」
          于(「预写槽高」
            于「甲」
            于(「附加」授以「网页指令」
              于(「预读槽」于「甲」)
              于(「列」【「网页常量」于「三一」,「网页有符号右移」】)))
      否则若「且」于(「不小于」于「码」于「一八八」)于(「不大于」于「码」于「一九一」)则
        「元」
      否则
        「预发」
          于「境」
          于(「附加」授以「网页指令」
            于(「预调接」
              于「境」
              于『预编_宽浮』
              于(「附加」授以「网页指令」于(「列」【「网页常量」于「码」】)于(「预栈针」于「境」)))
              于(「列」【「网页弃值」】))
    )
  而
  「预设深」于「境」于(「加」于(「减」于「深」于「弹」)于(「效」中「一」))
也。

「:文言:引用之令。汉语:引用指令:ref.null、ref.is_null、ref.func(函数引用字为 号×8+2)、ref.eq、ref.as_non_null、br_on_null、br_on_non_null。:」
「预引用令」乃化「预编境」而化「网页读取器」而化「整数」而「有」也。
「预引用令」者会「境」而会「读器」而会「码」而
  虑「深」者「预深」于「境」而
  虑「顶」者「预顶槽」于「境」于「零」而
  虑「顶一」者「预顶槽」于「境」于「一」而
  若「等于」于「码」于「二零八」则
    虑「无」者「预读有号」于「读器」而
    ((「预发」于「境」于(「预写整」于「顶」于(「列」【「网页常量」于「零」】)));
      「预设深」于「境」于(「加」于「深」于「一」))
  否则若「等于」于「码」于「二零九」则
    「预发」
      于「境」
      于(「预写整」于「顶一」于(「附加」授以「网页指令」于(「预读槽」于「顶一」)于(「列」【「网页为零」】)))
  否则若「等于」于「码」于「二一零」则
    虑「号」者「网页读自然」于「读器」而
    ((「预发」
      于「境」
      于(「预写整」于「顶」于(「列」【「网页常量」于(「加」于(「乘」于「号」于「八」)于「二」)】)));
      「预设深」于「境」于(「加」于「深」于「一」))
  否则若「等于」于「码」于「二一一」则
    虑「顶二」者「预顶槽」于「境」于「二」而
    ((「预发」
      于「境」
      于(「预写整」
        于「顶二」
        于(「串联」授以「网页指令」于(「列」【「预读槽」于「顶二」,「预读槽」于「顶一」,「列」【「网页相等」】】))));
      「预设深」于「境」于(「减」于「深」于「一」))
  否则若「等于」于「码」于「二一二」则
    「预发」
      于「境」
      于(「串联」授以「网页指令」
        于(「列」【
          「预读槽」于「顶一」,
          「列」【「网页为零」,「网页条件」于「零」】,
          「预致命令」于「境」于「一二九」,
          「列」【「网页结束」】
        】))
  否则若「等于」于「码」于「二一三」则
    虑「层」者「网页读自然」于「读器」而
    虑「条件」者
      「附加」授以「网页指令」
      于(「预读槽」于「顶一」)
      于(「列」【「网页为零」,「网页条件」于「零」】)而
      虑「无」者「预设深」于「境」于(「减」于「深」于「一」)而
      虑「分」者「预分支令」于「境」于「层」于「一」而
      虑「无」者「预设深」于「境」于「深」而
      「预发」于「境」于(「串联」授以「网页指令」于(「列」【「条件」,「分」,「列」【「网页结束」】】))
  否则
    虑「层」者「网页读自然」于「读器」而
    虑「条件」者
      「附加」授以「网页指令」
      于(「预读槽」于「顶一」)
      于(「列」【「网页条件」于「零」】)
    而
    虑「分」者「预分支令」于「境」于「层」于「一」而
    虑「无」者「预设深」于「境」于(「减」于「深」于「一」)而
    「预发」于「境」于(「串联」授以「网页指令」于(「列」【「条件」,「分」,「列」【「网页结束」】】))
也。

「:文言:内联之 i31:ref.i31 为左移一位而或一,i31.get_s 与 get_u 为右移一位(有号与无号),取前验空。汉语:i31 指令内联:ref.i31 是左移一位再或 1;i31.get_s、i31.get_u 分别是算术、逻辑右移一位,先检查空引用。:」
「预内联整三一」乃化「预编境」而化「整数」而「有」也。
「预内联整三一」者会「境」而会「子」而
  虑「槽」者「预顶槽」于「境」于「一」而
  若「等于」于「子」于「二八」则
    「预发」
      于「境」
      于(「预写整」
        于「槽」
        于(「附加」授以「网页指令」
          于(「预读槽」于「槽」)
          于(「列」【「网页常量」于「一」,「网页左移」,「网页常量」于「一」,「网页按位或」】)))
  否则
    「预发」
      于「境」
      于(「串联」授以「网页指令」
        于(「列」【
          「预读槽」于「槽」,
          「列」【「网页为零」,「网页条件」于「零」】,
          「预致命令」于「境」于「一二九」,
          「列」【「网页结束」】,
          「预写整」
            于「槽」
            于(「附加」授以「网页指令」
              于(「预读槽」于「槽」)
              于(「列」【
                「网页常量」于「一」,
                (若「等于」于「子」于「二九」则「网页有符号右移」否则「网页无符号右移」)
              】))
        】))
也。

「:文言:内联之 struct.get:非压缩之字段皆八字节之槽,径拷之;空则陷。汉语:struct.get 内联(非压缩字段一律是 8 字节槽,直接拷贝;对象为空则陷阱 129)。对象引用放到局部 2。:」
「预内联取字段」乃化「预编境」而化「整数」而「有」也。
「预内联取字段」者会「境」而会「字段」而
  虑「槽」者「预顶槽」于「境」于「一」而
  虑「偏」者「加」于「八」于(「乘」于「字段」于「八」)而
  「预发」
    于「境」
    于(「串联」授以「网页指令」
      于(「列」【
        「预读槽」于「槽」,
        「列」【
          「网页局部暂存」于「二」,
          「网页为零」,
          「网页条件」于「零」
        】,
        「预致命令」于「境」于「一二九」,
        「列」【「网页结束」】,
        「预写槽」于「槽」于(「列」【「网页局部读取」于「二」,「网页内存读四」于「二」于「偏」】),
        「预写槽高」
          于「槽」
          于(「列」【「网页局部读取」于「二」,「网页内存读四」于「二」于(「加」于「偏」于「四」)】)
      】))
也。

「:文言:内联之 array.get:类零、二者四字节,类一者八字节;验空与界。汉语:array.get 内联:元素类别 0(i32、f32)与 2(引用)是 4 字节,类别 1(i64、f64)是 8 字节;检查空引用(129)与下标越界(127,长度在对象 +8)。数组放在局部 2,下标放在局部 3。:」
「预内联取元素」乃化「预编境」而化「整数」而「有」也。
「预内联取元素」者会「境」而会「类」而
  虑「甲」者「预顶槽」于「境」于「二」而
  虑「乙」者「预顶槽」于「境」于「一」而
  虑「宽移」者(若「等于」于「类」于「一」则「三」否则「二」)而
  虑「无」者
    「预发」
      于「境」
      于(「串联」授以「网页指令」
        于(「列」【
          「预读槽」于「甲」,
          「列」【
            「网页局部暂存」于「二」,
            「网页为零」,
            「网页条件」于「零」
          】,
          「预致命令」于「境」于「一二九」,
          「列」【「网页结束」】,
          「预读槽」于「乙」,
          「列」【
            「网页局部暂存」于「三」,
            「网页局部读取」于「二」,
            「网页内存读四」于「二」于「八」,
            「网页无符号大等」,
            「网页条件」于「零」
          】,
          「预致命令」于「境」于「一二七」,
          「列」【
            「网页结束」,
            「网页局部读取」于「二」,
            「网页局部读取」于「三」,
            「网页常量」于「宽移」,
            「网页左移」,
            「网页加」,
            「网页局部写入」于「二」
          】,
          「预写槽」
            于「甲」
            于(「列」【「网页局部读取」于「二」,「网页内存读四」于「二」于「一六」】),
            「预写槽高」
              于「甲」
              于(
            若「等于」于「类」于「一」则
              「列」【「网页局部读取」于「二」,「网页内存读四」于「二」于「二零」】
            否则
              「列」【「网页常量」于「零」】)
        】))
  而
  「预设深」于「境」于(「减」于(「预深」于「境」)于「一」)
也。

「:文言:内联之 array.get_s 与 array.get_u(类三为字节、类四为半字):验空与界,径读而扩之。汉语:array.get_s/array.get_u 内联(元素类别 3 为 i8、4 为 i16):检查空引用(129)与下标越界(127,长度在对象 +8),按类别读 1 或 2 字节并作符号或零扩展。字符串与字节串都是 i8 数组,编译器逐字节处理它们,原先每个字节都要绕执行器的 GC 处理。数组放在局部 2,下标放在局部 3。:」
「预内联取窄元素」乃化「预编境」而化「整数」而化「爻」而「有」也。
「预内联取窄元素」者会「境」而会「类」而会「有号」而
  虑「甲」者「预顶槽」于「境」于「二」而
  虑「乙」者「预顶槽」于「境」于「一」而
  虑「宽移」者(若「等于」于「类」于「四」则「一」否则「零」)而
  虑「读令」者
    若「等于」于「类」于「四」则
      (若「有号」则「网页内存读十六有符号」于「一」于「一六」否则「网页内存读十六无符号」于「一」于「一六」)
    否则
      (若「有号」则「网页内存读八有符号」于「零」于「一六」否则「网页内存读八无符号」于「零」于「一六」)
  而
  虑「无」者
    「预发」
      于「境」
      于(「串联」授以「网页指令」
        于(「列」【
          「预读槽」于「甲」,
          「列」【
            「网页局部暂存」于「二」,
            「网页为零」,
            「网页条件」于「零」
          】,
          「预致命令」于「境」于「一二九」,
          「列」【「网页结束」】,
          「预读槽」于「乙」,
          「列」【
            「网页局部暂存」于「三」,
            「网页局部读取」于「二」,
            「网页内存读四」于「二」于「八」,
            「网页无符号大等」,
            「网页条件」于「零」
          】,
          「预致命令」于「境」于「一二七」,
          「列」【
            「网页结束」,
            「网页局部读取」于「二」,
            「网页局部读取」于「三」,
            「网页常量」于「宽移」,
            「网页左移」,
            「网页加」,
            「网页局部写入」于「二」
          】,
          「预写整」于「甲」于(「列」【「网页局部读取」于「二」,「读令」】)
        】))
  而
  「预设深」于「境」于(「减」于(「预深」于「境」)于「一」)
也。

「:文言:内联之 array.set:诸类皆径写;验空与界。汉语:array.set 内联:检查空引用(129)与下标越界(127),按元素类别写入:类别 0 与 2 写 4 字节,类别 1 写 8 字节(低字、高字),类别 3 写 1 字节,类别 4 写 2 字节。引用不需要写屏障(回收器既不移动对象也不分代)。数组放在局部 2,下标放在局部 3。:」
「预内联设元素」乃化「预编境」而化「整数」而「有」也。
「预内联设元素」者会「境」而会「类」而
  虑「甲」者「预顶槽」于「境」于「三」而
  虑「乙」者「预顶槽」于「境」于「二」而
  虑「丙」者「预顶槽」于「境」于「一」而
  虑「宽移」者
    若「等于」于「类」于「一」则「三」
    否则
      若「等于」于「类」于「三」则「零」
      否则
        若「等于」于「类」于「四」则「一」否则「二」
  而
  虑「写令们」者
    若「等于」于「类」于「一」则
      「串联」授以「网页指令」于(「列」【
        「列」【「网页局部读取」于「二」】,
        「预读槽」于「丙」,
        「列」【「网页内存写四」于「二」于「一六」,「网页局部读取」于「二」】,
        「预读槽高」于「丙」,
        「列」【「网页内存写四」于「二」于「二零」】
      】)
    否则
      「串联」授以「网页指令」于(「列」【
        「列」【「网页局部读取」于「二」】,
        「预读槽」于「丙」,
        「列」【
          若「等于」于「类」于「三」则「网页内存写八」于「零」于「一六」否则
            若「等于」于「类」于「四」则「网页内存写十六」于「一」于「一六」否则「网页内存写四」
              于「二」于「一六」
        】
      】)
  而
  虑「无」者
    「预发」
      于「境」
      于(「串联」授以「网页指令」
        于(「列」【
          「预读槽」于「甲」,
          「列」【
            「网页局部暂存」于「二」,
            「网页为零」,
            「网页条件」于「零」
          】,
          「预致命令」于「境」于「一二九」,
          「列」【「网页结束」】,
          「预读槽」于「乙」,
          「列」【
            「网页局部暂存」于「三」,
            「网页局部读取」于「二」,
            「网页内存读四」于「二」于「八」,
            「网页无符号大等」,
            「网页条件」于「零」
          】,
          「预致命令」于「境」于「一二七」,
          「列」【
            「网页结束」,
            「网页局部读取」于「二」,
            「网页局部读取」于「三」,
            「网页常量」于「宽移」,
            「网页左移」,
            「网页加」,
            「网页局部写入」于「二」
          】,
          「写令们」
        】))
  而
  「预设深」于「境」于(「减」于(「预深」于「境」)于「三」)
也。

「:文言:内联之 array.len:验空,读长。汉语:array.len 内联:检查空引用(129),读对象 +8 处的长度。:」
「预内联数组长」乃化「预编境」而「有」也。
「预内联数组长」者会「境」而
  虑「槽」者「预顶槽」于「境」于「一」而
  「预发」
    于「境」
    于(「串联」授以「网页指令」
      于(「列」【
        「预读槽」于「槽」,
        「列」【
          「网页局部暂存」于「二」,
          「网页为零」,
          「网页条件」于「零」
        】,
        「预致命令」于「境」于「一二九」,
        「列」【「网页结束」】,
        「预写整」于「槽」于(「列」【「网页局部读取」于「二」,「网页内存读四」于「二」于「八」】)
      】))
也。

「:文言:抽象类型之属:非空之值在局部二;any 为非函数引用,eq 为 i31 或八字节对齐之对象,i31 为末位一,func 为末三位二,extern 恒是,struct、array 须为对象而头之种合。返写结果之令:属则执「是令」,否则执「否令」。汉语:抽象堆类型的归属判定(值非空,已放在局部 2),与执行器 抽象类型属于 一致:any 为非函数引用,eq 为 i31 或 8 字节对齐的对象,i31 为最低位是 1,func 为低三位是 2,extern 恒为是,struct、array 须是对象且对象头的种类相符(先判对齐再读头)。生成“属于就执行 是令,否则执行 否令”的指令。:」
「预抽象可内联」乃化「整数」而「爻」也。
「预抽象可内联」者会「堆型」而
  「且」于(「不大于」于「堆型」于(「减」于「零」于「一六」))
  于(「不小于」于「堆型」于(「减」于「零」于「二二」))
也。

「预抽象判令」乃
  化「整数」而
  化(「列」于「网页指令」)而
  化(「列」于「网页指令」)而
  (「列」于「网页指令」)
也。
「预抽象判令」者会「堆型」而会「是令」而会「否令」而
  虑「分支」者
    ((化(「列」于「网页指令」)而(「列」于「网页指令」))也
    (会「条件令」而
      「串联」授以「网页指令」
      于(「列」【
        「条件令」,
        「列」【「网页条件」于「零」】,
        「是令」,
        「列」【「网页否则」】,
        「否令」,
        「列」【「网页结束」】
      】))
    )
  而
  若「等于」于「堆型」于(「减」于「零」于「一八」)则
    「分支」于(「列」【
      「网页局部读取」于「二」,
      「网页常量」于「七」,
      「网页按位与」,
      「网页常量」于「二」,
      「网页不等」
    】)
  否则若「等于」于「堆型」于(「减」于「零」于「一九」)则
    「分支」
      于(「列」【
        「网页局部读取」于「二」,
        「网页常量」于「一」,
        「网页按位与」,
        「网页局部读取」于「二」,
        「网页常量」于「七」,
        「网页按位与」,
        「网页为零」,
        「网页按位或」
      】)
  否则若「等于」于「堆型」于(「减」于「零」于「二零」)则
    「分支」于(「列」【「网页局部读取」于「二」,「网页常量」于「一」,「网页按位与」】)
  否则若「等于」于「堆型」于(「减」于「零」于「一六」)则
    「分支」于(「列」【
      「网页局部读取」于「二」,
      「网页常量」于「七」,
      「网页按位与」,
      「网页常量」于「二」,
      「网页相等」
    】)
  否则若「等于」于「堆型」于(「减」于「零」于「一七」)则
    「是令」
  否则
    虑「种」者
      (若「等于」于「堆型」于(「减」于「零」于「二一」)则「一」否则「二」)
    而
    「串联」授以「网页指令」
    于(「列」【
      「列」【
        「网页局部读取」于「二」,
        「网页常量」于「七」,
        「网页按位与」,
        「网页为零」,
        「网页条件」于「零」
      】,
      「分支」于(「列」【
        「网页局部读取」于「二」,
        「网页内存读四」于「二」于「零」,
        「网页常量」于「二四」,
        「网页无符号右移」,
        「网页常量」于「七」,
        「网页按位与」,
        「网页常量」于「种」,
        「网页相等」
      】),
      「列」【「网页否则」】,
      「否令」,
      「列」【「网页结束」】
    】)
也。

「:文言:内联之 ref.test 与 ref.cast:具体类型者,先验对象头之类型号(兼实例号为零)恰等;不等或为抽象类型、或非对象,乃呼执行器。汉语:ref.test/ref.cast 内联快路径:目标是具体类型(堆类型号 ≥ 0)且栈顶是堆对象(非空、8 字节对齐)时,对象头低 24 位(类型号加实例号,主实例为 0)恰好等于目标类型号就直接通过;否则(子类型、抽象类型、i31、空)交给执行器的完整判定。:」
「预内联测转」乃化「预编境」而化「整数」而化「整数」而化「整数」而「有」也。
「预内联测转」者会「境」而会「子」而会「址」而会「堆型」而
  虑「槽」者「预顶槽」于「境」于「一」而
  虑「慢」者
    「附加」授以「网页指令」
    于(「预调接」
      于「境」
      于『预编_GC』
      于(「串联」授以「网页指令」
        于(「列」【「列」【「网页常量」于「子」】,「预模址」于「址」,「预栈针」于「境」】)))
        于(「列」【「网页弃值」】)
  而
  若「预抽象可内联」于「堆型」则
    虑「可空」者
      「或者」于(「等于」于「子」于「二一」)于(「等于」于「子」于「二三」)
    而
    「预发」
      于「境」
      于(「串联」授以「网页指令」
        于(「列」【
          「预读槽」于「槽」,
          「列」【
            「网页局部暂存」于「二」,
            「网页为零」,
            「网页条件」于「零」
          】,
          (
            若「小于」于「子」于「二二」则
              「预写整」
                于「槽」
                于(「列」【「网页常量」于(
                  若「可空」则「一」否则「零」)】)
            否则若「可空」则
              「罄」授以「网页指令」
            否则
              「预致命令」于「境」于「一三五」
          ),
          「列」【「网页否则」】,
          (
            若「小于」于「子」于「二二」则
              「预抽象判令」
                于「堆型」
                于(「预写整」于「槽」于(「列」【「网页常量」于「一」】))
                于(「预写整」于「槽」于(「列」【「网页常量」于「零」】))
            否则
              「预抽象判令」
                于「堆型」
                于(「罄」授以「网页指令」)
                于(「预致命令」于「境」于「一三五」)
          ),
          「列」【「网页结束」】
        】))
  否则若「小于」于「堆型」于「零」则
    「预发」于「境」于「慢」
  否则
    虑「快」者
      (若「小于」于「子」于「二二」则「预写整」于「槽」于(「列」【「网页常量」于「一」】)
        否则
          「罄」授以「网页指令」)
    而
    「预发」
      于「境」
      于(「串联」授以「网页指令」
        于(「列」【
          「预读槽」于「槽」,
          「列」【
            「网页局部暂存」于「二」,
            「网页常量」于「七」,
            「网页按位与」,
            「网页为零」,
            「网页局部读取」于「二」,
            「网页为零」,
            「网页为零」,
            「网页按位与」,
            「网页条件」于「零」,
            「网页局部读取」于「二」,
            「网页内存读四」于「二」于「零」,
            「网页常量」于「一六七七七二一五」,
            「网页按位与」,
            「网页常量」于「堆型」,
            「网页相等」,
            「网页条件」于「零」
          】,
          「快」,
          「列」【「网页否则」】,
          「慢」,
          「列」【「网页结束」,「网页否则」】,
          「慢」,
          「列」【「网页结束」】
        】))
也。

「:文言:GC 之令:呼执行器之处理,携子码之后之址;栈效依子码与立即数。br_on_cast 系则自行分支。汉语:GC 指令(0xFB 前缀):除 br_on_cast 与 br_on_cast_fail 外,一律调用执行器的 GC 处理(子码、子码之后的立即数地址、栈针);栈效果按子码与立即数(结构字段数、固定数组长度)计算。br_on_cast 系列用 预编_属于 判定后自行分支。:」
「预GC令」乃化「预编境」而化「网页读取器」而「有」也。
「预GC令」者会「境」而会「读器」而
  虑「模」者「境」中「八」而
  虑「子」者「网页读自然」于「读器」而
  虑「址」者「预位」于「读器」而
  虑「深」者「预深」于「境」而
  若「或者」于(「等于」于「子」于「二四」)于(「等于」于「子」于「二五」)则
    虑「标」者「网页读字节」于「读器」而
    虑「层」者「网页读自然」于「读器」而
    虑「型一」者「预读有号」于「读器」而
    虑「型二」者「预读有号」于「读器」而
    虑「可空」者
      (若「不小于」于(「整数余数」于「标」于「四」)于「二」则「一」否则「零」)
    而
    虑「判」者
      「预调接」
        于「境」
        于『预编_属于』
        于(「附加」授以「网页指令」
          于(「预读槽」于(「预顶槽」于「境」于「一」))
          于(「列」【「网页常量」于「型二」,「网页常量」于「可空」】))
    而
    「预发」
      于「境」
      于(「串联」授以「网页指令」
        于(「列」【
          「判」,
          (若「等于」于「子」于「二五」则「列」【「网页为零」】否则「罄」授以「网页指令」),
          「列」【「网页条件」于「零」】,
          「预分支令」于「境」于「层」于「一」,
          「列」【「网页结束」】
        】))
  否则若「或者」
    于(「等于」于「子」于「二八」)
    于(「或者」于(「等于」于「子」于「二九」)于(「等于」于「子」于「三零」))则
    「预内联整三一」于「境」于「子」
  否则若「等于」于「子」于「二」则
    虑「型号」者「网页读自然」于「读器」而
    虑「字段」者「网页读自然」于「读器」而
    「预内联取字段」于「境」于「字段」
  否则若「等于」于「子」于「一一」则
    虑「型号」者「网页读自然」于「读器」而
    虑「类」者
      (「读数组引用」授以「预编型」于(「模」中「零」)于「型号」)中「一」
    而
    若「或者」于(「等于」于「类」于「零」)于(「或者」于(「等于」于「类」于「一」)于(「等于」于「类」于「二」))则
      「预内联取元素」于「境」于「类」
    否则
      ((「预发」
        于「境」
        于(「附加」授以「网页指令」
          于(「预调接」
            于「境」
            于『预编_GC』
            于(「串联」授以「网页指令」
              于(「列」【「列」【「网页常量」于「子」】,「预模址」于「址」,「预栈针」于「境」】)))
              于(「列」【「网页弃值」】)));
        「预设深」于「境」于(「减」于「深」于「一」))
  否则若「或者」于(「等于」于「子」于「一二」)于(「等于」于「子」于「一三」)则
    虑「型号」者「网页读自然」于「读器」而
    虑「类」者
      (「读数组引用」授以「预编型」于(「模」中「零」)于「型号」)中「一」
    而
    若「或者」于(「等于」于「类」于「三」)于(「等于」于「类」于「四」)则
      「预内联取窄元素」于「境」于「类」于(「等于」于「子」于「一二」)
    否则
      ((「预发」
        于「境」
        于(「附加」授以「网页指令」
          于(「预调接」
            于「境」
            于『预编_GC』
            于(「串联」授以「网页指令」
              于(「列」【「列」【「网页常量」于「子」】,「预模址」于「址」,「预栈针」于「境」】)))
              于(「列」【「网页弃值」】)));
        「预设深」于「境」于(「减」于「深」于「一」))
  否则若「等于」于「子」于「一四」则
    虑「型号」者「网页读自然」于「读器」而
    「预内联设元素」于「境」于((「读数组引用」授以「预编型」于(「模」中「零」)于「型号」)中「一」)
  否则若「等于」于「子」于「一五」则
    「预内联数组长」于「境」
  否则若「且」于(「不小于」于「子」于「二零」)于(「不大于」于「子」于「二三」)则
    虑「堆型」者「预读有号」于「读器」而
    「预内联测转」于「境」于「子」于「址」于「堆型」
  否则
    虑「效」者
      (
        若「等于」于「子」于「零」则
          (「读数组引用」授以「预编型」于(「模」中「零」)于(「网页读自然」于「读器」))中「一」与「一」
        否则若「等于」于「子」于「一」则
          ((「网页读自然」于「读器」);
            (「零」与「一」))
        否则若「且」于(「不小于」于「子」于「二」)于(「不大于」于「子」于「四」)则
          ((「预跳号们」于「读器」于「二」);
            (「一」与「一」))
        否则若「等于」于「子」于「五」则
          ((「预跳号们」于「读器」于「二」);
            (「二」与「零」))
        否则若「等于」于「子」于「六」则
          ((「网页读自然」于「读器」);
            (「二」与「一」))
        否则若「等于」于「子」于「七」则
          ((「网页读自然」于「读器」);
            (「一」与「一」))
        否则若「等于」于「子」于「八」则
          ((「网页读自然」于「读器」);
            ((「网页读自然」于「读器」)与「一」))
        否则若「或者」于(「等于」于「子」于「九」)于(「等于」于「子」于「一零」)则
          ((「预跳号们」于「读器」于「二」);
            (「二」与「一」))
        否则若「且」于(「不小于」于「子」于「一一」)于(「不大于」于「子」于「一三」)则
          ((「网页读自然」于「读器」);
            (「二」与「一」))
        否则若「等于」于「子」于「一四」则
          ((「网页读自然」于「读器」);
            (「三」与「零」))
        否则若「等于」于「子」于「一五」则
          「一」与「一」
        否则若「等于」于「子」于「一六」则
          ((「网页读自然」于「读器」);
            (「四」与「零」))
        否则若「等于」于「子」于「一七」则
          ((「预跳号们」于「读器」于「二」);
            (「五」与「零」))
        否则若「或者」于(「等于」于「子」于「一八」)于(「等于」于「子」于「一九」)则
          ((「预跳号们」于「读器」于「二」);
            (「四」与「零」))
        否则若「且」于(「不小于」于「子」于「二零」)于(「不大于」于「子」于「二三」)则
          ((「预读有号」于「读器」);
            (「一」与「一」))
        否则
          「一」与「一」
      )
    而
    虑「无」者
      「预发」
        于「境」
        于(「附加」授以「网页指令」
          于(「预调接」
            于「境」
            于『预编_GC』
            于(「串联」授以「网页指令」
              于(「列」【「列」【「网页常量」于「子」】,「预模址」于「址」,「预栈针」于「境」】)))
              于(「列」【「网页弃值」】))
    而
    「预设深」于「境」于(「加」于(「减」于「深」于(「效」中「零」))于(「效」中「一」))
也。

「:文言:杂项之令(FC):呼执行器。汉语:0xFC 杂项指令(饱和截断、批量内存与表操作):调用执行器的杂项处理。:」
「预杂令」乃化「预编境」而化「网页读取器」而「有」也。
「预杂令」者会「境」而会「读器」而
  虑「子」者「网页读自然」于「读器」而
  虑「址」者「预位」于「读器」而
  虑「深」者「预深」于「境」而
  虑「无」者「预跳杂立」于「读器」于「子」而
  虑「效」者
    (
      若「不大于」于「子」于「七」则「一」与「一」
      否则若「或者」于(「等于」于「子」于「九」)于(「等于」于「子」于「一三」)则「零」与「零」
      否则若「等于」于「子」于「一五」则「二」与「一」
      否则若「等于」于「子」于「一六」则「零」与「一」
      否则
        「三」与「零」
    )
  而
  虑「无」者
    「预发」
      于「境」
      于(「附加」授以「网页指令」
        于(「预调接」
          于「境」
          于『预编_杂项』
          于(「串联」授以「网页指令」
            于(「列」【「列」【「网页常量」于「子」】,「预模址」于「址」,「预栈针」于「境」】)))
            于(「列」【「网页弃值」】))
  而
  「预设深」于「境」于(「加」于(「减」于「深」于(「效」中「零」))于(「效」中「一」))
也。

「:文言:一令之转:结构之令另处;死码唯跳其立即数。汉语:转译一条指令:结构指令另行处理;死码里只读掉立即数。:」
「预一令」乃化「预编境」而化「网页读取器」而「有」也。
「预一令」者会「境」而会「读器」而
  虑「码」者「网页读字节」于「读器」而
  若「或者」
    于(「且」于(「不小于」于「码」于「二」)于(「不大于」于「码」于「五」))
    于(「或者」于(「等于」于「码」于「一一」)于(「等于」于「码」于「三一」))则
      「预结构令」于「境」于「读器」于「码」
  否则若「预死」于「境」则
    「预跳立」于(「境」中「八」)于「读器」于「码」
  否则若「或者」
    于(「不大于」于「码」于「一」)
    于(「或者」
      于(「且」于(「不小于」于「码」于「八」)于(「不大于」于「码」于「二一」))
      于(「且」于(「不小于」于「码」于「二六」)于(「不大于」于「码」于「二八」)))则
        「预控制令」于「境」于「读器」于「码」
  否则若「且」于(「不小于」于「码」于「三二」)于(「不大于」于「码」于「三八」)则
    「预变量令」于「境」于「读器」于「码」
  否则若「且」于(「不小于」于「码」于「四零」)于(「不大于」于「码」于「六四」)则
    「预访存令」于「境」于「读器」于「码」
  否则若「且」于(「不小于」于「码」于「六五」)于(「不大于」于「码」于「六八」)则
    「预常量令」于「境」于「读器」于「码」
  否则若「且」于(「不小于」于「码」于「六九」)于(「不大于」于「码」于「一九六」)则
    「预数令」于「境」于「码」
  否则若「且」于(「不小于」于「码」于「二零八」)于(「不大于」于「码」于「二一四」)则
    「预引用令」于「境」于「读器」于「码」
  否则若「等于」于「码」于「二五一」则
    「预GC令」于「境」于「读器」
  否则若「等于」于「码」于「二五二」则
    「预杂令」于「境」于「读器」
  否则
    「发生事故」于(『预编:不支持的指令 0x』附(「整数表示」于「码」))
也。

「预逐令」乃化「预编境」而化「网页读取器」而化「整数」而「有」也。
「预逐令」者会「境」而会「读器」而会「止」而
  若「不小于」于(「预位」于「读器」)于「止」则
    「元」
  否则
    ((「预一令」于「境」于「读器」);
      「预逐令」于「境」于「读器」于「止」)
也。

「:文言:转一函数:序言验值栈之余量、清局部、取模块之起;体;终。汉语:转译一个客体函数,得到整数 Wasm 函数(签名号 签号、局部 3 个:模块起址、暂存甲、暂存乙):序言检查值栈余量(帧 + 8×(基+最大深度+4) 不得超过值栈上限,超过则报值栈溢出)、把声明的局部变量清零、读取模块起址;然后是函数体。:」
「预转函数」乃
  化「预编模块」而
  化「字节串」而
  化「预编体」而
  化「整数」而
  化(「列」于(「字符串」合「整数」))而
  化「整数」而
  化「整数」而
  「网页函数」
也。
「预转函数」者会「模」而会「串」而会「体」而会「函号」而会「接们」而会「转起」而会「签号」而
  虑「签」者「预函签」于「模」于「函号」而
  虑「参数数」者「签」中「零」而
  虑「局数」者「体」中「二」而
  虑「基」者「加」于「参数数」于「局数」而
  虑「境」者
    (「新引用」授以(「列」于(「列」于「网页指令」))于(「罄」授以(「列」于「网页指令」)))
      与(「新引用」授以「整数」于「零」)
        与(「新引用」授以「整数」于「零」)
  与(「新引用」授以(「列」于「预编控」)
  于(「列」【(「四」与「零」与「零」与(「签」中「一」)与「零」与(「罄」授以(「整数」合「整数」合「整数」)))】))
    与(「新引用」授以「整数」于「零」)
      与(「新引用」授以「整数」于「零」)
        与「基」
          与「接们」
            与「模」
              与「转起」
  而
  虑「读器」者
    (「串」与(「新引用」授以「整数」于(「体」中「零」))与(「体」中「一」))而
    虑「无」者「预逐令」于「境」于「读器」于(「体」中「一」)而
    虑「体令」者
      「串联」授以「网页指令」
      于(「反转」授以(「列」于「网页指令」)
      于(「读引用」授以(「列」于(「列」于「网页指令」))于(「境」中「零」)))
    而
    虑「最大」者「读引用」授以「整数」于(「境」中「二」)而
    虑「序言」者
      「串联」授以「网页指令」于(「列」【
        「预槽址」于(「加」于(「加」于「基」于「最大」)于「四」),
        「列」【
          「网页常量」于「预编_值栈限格」,
          「网页内存读四」于「二」于「零」,
          「网页无符号大于」,
          「网页条件」于「零」
        】,
        「预调接」于「境」于『预编_栈溢出』于(「列」【「网页常量」于「零」】),
        「列」【「网页弃值」】,
        「列」【「网页结束」】,
        (
          若「大于」于「局数」于「零」则
            「串联」授以「网页指令」于(「列」【
              「预槽址」于「参数数」,
              「列」【
                「网页常量」于「零」,
                「网页常量」于(「乘」于「局数」于「八」),
                「网页内存填充令」于「零」
              】
            】)
          否则
            「罄」授以「网页指令」
        ),
        「列」【
          「网页常量」于「预编_模块址格」,
          「网页内存读四」于「二」于「零」,
          「网页局部写入」于「一」
        】
      】)
    而
    「签号」与「三」与(「串联」授以「网页指令」于(「列」【「序言」,「体令」,「列」【「网页常量」于「零」】】))
也。

「:文言:派发之树:号在局部一,帧在局部零;叶则调用而即返(降级化为尾跳),导入则经调用导入。汉语:预编派发(帧 = 局部 0,号 = 局部 1):二分比较号,叶子上“调用该转译函数后立即返回”(降级成尾跳);号是导入函数时经 预编_调用导入(栈针 = 帧 + 8×参数数)后返回。:」
「预派发树」乃
  化「预编模块」而
  化「整数」而
  化「整数」而
  化「整数」而
  化「整数」而
  「列」于「网页指令」
也。
「预派发树」者会「模」而会「转起」而会「导入号」而会「起」而会「止」而
  若「不大于」于(「减」于「止」于「起」)于「一」则
    若「小于」于「起」于(「模」中「三」)则
      「列」【
        「网页常量」于「起」,
        「网页局部读取」于「零」,
        「网页常量」于(「乘」于((「预函签」于「模」于「起」)中「零」)于「八」),
        「网页加」,
        「网页调用」于「导入号」,
        「网页返回」
      】
    否则
      「列」【
        「网页局部读取」于「零」,
        「网页调用」于(「加」于「转起」于(「减」于「起」于(「模」中「三」))),
        「网页返回」
      】
  否则
    虑「中」者「除以」于(「加」于「起」于「止」)于「二」而
    「串联」授以「网页指令」于(「列」【
      「列」【
        「网页局部读取」于「一」,
        「网页常量」于「中」,
        「网页无符号小于」,
        「网页条件」于「零」
      】,
      「预派发树」于「模」于「转起」于「导入号」于「起」于「中」,
      「列」【「网页否则」】,
      「预派发树」于「模」于「转起」于「导入号」于「中」于「止」,
      「列」【「网页结束」】
    】)
也。

「预找导出」乃化(「列」于「网页导出」)而化「字符串」而「整数」也。
「预找导出」者会「们」而会「名」而
  鉴「们」而
    有「罄」则「发生事故」授以「整数」
    于(『预编:执行器没有导出 』附「名」)
    或有「缀」于「首」于「余」则
      (若「串相等」于(「首」中「零」)于「名」则「首」中「一」否则「预找导出」于「余」于「名」)
也。

「:文言:并入:客体诸函数转译之,附于执行器之后;派发与可用之体易之;增一签名(一参数无结果)。汉语:把客体模块预编并入执行器状态模块:客体每个定义函数转译后追加到执行器函数之后;执行器导出的 预编派发 换成真正的派发树,预编可用 换成返回 1;签名表追加“1 个参数、0 个结果”。返回新的状态模块。:」
「预编并入」乃化「网页状态模块」而化「字节串」而「网页状态模块」也。
「预编并入」者会「状」而会「串」而
  虑「模」者「预编解析」于「串」而
  虑「存」者「状」中「零」而
  虑「执」者「存」中「零」而
  虑「签们」者「执」中「零」而
  虑「导入们」者「执」中「一」而
  虑「函们」者「执」中「二」而
  虑「导出们」者「执」中「三」而
  虑「导入数」者「长度」授以「网页导入」于「导入们」而
  虑「转起」者「加」于「导入数」于(「长度」授以「网页函数」于「函们」)而
  虑「客导入数」者「模」中「三」而
  虑「客定义数」者「减」于(「模」中「二」)于「客导入数」而
  虑「名表」者
    「新数组引用」授以「字节串」
    于「机器空串」
    于(若「大于」于「客定义数」于「零」则「客定义数」否则「一」)
  而
  虑「无」者
    「态射」授以(「整数」合「字节串」)授以「有」
      于(「预读客体名们」于「串」)
      于(会「项」
  而
  虑「序」者「减」于(「项」中「零」)于「客导入数」而
  若「且」于(「不小于」于「序」于「零」)于(「小于」于「序」于「客定义数」)则
    「写数组引用」授以「字节串」于「名表」于「序」于(「项」中「一」)
  否则
    「元」
      )
  而
  虑「无」者
    「写引用」授以(「整数」合「整数」合(「数组引用类」于「字节串」))
    于「预编名旁路」
    于(「转起」与「客定义数」与「名表」)
  而
  虑「签号」者「长度」授以「网页签名」于「签们」而
  虑「接们」者「导出们」而
  虑「派发号」者「预找导出」于「导出们」于『预编派发』而
  虑「可用号」者「预找导出」于「导出们」于『预编可用』而
  虑「调入号」者「预找导出」于「导出们」于『预编_调用导入』而
  虑「致命号」者「预找导出」于「导出们」于『预编_致命』而
  虑「转们」者
    「态射序号」授以「预编体」授以「网页函数」
    于(会「序」而会「体」而
      「预转函数」于「模」于「串」于「体」于(「加」于(「模」中「三」)于「序」)于「接们」于「转起」于「签号」
    )
    于(「模」中「五」)
  而
  虑「派发体」者
    「串联」授以「网页指令」于(「列」【
      「列」【
        「网页局部读取」于「一」,
        「网页常量」于(「模」中「二」),
        「网页无符号大等」,
        「网页条件」于「零」,
        「网页常量」于「一二四」,
        「网页调用」于「致命号」,
        「网页弃值」,
        「网页陷阱」,
        「网页结束」
      】,
      「预派发树」于「模」于「转起」于「调入号」于「零」于(「模」中「二」),
      「列」【「网页陷阱」】
    】)
  而
  虑「新函们」者
    「态射序号」授以「网页函数」授以「网页函数」
    于(会「序」而会「函」而
      若「等于」于(「加」于「导入数」于「序」)于「派发号」则
        (「函」中「零」)与「零」与「派发体」
      否则若「等于」于(「加」于「导入数」于「序」)于「可用号」则
        (「函」中「零」)与「零」与(「列」【「网页常量」于「一」】)
      否则
        「函」
    )
    于「函们」
  而
  虑「新执」者
    (「附加」授以「网页签名」于「签们」于(「列」【「一」与「一」】))
      与「导入们」
        与(「附加」授以「网页函数」于「新函们」于「转们」)
          与(「附加」授以「网页导出」于「导出们」于(「列」【『预编起号』与「转起」】))
  而
  (「新执」与(「存」中「一」)与(「存」中「二」))与(「状」中「一」)
也。