寻观「标准库」之书。
寻观「编译器核心」之「网页汇编核心」之「模块结构」之书。
寻观「编译器核心」之「网页汇编核心」之「二进制生成」之书。
寻观「编译器核心」之「网页汇编核心」之「整数执行」之书。
寻观「编译器核心」之「网页汇编核心」之「客体小整」之书。
「：文言：以实际网页模块验小整全域之边，并留标准引擎复验。汉语：生成真实 Wasm 模块，交标准引擎测试正负边界、截断、空引用和堆句柄的解箱陷阱。：」
「小整试模」乃「网页模块」也。
「小整试模」者（「列」【「一」与「一」】）与「罄」与（「列」【「客体小整装箱函数」于「零」，「客体小整有符号函数」于「零」，「客体小整无符号函数」于「零」，「客体小整判别函数」于「零」】）与（「列」【『装箱』与「零」，『有符号』与「一」，『无符号』与「二」，『判别』与「三」】）也。
「文件系统」之「写文件字节串」于『yy客体小整试模.wasm』于（「生成网页二进制」于「小整试模」）。
「检查」乃化「爻」而化「字符串」而「有」也。
「检查」者会「真」而会「名」而若「真」则「元」否则「发生事故」于（『小整测试失败：』附「名」）也。
「无宿主」乃「网页宿主函数」也。
「无宿主」者会「号」而会「参」而「发生事故」于『小整模块不得导入』也。
「取」乃化「字符串」而化「整数」而「整数」也。
「取」者会「名」而会「值」而「第N个」授以「整数」于「零」于（「执行网页导出」于「小整试模」于「无宿主」于「一零零」于「名」于（「列」【「值」】））也。
「验」乃化「整数」而化「整数」而化「整数」而「有」也。
「验」者会「原」而会「有符号期」而会「无符号期」而
 虑「箱」者「取」于『装箱』于「原」而
 虑「标记检」者「检查」于（「等于」于（「取」于『判别』于「箱」）于「一」）于『标记』而
 虑「符号检」者「检查」于（「等于」于（「取」于『有符号』于「箱」）于「有符号期」）于『有符号取值』而
 「检查」于（「等于」于（「取」于『无符号』于「箱」）于「无符号期」）于『无符号取值』也。
「验」于「零」于「零」于「零」。
「验」于「一」于「一」于「一」。
「验」于（「减」于「零」于「一」）于（「减」于「零」于「一」）于「二一四七四八三六四七」。
「验」于「一零七三七四一八二四」于（「减」于「零」于「一零七三七四一八二四」）于「一零七三七四一八二四」。
「验」于「二一四七四八三六四七」于（「减」于「零」于「一」）于「二一四七四八三六四七」。
「验」于（「减」于「零」于「二一四七四八三六四八」）于「零」于「零」。
「拒解」乃化「整数」而化「字符串」而「有」也。
「拒解」者会「值」而会「名」而
 虑「标记检」者「检查」于（「等于」于（「取」于『判别』于「值」）于「零」）于（「名」附『非小整标记』）而
 「检查」于（「尝试运行」授以「爻」于（会「无」而虑「果」者「取」于「名」于「值」而「阴」）于（会「错」而「是子字符串吗」于『不可达指令』于「错」））于（「名」附『应陷阱』）也。
「态射」授以「整数」授以「有」于（「列」【「零」，「二」，「四」，（「减」于「零」于「二」）】）于（会「值」而虑「有检」者「拒解」于「值」于『有符号』而「拒解」于「值」于『无符号』）。
「打印行」于『客体小整编码测试通过』。
