载入元素
公开化「整数」而化「整数」而化「爻」而化「整数」而「有」文言：客体之对象：结构、数组、引用之转，及常量式之求值。汉语：GC 指令（0xFB 前缀）：结构体与数组的创建与访问、引用类型测试与转换、i31 引用；以及常量表达式求值。数据槽统一为 8 字节；元素类别：0 四字节数值、1 八字节数值、2 引用、3 字节、4 半字。 文言：元素之载与存。汉语：数组元素的载入（可按符号扩展）与存入；结构字段统一 8 字节槽，压缩字段只用低字（存入时截断）。
模块 / 28
对象。豫
对象。豫
34公开名称
存入元素
公开化「整数」而化「整数」而化「整数」而「有」暂无说明。
存入字段
公开化「整数」而化「整数」而化「整数」而「有」暂无说明。
是子类型
公开化「整数」而化「整数」而「爻」文言：类型之关系。汉语：子类型判定（沿超类链）；引用是否属于某堆类型（s33 立即数：非负为类型号，负为抽象类型 any/eq/i31/struct/array/func/extern；可空则 null 通过）。
是标量引用
公开化「整数」而「爻」暂无说明。
按种判定
公开化「整数」而化「整数」而「爻」暂无说明。
抽象类型属于
公开化「整数」而化「整数」而「爻」暂无说明。
具体类型属于
公开化「整数」而化「整数」而「爻」暂无说明。
引用属于
公开化「整数」而化「整数」而化「爻」而「爻」暂无说明。
空引用检
公开化「整数」而「有」暂无说明。
转换失败
公开化「整数」而化「整数」而「有」暂无说明。
读双立即数
公开化「整数」而「整数」文言：GC 指令之行：诸例各取立即数、记新指令针、返新栈针。汉语：GC 指令执行：每个函数读取自己的立即数，把新指令针写入 状态_新指令针，返回新栈针。每次分配前先把栈针存入 状态_栈针，使保守回收能看到当前值栈。
新建结构
公开化「整数」而化「整数」而「整数」暂无说明。
新建默认结构
公开化「整数」而化「整数」而「整数」暂无说明。
取结构字段
公开化「整数」而化「整数」而化「整数」而「整数」暂无说明。
设结构字段
公开化「整数」而化「整数」而「整数」暂无说明。
填元素们
公开化「整数」而化「整数」而化「整数」而化「整数」而化「整数」而「有」暂无说明。
数组元素址
公开化「整数」而化「整数」而化「整数」而「整数」暂无说明。
区间越界
公开化「整数」而化「整数」而化「整数」而「爻」暂无说明。
校验数组索引
公开化「整数」而化「整数」而「有」暂无说明。
新建数组
公开化「整数」而化「爻」而化「整数」而「整数」暂无说明。
新建固定数组
公开化「整数」而化「整数」而「整数」暂无说明。
新建数据数组
公开化「整数」而化「整数」而「整数」暂无说明。
取数组元素
公开化「整数」而化「整数」而化「整数」而「整数」暂无说明。
设数组元素
公开化「整数」而化「整数」而「整数」暂无说明。
数组长度
公开化「整数」而化「整数」而「整数」暂无说明。
填充数组
公开化「整数」而化「整数」而「整数」暂无说明。
复制数组
公开化「整数」而化「整数」而「整数」暂无说明。
引用测试或转换
公开化「整数」而化「整数」而化「整数」而「整数」暂无说明。
按转型分支
公开化「整数」而化「整数」而化「整数」而「整数」暂无说明。
整三一操作
公开化「整数」而化「整数」而化「整数」而「整数」暂无说明。
执行GC
公开化「整数」而化「整数」而化「整数」而「整数」暂无说明。
求值常量式于
公开化「整数」而化「整数」而化「整数」而「整数」文言：常量式之求：以值栈为工作栈，结果置于目标槽，返 end 之后位。汉语：常量表达式求值：用值栈基址起的工作栈解释常量指令（i32/i64/f 常量、ref.null/ref.func、global.get、i32/i64 加减乘、GC 前缀指令），结果写入目标槽，返回 end 之后的位置。
求值常量式
公开化「整数」而化「整数」而「整数」文言：常量式之求，工作栈自值栈之基起（实例化时栈空，可用）。汉语：常量表达式求值（工作栈从值栈基址起，只在实例化时栈为空的时候用；运行期的 table.init 用 求值常量式于 指定安全的基址）。