寻观「标准库」之书。
寻观「编译器核心」之「网页汇编核心」之「回收模块」之书。

「：文言：顶以值授，退则自复；此基由试旗启用。汉语：64 MiB 原型运行时。reserve 只增长容量并返回下一栈顶，不修改全局栈顶；调用者负责初始化、传递标记及证明生命周期。仅存放原生数值，不存放 GC 引用。容量失败返回 -1，由调用者转入 GC 后备。由统一生成器的实验开关启用，默认关闭。：」
「：文言：顶以值传，无全局栈顶；诸项以回收之结构直书之，一内存、一全局、四函数，令令与旧文相同。汉语：封闭无宿主重入的原型，每次重新初始化内容；容量保留。模块项直接构造成 WasmGC 结构化表示：一个内存、一个全局与四个函数，逐条指令与原先的 WAT 文本相同。：」
「线性栈基础」乃「回收项串」也。
「线性栈基础」者
  「：文言：败则返负一。汉语：if i32.const -1 return end：失败时返回 -1。：」
  虑「败返」者
    （「列」于「回收指令」也（「列」【
      「回收若」于『』于「回收块无果」，
      「回收整三二常」于（「减」于「零」于「一」），
      「回收返回」，
      「回收结束」
    】））
  而
  「：文言：验位于界内，乃算其址。汉语：检查索引小于数组长度，越界时调用 $stack_bad 后陷入；再算出元素地址（不含 8 字节头）。：」
  虑「界址」者
    （「列」于「回收指令」也（「列」【
      「回收局部取」于『$i』，
      「回收局部取」于『$p』，
      「回收整三二读」于「零」，
      「回收整三二无符号大等」，
      「回收若」于『』于「回收块无果」，
      「回收调用」于『$stack_bad』，
      「回收弃」，
      「回收不可达」，
      「回收结束」，
      「回收局部取」于『$p』，
      「回收局部取」于『$i』，
      「回收整三二常」于「三」，
      「回收整三二左移」，
      「回收整三二加」
    】））
  而
  「回收项列」
    于（「列」【
      「回收内存项」于『$stack』于「零」于（「可有」于「一零二四」），
      「回收全局项」
        于『$stack_error』
        于（「回收名引用」于『$ints』）于「阴」
        于（「回收单令」于（「回收数组新定」于『$ints』于「零」）），
        「回收函数项」
          于『$stack_bad』
          于（「回收型内联」于（「罄」授以「回收值型」）于（「列」【「回收整六四」】））
          于（「罄」授以「字符串」）
          于（「罄」授以「回收局部」）
          于（「回收令列」
            于（「列」【「回收全局取」于『$stack_error』，「回收整三二常」于「零」，「回收数组取」于『$ints』】）），
            「回收函数项」
              于『$lin_get』
              于（「回收型内联」于（「列」【「回收整三二」，「回收整三二」】）于（「列」【「回收整六四」】））
              于（「列」【『$p』，『$i』】）
              于（「罄」授以「回收局部」）
              于（「回收串并」于（「列」【「回收令列」于「界址」，「回收单令」于（「回收整六四读」于「八」）】）），
              「回收函数项」
                于『$lin_set』
                于（「回收型内联」
                  于（「列」【「回收整三二」，「回收整三二」，「回收整六四」】）
                  于（「罄」授以「回收值型」））
                  于（「列」【『$p』，『$i』，『$v』】）
                  于（「罄」授以「回收局部」）
                  于（「回收串并」
                    于（「列」【
                      「回收令列」于「界址」，
                      「回收令列」于（「列」【「回收局部取」于『$v』，「回收整六四存」于「八」】）
                    】）），
                    「回收函数项」
                      于『$reserve』
                      于（「回收型内联」于（「列」【「回收整三二」，「回收整六四」】）于（「列」【「回收整三二」】））
                      于（「列」【『$sp』，『$n』】）
                      于（「列」【『$end』与「回收整六四」，『$pages』与「回收整三二」】）
                      于（「回收串并」
                        于（「列」【
                          「回收令列」于（「列」【
                            「回收局部取」于『$n』，
                            「回收整六四常」于「零」，
                            「回收整六四有符号小于」
                          】），
                          「回收令列」于「败返」，
                          「回收令列」于（「列」【
                            「回收局部取」于『$n』，
                            「回收整六四常」于「八三八八六零七」，
                            「回收整六四无符号大于」
                          】），
                          「回收令列」于「败返」，
                          「回收令列」于（「列」【
                            「回收局部取」于『$sp』，
                            「回收整三二常」于「七」，
                            「回收整三二与」
                          】），
                          「回收令列」于「败返」，
                          「回收令列」于（「列」【
                            「回收局部取」于『$sp』，
                            「回收整三二无符号扩六四」，
                            「回收局部取」于『$n』，
                            「回收整六四常」于「八」，
                            「回收整六四乘」，
                            「回收整六四加」，
                            「回收整六四常」于「八」，
                            「回收整六四加」，
                            「回收局部暂存」于『$end』，
                            「回收整六四常」于「六七一零八八六四」，
                            「回收整六四无符号大于」
                          】），
                          「回收令列」于「败返」，
                          「回收令列」于（「列」【
                            「回收局部取」于『$end』，
                            「回收整六四截三二」，
                            「回收整三二常」于「六五五三五」，
                            「回收整三二加」，
                            「回收整三二常」于「一六」，
                            「回收整三二无符号右移」，
                            「回收局部存」于『$pages』，
                            「回收局部取」于『$pages』，
                            「回收内存大小」，
                            「回收整三二无符号大于」，
                            「回收若」于『』于「回收块无果」，
                            「回收局部取」于『$pages』，
                            「回收内存大小」，
                            「回收整三二减」，
                            「回收内存增长」，
                            「回收整三二常」于（「减」于「零」于「一」），
                            「回收整三二相等」
                          】），
                          「回收令列」于「败返」，
                          「回收令列」于（「列」【「回收结束」，「回收局部取」于『$end』，「回收整六四截三二」】）
                        】））
    】）
也。
