寻观「裸机后端」之「客体具体引用用例」之书。
寻观「裸机后端」之「长算常量」之书。
寻观「裸机后端」之「客体引用全局用例」之书。
寻观「裸机后端」之「客体引用控制用例」之书。
寻观「裸机后端」之「元数据布局用例」之书。
寻观「裸机后端」之「客体引用传递用例」之书。
寻观「裸机后端」之「客体引用用例」之书。
寻观「裸机后端」之「客体表批量用例」之书。
寻观「裸机后端」之「客体元素用例」之书。
寻观「裸机后端」之「程序壳用例」之书。
寻观「裸机后端」之「客体导入用例」之书。
寻观「裸机后端」之「客体内存执行用例」之书。
寻观「裸机后端」之「客体执行用例」之书。
寻观「裸机后端」之「客体栈验证用例」之书。
寻观「裸机后端」之「客体解码用例」之书。
寻观「裸机后端」之「客体资源用例」之书。
寻观「裸机后端」之「客体索引用例」之书。
寻观「裸机后端」之「客体区段用例」之书。
寻观「裸机后端」之「客体读数用例」之书。
寻观「裸机后端」之「设备退出用例」之书。
寻观「裸机后端」之「文件命令壳」之书。
寻观「裸机后端」之「目录用例」之书。
寻观「裸机后端」之「日志用例」之书。
寻观「裸机后端」之「磁盘用例」之书。
寻观「裸机后端」之「设备驱动镜像」之书。
寻观「裸机后端」之「设备寄存器用例」之书。
寻观「裸机后端」之「直接访存镜像」之书。
寻观「裸机后端」之「模拟平台」之书。
寻观「裸机后端」之「设备能力验证」之书。
寻观「裸机后端」之「设备发现用例」之书。
寻观「标准库」之「数据结构」之「字符串术」之书。
寻观「裸机后端」之「用户命令壳」之书。
寻观「裸机后端」之「字节通道用例」之书。
寻观「裸机后端」之「常规运行用例」之书。
寻观「裸机后端」之「墙钟用例」之书。
寻观「裸机后端」之「控制台中断用例」之书。
寻观「裸机后端」之「阻塞通信用例」之书。
寻观「裸机后端」之「通信任务用例」之书。
寻观「裸机后端」之「机器编码」之书。
寻观「裸机后端」之「回收任务用例」之书。
寻观「裸机后端」之「创建任务用例」之书。
寻观「裸机后端」之「终止任务用例」之书。
寻观「裸机后端」之「等待任务用例」之书。
寻观「裸机后端」之「故障任务用例」之书。
寻观「裸机后端」之「双任务用例」之书。
寻观「编译器核心」之「网页汇编核心」之「外部模块」之书。
寻观「编译器核心」之「网页汇编核心」之「状态模块」之书。
寻观「编译器核心」之「网页汇编核心」之「状态二进制」之书。
寻观「编译器核心」之「网页汇编核心」之「除余用例」之书。
寻观「编译器核心」之「网页汇编核心」之「位运算用例」之书。
寻观「裸机后端」之「存储镜像」之书。
寻观「编译器核心」之「网页汇编核心」之「存储模块」之书。
寻观「编译器核心」之「网页汇编核心」之「存储二进制」之书。
寻观「标准库」之书。
寻观「标准库」之「数据结构」之「字节串」之书。
寻观「标准库」之「操作系统」之「异步子进程」之书。
寻观「标准库」之「控制」之「异步」之书。
寻观「编译器核心」之「网页汇编核心」之「模块结构」之书。
寻观「编译器核心」之「网页汇编核心」之「整数比较用例」之书。
寻观「编译器核心」之「网页汇编核心」之「中文文本」之书。
寻观「编译器核心」之「网页汇编核心」之「二进制生成」之书。
寻观「裸机后端」之「臂核心」之书。
寻观「裸机后端」之「兼容核心」之书。
「：文言：诸试各验退出与原串，久候则杀己所生者。汉语：验证器用豫言驱动模拟器，在独立临时目录保存镜像与日志；只终止本轮模拟器写入专属进程号文件的进程。：」
「：文言：可先言 --只验 某名，唯行方式名含其字者，以速调一项。汉语：命令行最前可加 --只验 名称，只运行方式名包含该文字的场景，方便单项调试；省略则全部运行。：」
「命令行余参」乃「列」于「字符串」也。
「命令行余参」者鉴「命令行参数」之「获取参数」于「元」而
 有（「缀」于「首」于（「缀」于「名」于「余」））则若「串相等」于「首」于『--只验』则「余」否则（「缀」于「首」于（「缀」于「名」于「余」））
 或有「其他」则「命令行参数」之「获取参数」于「元」也。
「只验名」乃「字符串」也。
「只验名」者鉴「命令行参数」之「获取参数」于「元」而
 有（「缀」于「首」于（「缀」于「名」于「余」））则若「串相等」于「首」于『--只验』则「名」否则『』
 或有「其他」则『』也。
「外部路径」乃「字符串」合「字符串」合「字符串」也。
「外部路径」者鉴「命令行余参」而有「罄」则『』与『』与『』或有（「列」【『--外部模块』，「正」，「负」】）则「正」与「负」与「正」或有（「列」【『--外部模块』，「正」，「负」，『--客体模块』，「客」】）则「正」与「负」与「客」或有「其他」则「发生事故」于『用法：可选 --外部模块 正常模块 错误期望模块 [--客体模块 客体正常模块]』也。
「检查」乃化「爻」而化「字符串」而「有」也。
「检查」者会「真」而会「名」而若「真」则「元」否则「发生事故」于（『裸机验证失败：』附「名」）也。
「运行工具」乃化「字符串」而化（「列」于「字符串」）而「字符串」也。
「运行工具」者会「程序」而会「参数」而
 虑「果」者「操作系统」之「子进程」之「获取输出」于「程序」于「参数」而
 虑「检」者「检查」于（「果」中「零」）于（「程序」附『：』附（「果」中「二」））而「果」中「一」也。
「临时原文」者「运行工具」于『mktemp』于（「列」【『-d』，『/tmp/yy裸机验证.XXXXXX』】）也。
「目录」者「去除串结尾」于『「：换行：」』于「临时原文」也。
「路径」乃化「字符串」而「字符串」也。
「路径」者会「名」而「目录」附『/』附「名」也。
「等待模拟」乃化（「异步任务」于「子进程结果」）而化「整数」而化「字符串」而「子进程结果」也。
「等待模拟」者会「任务」而会「余」而会「进程文件」而
 若「完成了吗」授以「子进程结果」于「任务」则「等待」授以「子进程结果」于「任务」否则
 若「等于」于「余」于「零」则
  虑「存在」者「检查」于（「文件系统」之「路径存在」于「进程文件」）于『模拟器超时且无进程号文件』而
  虑「号」者「理解整数」于（「文件系统」之「读文件」于「进程文件」）而
  虑「安全」者「检查」于（「大于」于「号」于「一」）于『模拟器进程号非法』而
  虑「终止」者「操作系统」之「子进程」之「获取输出」于『/bin/kill』于（「列」【『-KILL』，「整数表示」于「号」】）而
  「发生事故」于『模拟器超过等待上限，已终止本轮进程』
 否则虑「进」者「限时让出」于「五零」而「等待模拟」于「任务」于（「减」于「余」于「一」）于「进程文件」也。
「：文言：一遍历字节，以行为单，数父子之整行、坏行及父子相接之次。汉语：只统计字母 P 与 C。行字为零表示尚无字母，八零或六七表示本行纯为该字母，一表示本行已混入别的字节；换行时按行长核对是否整行。返回父整行数、子整行数、坏行数与父子整行交替次数。：」
「行原子扫描」乃化「字节串」而化「整数」而化「整数」而化「整数」而化「整数」而化「整数」而化「整数」而化「整数」而化「整数」而（「整数」合「整数」合「整数」合「整数」）也。
「行原子扫描」者会「字」而会「位」而会「行字」而会「行长」而会「父行」而会「子行」而会「坏行」而会「前行」而会「交替」而
 若「等于」于「位」于（「字节串长度」于「字」）则（「父行」与「子行」与（若「大于」于「行字」于「零」则「加」于「坏行」于「一」否则「坏行」）与「交替」）否则
 虑「乙」者「字节串取字节」于「字」于「位」而
 若「等于」于「乙」于「一零」则
  虑「整」者「或者」于（「且」于（「等于」于「行字」于「八零」）于（「等于」于「行长」于「行原子每行宽」））于（「且」于（「等于」于「行字」于「六七」）于（「等于」于「行长」于「行原子每行宽」））而
  虑「新父」者若「且」于「整」于（「等于」于「行字」于「八零」）则「加」于「父行」于「一」否则「父行」而
  虑「新子」者若「且」于「整」于（「等于」于「行字」于「六七」）则「加」于「子行」于「一」否则「子行」而
  虑「新坏」者若「且」于（「非」于「整」）于（「大于」于「行字」于「零」）则「加」于「坏行」于「一」否则「坏行」而
  虑「新交替」者若「且」于「整」于（「且」于（「大于」于「前行」于「零」）于（「不等于」于「前行」于「行字」））则「加」于「交替」于「一」否则「交替」而
  虑「新前」者若「整」则「行字」否则「前行」而
  「行原子扫描」于「字」于（「加」于「位」于「一」）于「零」于「零」于「新父」于「新子」于「新坏」于「新前」于「新交替」
 否则
  虑「新字」者若「或者」于（「等于」于「乙」于「八零」）于（「等于」于「乙」于「六七」）则（若「等于」于「行字」于「零」则「乙」否则若「等于」于「行字」于「乙」则「行字」否则「一」）否则（若「大于」于「行字」于「零」则「一」否则「零」）而
  虑「新长」者若「或者」于（「等于」于「乙」于「八零」）于（「等于」于「乙」于「六七」）则「加」于「行长」于「一」否则「行长」而
  「行原子扫描」于「字」于（「加」于「位」于「一」）于「新字」于「新长」于「父行」于「子行」于「坏行」于「前行」于「交替」也。
「重复串」乃化「字符串」而化「整数」而「字符串」也。
「重复串」者会「串」而会「次」而若「小于」于「次」于「一」则『』否则「串」附（「重复串」于「串」于（「减」于「次」于「一」））也。
「壳输出次数」乃化「字符串」而化「字符串」而「整数」也。
「壳输出次数」者会「词」而会「文」而鉴「串从左搜索单个」于「词」于「文」而
 有「可无」则「零」
 或有「可有」于「位」则「加」于「一」于（「壳输出次数」于「词」于（「获取子字符串」于（「加」于「位」于（「串长度」于「词」））于（「串长度」于「文」）于「文」））也。
「等待输入就绪」乃化（「异步任务」于「子进程结果」）而化「整数」而化「字符串」而化「字符串」而「有」也。
「等待输入就绪」者会「任务」而会「余」而会「进程文件」而会「输出文件」而
 若「完成了吗」授以「子进程结果」于「任务」则「发生事故」于『控制台尚未就绪，模拟器已退出』否则
 若「是子字符串吗」于『输入就绪』于（「文件系统」之「读文件」于「输出文件」）则「元」否则
 若「等于」于「余」于「零」则虑「终」者「等待模拟」于「任务」于「零」于「进程文件」而「发生事故」于『控制台就绪超时』否则
 虑「进」者「限时让出」于「五零」而「等待输入就绪」于「任务」于（「减」于「余」于「一」）于「进程文件」于「输出文件」也。

「等待程序执行」乃化（「异步任务」于「子进程结果」）而化「整数」而化「字符串」而化「字符串」而「有」也。
「等待程序执行」者会「任务」而会「余」而会「进程文件」而会「输出文件」而
 若「完成了吗」授以「子进程结果」于「任务」则「发生事故」于『程序尚未进入执行，模拟器已退出』否则
 若「是子字符串吗」于『程序已进入执行』于（「文件系统」之「读文件」于「输出文件」）则「元」否则
 若「等于」于「余」于「零」则虑「终」者「等待模拟」于「任务」于「零」于「进程文件」而「发生事故」于『程序执行就绪超时』否则
 虑「进」者「限时让出」于「一零」而「等待程序执行」于「任务」于（「减」于「余」于「一」）于「进程文件」于「输出文件」也。
「基准」乃「网页模块」也。
「基准」者「解析中文网页模块」于（「文件系统」之「读文件」于『豫言操作系统/裸机/启动验证.网页汇编。豫』）也。
「改指令」乃化「整数」而化（「列」于「网页指令」）而（「列」于「网页指令」）也。
「改指令」者会「号」而会「项」而鉴「项」而
 有「罄」则「发生事故」于『负对照指令位置不存在』
 或有「缀」于「首」于「尾」则若「等于」于「号」于「零」则「缀」于（「网页常量」于「四三」）于「尾」否则「缀」于「首」于（「改指令」于（「减」于「号」于「一」）于「尾」）也。
「：文言：诸比较与选择之误逐一而积，零则皆合。汉语：客体逐例执行八十六项比较和选择，汇总不相等的项数；保留总计四次内核核验协议。：」
「比较验证指令」乃化「爻」而（「列」于「网页指令」）也。
「比较验证指令」者会「错误」而
 「串联」授以「网页指令」于（「列」【「列」【「网页常量」于「零」】，
 「串联」授以「网页指令」于（「态射」授以「比较用例」授以（「列」于「网页指令」）于「比较用例们」于（会「例」而「附加」授以「网页指令」于（「比较用例指令」于「例」）于（「列」【「网页常量」于（「例」中「二」），「网页相等」，「网页为零」，「网页加」】））），
 「列」【「网页常量」于（若「错误」则「一」否则「零」），「网页调用」于「一」】】）也。
「位算验证指令」乃化「爻」而（「列」于「网页指令」）也。
「位算验证指令」者会「错误」而
 「串联」授以「网页指令」于（「列」【「列」【「网页常量」于「零」】，
 「串联」授以「网页指令」于（「态射」授以「位运算用例」授以（「列」于「网页指令」）于「位运算用例们」于（会「例」而「附加」授以「网页指令」于（「位运算用例指令」于「例」）于（「列」【「网页常量」于（「例」中「二」），「网页相等」，「网页为零」，「网页加」】））），
 「列」【「网页常量」于（若「错误」则「一」否则「零」），「网页调用」于「一」】】）也。
「除余方式」乃化「字符串」而「爻」也。
「除余方式」者会「方式」而「存在吗」授以「字符串」于（会「名」而「串相等」于「名」于「方式」）于（「列」【『除余』，『除余错误』，『有符号除零』，『无符号除零』，『有符号余零』，『无符号余零』，『有符号除溢出』】）也。
「除余验证指令」乃化「字符串」而（「列」于「网页指令」）也。
「除余验证指令」者会「方式」而
 虑「前」者（（「列」于「网页指令」）也若「串相等」于「方式」于『有符号除零』则「附加」授以「网页指令」于（「除余用例指令」于（「第N个」授以「除余用例」于「零」于「除余负例们」））于（「列」【「网页弃值」】）否则若「串相等」于「方式」于『无符号除零』则「附加」授以「网页指令」于（「除余用例指令」于（「第N个」授以「除余用例」于「一」于「除余负例们」））于（「列」【「网页弃值」】）否则若「串相等」于「方式」于『有符号余零』则「附加」授以「网页指令」于（「除余用例指令」于（「第N个」授以「除余用例」于「二」于「除余负例们」））于（「列」【「网页弃值」】）否则若「串相等」于「方式」于『无符号余零』则「附加」授以「网页指令」于（「除余用例指令」于（「第N个」授以「除余用例」于「三」于「除余负例们」））于（「列」【「网页弃值」】）否则若「串相等」于「方式」于『有符号除溢出』则「附加」授以「网页指令」于（「除余用例指令」于（「第N个」授以「除余用例」于「四」于「除余负例们」））于（「列」【「网页弃值」】）否则「罄」）而
 「串联」授以「网页指令」于（「列」【「前」，「列」【「网页常量」于「零」】，
 「串联」授以「网页指令」于（「态射」授以「除余用例」授以（「列」于「网页指令」）于「除余用例们」于（会「例」而「附加」授以「网页指令」于（「除余用例指令」于「例」）于（「列」【「网页常量」于（「例」中「二」），「网页相等」，「网页为零」，「网页加」】））），
 「列」【「网页常量」于（若「串相等」于「方式」于『除余错误』则「一」否则「零」），「网页调用」于「一」】】）也。
「裸机控制模块」乃化「爻」而「网页模块」也。
「裸机控制模块」者会「错误」而
 （「附加」授以「网页签名」于（「基准」中「零」）于（「列」【「零」与「二」】））与（「基准」中「一」）与（「列」【
 「三」与「二」与（「列」【
 「网页块」于「零」，「网页循环」于「零」，「网页局部读取」于「零」，「网页常量」于「一零零零零」，「网页无符号大等」，「网页条件跳转」于「一」，
 「网页局部读取」于「零」，「网页常量」于「一」，「网页加」，「网页局部暂存」于「零」，「网页局部读取」于「一」，「网页加」，「网页局部写入」于「一」，「网页跳转」于「零」，「网页结束」，「网页结束」，
 「网页局部读取」于「一」，「网页常量」于（若「错误」则「五零零零五零零一」否则「五零零零五零零零」），「网页调用」于「一」，
 「网页常量」于「七」，「网页块」于「一」，「网页常量」于「九」，「网页常量」于「四二」，「网页跳转」于「零」，「网页结束」，「网页加」，「网页常量」于「四九」，「网页调用」于「一」，
 「网页调用」于「四」，「网页减」，「网页常量」于（「减」于「零」于「一」），「网页调用」于「一」，
 「网页常量」于「零」，「网页条件」于「一」，「网页陷阱」，「网页否则」，「网页常量」于「一」，「网页条件」于「一」，「网页常量」于「四二」，「网页否则」，「网页陷阱」，「网页结束」，「网页结束」，「网页常量」于「四二」，「网页调用」于「一」】），
 「五」与「零」与（「列」【「网页常量」于「九九」，「网页常量」于「一」，「网页常量」于「二」，「网页返回」】）
 】）与（「基准」中「三」）也。

「裸机输入模块」乃化「有」而「网页模块」也。
「裸机输入模块」者会「无」而
 虑「就绪」者「字符串转字节串」于『输入就绪「：换行：」』而
 虑「打印就绪」者「串联」授以「网页指令」于（「态射」授以「整数」授以（「列」于「网页指令」）于（「整数范围」于「零」于（「字节串长度」于「就绪」））于（会「位」而「列」【「网页常量」于（「字节串取字节」于「就绪」于「位」），「网页调用」于「零」】））而
 （「基准」中「零」）与（「附加」授以「网页导入」于（「基准」中「一」）于（「列」【『平台』与『读字节』与「二」】））与（「列」【「三」与「三」与（「串联」授以「网页指令」于（「列」【
 「列」【「网页调用」于「三」，「网页常量」于（「减」于「零」于「一」），「网页调用」于「一」】，
 「打印就绪」，
 「列」【「网页块」于「零」，「网页循环」于「零」，
 「网页调用」于「三」，「网页局部暂存」于「一」，「网页常量」于（「减」于「零」于「一」），「网页相等」，「网页条件跳转」于「零」，
 「网页局部读取」于「一」，「网页调用」于「零」，
 「网页局部读取」于「一」，「网页局部读取」于「二」，「网页加」，「网页局部写入」于「二」，
 「网页局部读取」于「零」，「网页常量」于「一」，「网页加」，「网页局部暂存」于「零」，「网页常量」于「四」，「网页相等」，「网页条件跳转」于「一」，「网页跳转」于「零」，「网页结束」，「网页结束」，
 「网页局部读取」于「零」，「网页常量」于「四」，「网页调用」于「一」，
 「网页局部读取」于「二」，「网页常量」于「五九零」，「网页调用」于「一」，
 「网页调用」于「三」，「网页常量」于（「减」于「零」于「一」），「网页调用」于「一」】】））】）与（「列」【『启动』与「四」】）也。

「时钟验证模块」乃化「有」而「网页模块」也。
「时钟验证模块」者会「无」而
 （「基准」中「零」）与（「附加」授以「网页导入」于（「基准」中「一」）于（「列」【『平台』与『时钟滴答』与「二」】））与（「列」【「三」与「三」与（「列」【
 「网页调用」于「二」，「网页常量」于「一」，「网页调用」于「一」，「网页调用」于「三」，「网页局部写入」于「零」，
 「网页块」于「零」，「网页循环」于「零」，「网页局部读取」于「一」，「网页常量」于「长算次数」，「网页无符号大等」，「网页条件跳转」于「一」，「网页局部读取」于「二」，「网页局部读取」于「一」，「网页加」，「网页局部写入」于「二」，「网页局部读取」于「一」，「网页常量」于「一」，「网页加」，「网页局部写入」于「一」，「网页跳转」于「零」，「网页结束」，「网页结束」，
 「网页局部读取」于「二」，「网页常量」于「长算和」，「网页调用」于「一」，
 「网页调用」于「三」，「网页局部读取」于「零」，「网页减」，「网页常量」于「零」，「网页无符号大于」，「网页常量」于「一」，「网页调用」于「一」，
 「网页调用」于「三」，「网页局部写入」于「零」，「网页常量」于「零」，「网页局部写入」于「一」，
 「网页块」于「零」，「网页循环」于「零」，「网页局部读取」于「一」，「网页常量」于「长算次数」，「网页无符号大等」，「网页条件跳转」于「一」，「网页局部读取」于「二」，「网页局部读取」于「一」，「网页加」，「网页局部写入」于「二」，「网页局部读取」于「一」，「网页常量」于「一」，「网页加」，「网页局部写入」于「一」，「网页跳转」于「零」，「网页结束」，「网页结束」，
 「网页调用」于「三」，「网页局部读取」于「零」，「网页减」，「网页常量」于「零」，「网页无符号大于」，
 「网页局部读取」于「二」，「网页常量」于（「整数余数」于（「乘」于「二」于「长算和」）于「四二九四九六七二九六」），「网页相等」，「网页加」，「网页常量」于「二」，「网页调用」于「一」】）】）与（「列」【『启动』与「四」】）也。
「系统调用帧模块」乃化「爻」而「网页模块」也。
「系统调用帧模块」者会「错」而
 （「列」【「零」与「一」，「二」与「零」，「一」与「一」，「零」与「零」】）与（「列」【『平台』与『用户态』与「零」，『平台』与『核验』与「一」，『平台』与『读字节』与「零」】）与（「列」【
 「三」与「零」与（「列」【「网页常量」于「二零」，「网页调用」于「四」，「网页常量」于（若「错」则「六五一」否则「六五零」），「网页调用」于「一」，
 「网页常量」于「四零」，「网页调用」于「四」，「网页常量」于「二五零零」，「网页调用」于「一」，
 「网页调用」于「二」，「网页常量」于（「减」于「零」于「一」），「网页调用」于「一」，
 「网页常量」于「九」，「网页调用」于「四」，「网页常量」于「五」，「网页调用」于「四」，「网页加」，「网页常量」于「一九四」，「网页调用」于「一」】），
 「二」与「零」与（「列」【「网页局部读取」于「零」，「网页为零」，「网页条件」于「一」，「网页常量」于「零」，「网页否则」，
 「网页局部读取」于「零」，「网页常量」于「三」，「网页乘」，「网页调用」于「零」，「网页加」，「网页局部读取」于「零」，「网页常量」于「一」，「网页减」，「网页调用」于「四」，「网页加」，「网页结束」】）】）与（「列」【『启动』与「三」】）也。
「测试模块」乃化「爻」而化「字符串」而「网页模块」也。
「测试模块」者会「臂」而会「方式」而
 若「或者」于（「串相等」于「方式」于『系统调用帧』）于（「串相等」于「方式」于『系统调用帧错误』）则「系统调用帧模块」于（「串相等」于「方式」于『系统调用帧错误』）否则
 若「或者」于（「串相等」于「方式」于『定时中断』）于（「串相等」于「方式」于『屏蔽中断』）则「时钟验证模块」于「元」否则
 若「或者」于（「串相等」于「方式」于『控制台输入』）于（「串相等」于「方式」于『控制台错误』）则「裸机输入模块」于「元」否则
 若「或者」于（「串相等」于「方式」于『结构控制』）于（「串相等」于「方式」于『控制错误』）则「裸机控制模块」于（「串相等」于「方式」于『控制错误』）否则
 虑「函数」者「基准」中「二」而
 虑「主」者「网页取项」授以「网页函数」于『测试启动』于「零」于「函数」而
 虑「和」者「网页取项」授以「网页函数」于『测试求和』于「一」于「函数」而
 虑「原令」者「主」中「二」而
 虑「位算」者「或者」于（「串相等」于「方式」于『位运算』）于（「串相等」于「方式」于『位运算错误』）而
 虑「比较」者若「除余方式」于「方式」则「阳」否则若「位算」则「阳」否则「或者」于（「串相等」于「方式」于『整数比较』）于（「串相等」于「方式」于『比较错误』）而
 虑「令」者（（「列」于「网页指令」）也若「比较」则「附加」授以「网页指令」于（若「除余方式」于「方式」则「除余验证指令」于「方式」否则若「位算」则「位算验证指令」于（「串相等」于「方式」于『位运算错误』）否则「比较验证指令」于（「串相等」于「方式」于『比较错误』））于（「放」于「五」于「原令」）否则若「串相等」于「方式」于『错误结果』则「改指令」于「三」于「原令」否则
  若「串相等」于「方式」于『操作数栈越界』则
   虑「数」者若「臂」则「八一九三」否则「一六三八五」而
   「附加」授以「网页指令」于「原令」于（「附加」授以「网页指令」于（「态射」授以「整数」授以「网页指令」于（「整数范围」于「零」于「数」）于（会「位」而「网页常量」于「零」））于（「态射」授以「整数」授以「网页指令」于（「整数范围」于「零」于「数」）于（会「位」而「网页弃值」）））
  否则若「串相等」于「方式」于『调用栈越界』则「附加」授以「网页指令」于「原令」于（「列」【「网页调用」于「五」】）否则「原令」）而
 虑「后函数」者（（「列」于「网页函数」）也（「附加」授以「网页函数」于（「列」【（「主」中「零」）与（若「比较」则「一」否则「主」中「一」）与「令」，「和」】）于（若「串相等」于「方式」于『调用栈越界』则（「列」【「三」与「零」与（「列」【「网页调用」于「五」】）】）否则「罄」）））而
 （「基准」中「零」）与（「基准」中「一」）与「后函数」与（「基准」中「三」）也。
「增长方式」乃化「字符串」而「爻」也。
「增长方式」者会「方式」而「存在吗」授以「字符串」于（会「名」而「串相等」于「名」于「方式」）于（「列」【『内存增长』，『增长前读取』，『增长前填充』，『增长前源复制』，『增长前目标复制』，『增长前初始化』，『增长后越界』】）也。
「增长验证指令」乃化「字符串」而（「列」于「网页指令」）也。
「增长验证指令」者会「方式」而
 虑「前」者（（「列」于「网页指令」）也若「串相等」于「方式」于『增长前读取』则「列」【「网页常量」于「六五五三六」，「网页内存读四」于「零」于「零」，「网页弃值」】否则若「串相等」于「方式」于『增长前填充』则「列」【「网页常量」于「六五五三六」，「网页常量」于「一七」，「网页常量」于「一」，「网页内存填充令」于「零」】否则若「串相等」于「方式」于『增长前源复制』则「列」【「网页常量」于「零」，「网页常量」于「六五五三六」，「网页常量」于「一」，「网页内存复制令」于「零」于「零」】否则若「串相等」于「方式」于『增长前目标复制』则「列」【「网页常量」于「六五五三六」，「网页常量」于「零」，「网页常量」于「一」，「网页内存复制令」于「零」于「零」】否则若「串相等」于「方式」于『增长前初始化』则「列」【「网页常量」于「六五五三六」，「网页常量」于「一」，「网页常量」于「四」，「网页内存初始化令」于「一」于「零」】否则若「串相等」于「方式」于『增长后越界』则「列」【「网页常量」于「二」，「网页内存增长」于「零」，「网页弃值」，「网页常量」于「一九六六零八」，「网页内存读四」于「零」于「零」，「网页弃值」】否则「罄」）而
 「附加」授以「网页指令」于「前」于（「列」【「网页常量」于「一」，「网页内存增长」于「零」，「网页常量」于「一」，「网页调用」于「一」，「网页常量」于「六五五三六」，「网页内存读四」于「零」于「零」，「网页内存大小」于「零」，「网页加」，「网页常量」于「二」，「网页调用」于「一」，「网页常量」于「六五五三六」，「网页常量」于「一七」，「网页常量」于「四」，「网页内存填充令」于「零」，「网页常量」于「六五五四零」，「网页常量」于「六五五三六」，「网页常量」于「四」，「网页内存复制令」于「零」于「零」，「网页常量」于「六五五四四」，「网页常量」于「一」，「网页常量」于「四」，「网页内存初始化令」于「一」于「零」，「网页常量」于「一」，「网页内存读四」于「零」于「零」，「网页常量」于「六五五四四」，「网页内存读四」于「零」于「零」，「网页加」，「网页常量」于「六五五四零」，「网页内存读四」于「零」于「零」，「网页加」，「网页常量」于「八九七一七零九四五」，「网页调用」于「一」，「网页常量」于「一」，「网页内存增长」于「零」，「网页常量」于「一」，「网页内存增长」于「零」，「网页加」，「网页常量」于（「减」于「零」于「一」），「网页内存增长」于「零」，「网页加」，「网页常量」于「零」，「网页内存增长」于「零」，「网页加」，「网页内存大小」于「零」，「网页加」，「网页常量」于「一三一零七二」，「网页内存读四」于「零」于「零」，「网页加」，「网页常量」于「六」，「网页调用」于「一」】）也。
「数据段方式」乃化「字符串」而「爻」也。
「数据段方式」者会「方式」而若「增长方式」于「方式」则「阳」否则「存在吗」授以「字符串」于（会「名」而「串相等」于「名」于「方式」）于（「列」【『数据段初始化』，『段源越界』，『段目标越界』，『丢弃后读取』，『主动段读取』，『丢弃空段越界』，『段长度回绕』】）也。
「数据段验证指令」乃化「字符串」而（「列」于「网页指令」）也。
「数据段验证指令」者会「方式」而
 虑「前」者（（「列」于「网页指令」）也若「串相等」于「方式」于『段源越界』则「列」【「网页常量」于「零」，「网页常量」于「六」，「网页常量」于「一」，「网页内存初始化令」于「一」于「零」】否则若「串相等」于「方式」于『段目标越界』则「列」【「网页常量」于「一三一零七一」，「网页常量」于「零」，「网页常量」于「二」，「网页内存初始化令」于「一」于「零」】否则若「串相等」于「方式」于『丢弃后读取』则「列」【「网页数据丢弃」于「一」，「网页常量」于「零」，「网页常量」于「零」，「网页常量」于「一」，「网页内存初始化令」于「一」于「零」】否则若「串相等」于「方式」于『主动段读取』则「列」【「网页常量」于「零」，「网页常量」于「零」，「网页常量」于「一」，「网页内存初始化令」于「零」于「零」】否则若「串相等」于「方式」于『丢弃空段越界』则「列」【「网页数据丢弃」于「一」，「网页常量」于「零」，「网页常量」于「一」，「网页常量」于「零」，「网页内存初始化令」于「一」于「零」】否则若「串相等」于「方式」于『段长度回绕』则「列」【「网页常量」于「零」，「网页常量」于「一」，「网页常量」于（「减」于「零」于「一」），「网页内存初始化令」于「一」于「零」】否则「罄」）而
 「附加」授以「网页指令」于「前」于（「列」【「网页常量」于「六五五三五」，「网页常量」于「一」，「网页常量」于「四」，「网页内存初始化令」于「一」于「零」，「网页常量」于「六五五三五」，「网页内存读四」于「零」于「零」，「网页常量」于「三零五四一九八九六」，「网页调用」于「一」，「网页常量」于「零」，「网页常量」于「零」，「网页常量」于「四」，「网页内存初始化令」于「二」于「零」，「网页常量」于「零」，「网页内存读四」于「零」于「零」，「网页常量」于「六七三零五九八五」，「网页调用」于「一」，「网页数据丢弃」于「一」，「网页数据丢弃」于「一」，「网页常量」于「一三一零七二」，「网页常量」于「零」，「网页常量」于「零」，「网页内存初始化令」于「一」于「零」，「网页常量」于「一三一零七二」，「网页常量」于「零」，「网页常量」于「零」，「网页内存初始化令」于「零」于「零」，「网页常量」于「零」，「网页内存读四」于「零」于「零」，「网页常量」于「六七三零五九八五」，「网页调用」于「一」，「网页常量」于「一」，「网页常量」于「一」，「网页常量」于「三」，「网页内存初始化令」于「二」于「零」，「网页常量」于「一」，「网页内存读八无符号」于「零」于「零」，「网页常量」于「三」，「网页内存读八无符号」于「零」于「零」，「网页加」，「网页常量」于「六」，「网页调用」于「一」】）也。
「复制方式」乃化「字符串」而「爻」也。
「复制方式」者会「方式」而「存在吗」授以「字符串」于（会「名」而「串相等」于「名」于「方式」）于（「列」【『批量复制』，『复制源越界』，『复制目标越界』，『复制回绕』，『空复制源越界』，『空复制目标越界』】）也。
「复制验证指令」乃化「字符串」而（「列」于「网页指令」）也。
「复制验证指令」者会「方式」而
 虑「前」者（（「列」于「网页指令」）也若「串相等」于「方式」于『复制源越界』则「列」【「网页常量」于「零」，「网页常量」于「一三一零七一」，「网页常量」于「二」，「网页内存复制令」于「零」于「零」】否则若「串相等」于「方式」于『复制目标越界』则「列」【「网页常量」于「一三一零七一」，「网页常量」于「零」，「网页常量」于「二」，「网页内存复制令」于「零」于「零」】否则若「串相等」于「方式」于『复制回绕』则「列」【「网页常量」于「零」，「网页常量」于「一」，「网页常量」于（「减」于「零」于「一」），「网页内存复制令」于「零」于「零」】否则若「串相等」于「方式」于『空复制源越界』则「列」【「网页常量」于「零」，「网页常量」于「一三一零七三」，「网页常量」于「零」，「网页内存复制令」于「零」于「零」】否则若「串相等」于「方式」于『空复制目标越界』则「列」【「网页常量」于「一三一零七三」，「网页常量」于「零」，「网页常量」于「零」，「网页内存复制令」于「零」于「零」】否则「罄」）而
 「附加」授以「网页指令」于「前」于（「列」【「网页常量」于「二」，「网页常量」于「一」，「网页常量」于「四」，「网页内存复制令」于「零」于「零」，「网页常量」于「二」，「网页内存读四」于「零」于「零」，「网页常量」于「三零五四一九八九六」，「网页调用」于「一」，「网页常量」于「一」，「网页常量」于「二」，「网页常量」于「四」，「网页内存复制令」于「零」于「零」，「网页常量」于「一」，「网页内存读四」于「零」于「零」，「网页常量」于「三零五四一九八九六」，「网页调用」于「一」，「网页常量」于「六五五三五」，「网页常量」于「一」，「网页常量」于「四」，「网页内存复制令」于「零」于「零」，「网页常量」于「六五五三五」，「网页内存读四」于「零」于「零」，「网页常量」于「三零五四一九八九六」，「网页调用」于「一」，「网页常量」于「一三一零七二」，「网页常量」于「一三一零七二」，「网页常量」于「零」，「网页内存复制令」于「零」于「零」，「网页常量」于「一」，「网页常量」于「一」，「网页常量」于「四」，「网页内存复制令」于「零」于「零」，「网页常量」于「一」，「网页常量」于「六五五三五」，「网页常量」于「零」，「网页内存复制令」于「零」于「零」，「网页常量」于「一」，「网页内存读四」于「零」于「零」，「网页常量」于「三零五四一九八九六」，「网页调用」于「一」】）也。
「填充方式」乃化「字符串」而「爻」也。
「填充方式」者会「方式」而「存在吗」授以「字符串」于（会「名」而「串相等」于「名」于「方式」）于（「列」【『批量填充』，『填充越界』，『填充回绕』，『空填充越界』】）也。
「填充验证指令」乃化「字符串」而（「列」于「网页指令」）也。
「填充验证指令」者会「方式」而
 虑「前」者（（「列」于「网页指令」）也若「串相等」于「方式」于『填充越界』则「列」【「网页常量」于「一三一零七一」，「网页常量」于「零」，「网页常量」于「二」，「网页内存填充令」于「零」】否则若「串相等」于「方式」于『填充回绕』则「列」【「网页常量」于「一」，「网页常量」于「零」，「网页常量」于（「减」于「零」于「一」），「网页内存填充令」于「零」】否则若「串相等」于「方式」于『空填充越界』则「列」【「网页常量」于「一三一零七三」，「网页常量」于「零」，「网页常量」于「零」，「网页内存填充令」于「零」】否则「罄」）而
 「附加」授以「网页指令」于「前」于（「列」【「网页常量」于「六五五三五」，「网页常量」于「四六六零」，「网页常量」于「四」，「网页内存填充令」于「零」，「网页常量」于「六五五三五」，「网页内存读四」于「零」于「零」，「网页常量」于「八七五八三六四六八」，「网页调用」于「一」，「网页常量」于「一三一零七二」，「网页常量」于「九九」，「网页常量」于「零」，「网页内存填充令」于「零」，「网页常量」于「一」，「网页内存读四」于「零」于「零」，「网页常量」于「三零五四一九八九六」，「网页调用」于「一」，「网页常量」于「零」，「网页常量」于（「减」于「零」于「一」），「网页常量」于「一三一零七二」，「网页内存填充令」于「零」，「网页常量」于「零」，「网页内存读四」于「零」于「零」，「网页常量」于「一三一零六八」，「网页内存读四」于「零」于「零」，「网页加」，「网页常量」于（「减」于「零」于「二」），「网页调用」于「一」，「网页常量」于「七」，「网页常量」于「二五六」，「网页常量」于「一二八」，「网页内存填充令」于「零」，「网页常量」于「七」，「网页内存读四」于「零」于「零」，「网页常量」于「一三一」，「网页内存读四」于「零」于「零」，「网页加」，「网页常量」于「零」，「网页调用」于「一」】）也。
「固定访存方式」乃化「字符串」而「爻」也。
「固定访存方式」者会「方式」而若「数据段方式」于「方式」则「阳」否则若「复制方式」于「方式」则「阳」否则若「填充方式」于「方式」则「阳」否则「存在吗」授以「字符串」于（会「名」而「串相等」于「名」于「方式」）于（「列」【『固定访存』，『访存读越界』，『访存写越界』，『访存址回绕』】）也。
「固定访存模块」乃化「字符串」而「网页存储模块」也。
「固定访存模块」者会「方式」而
 虑「前」者（（「列」于「网页指令」）也若「串相等」于「方式」于『访存读越界』则「列」【「网页常量」于「一三一零七一」，「网页内存读四」于「零」于「零」，「网页弃值」】否则若「串相等」于「方式」于『访存写越界』则「列」【「网页常量」于「一三一零七一」，「网页常量」于「九九」，「网页内存写四」于「零」于「零」】否则若「串相等」于「方式」于『访存址回绕』则「列」【「网页常量」于「一」，「网页内存读八无符号」于「零」于「四二九四九六七二九五」，「网页弃值」】否则「罄」）而
 虑「令」者若「增长方式」于「方式」则「增长验证指令」于「方式」否则若「数据段方式」于「方式」则「数据段验证指令」于「方式」否则若「复制方式」于「方式」则「复制验证指令」于「方式」否则若「填充方式」于「方式」则「填充验证指令」于「方式」否则「附加」授以「网页指令」于「前」于（「列」【
 「网页常量」于「一」，「网页内存读四」于「零」于「零」，「网页常量」于「三零五四一九八九六」，「网页调用」于「一」，
 「网页常量」于「六五五三五」，「网页常量」于（「减」于「零」于「一」），「网页内存写四」于「零」于「零」，「网页常量」于「六五五三五」，「网页内存读四」于「零」于「零」，「网页常量」于（「减」于「零」于「一」），「网页调用」于「一」，
 「网页常量」于「五」，「网页常量」于「一二八」，「网页内存写八」于「零」于「零」，「网页常量」于「五」，「网页内存读八有符号」于「零」于「零」，「网页常量」于「五」，「网页内存读八无符号」于「零」于「零」，「网页加」，
 「网页常量」于「九」，「网页常量」于「三二七六九」，「网页内存写十六」于「零」于「零」，「网页常量」于「九」，「网页内存读十六有符号」于「零」于「零」，「网页常量」于「九」，「网页内存读十六无符号」于「零」于「零」，「网页加」，「网页加」，「网页常量」于「二」，「网页调用」于「一」，
 「网页常量」于「零」，「网页内存增长」于「零」，「网页常量」于「一」，「网页内存增长」于「零」，「网页加」，「网页内存大小」于「零」，「网页加」，「网页常量」于「三」，「网页调用」于「一」】）而
 （（「基准」中「零」）与（「基准」中「一」）与（「列」【「三」与「零」与「令」】）与（「基准」中「三」））与（若「增长方式」于「方式」则「列」【「一」与「三」】否则「列」【「二」与「二」】）与（「附加」授以「网页数据声明」于（「列」【「网页主动数据」于「零」于「一」于（「网页拼字节」于（「态射」授以「整数」授以「字节串」于（「列」【「一二零」，「八六」，「五二」，「一八」】）于「单字节串」））】）于（若「数据段方式」于「方式」则「列」【「网页被动数据」于（「网页拼字节」于（「态射」授以「整数」授以「字节串」于（「列」【「一一」，「一二零」，「八六」，「五二」，「一八」，「二二」】）于「单字节串」）），「网页被动数据」于（「网页拼字节」于（「态射」授以「整数」授以「字节串」于（「列」【「一」，「二」，「三」，「四」】）于「单字节串」））】否则「罄」））也。

「全局方式」乃化「字符串」而「爻」也。
「全局方式」者会「方式」而「存在吗」授以「字符串」于（会「名」而「串相等」于「名」于「方式」）于（「列」【『全局变量』，『全局值错误』，『全局存储』，『全局存储错误』】）也。
「裸机全局模块」乃化「字符串」而「网页状态模块」也。
「裸机全局模块」者会「方式」而
 虑「存储」者「或者」于（「串相等」于「方式」于『全局存储』）于（「串相等」于「方式」于『全局存储错误』）而
 虑「错误」者「或者」于（「串相等」于「方式」于『全局值错误』）于（「串相等」于「方式」于『全局存储错误』）而
 虑「末令」者（（「列」于「网页指令」）也若「存储」则「列」【「网页全局写入」于「零」，「网页全局读取」于「零」，「网页常量」于「零」，「网页常量」于「四」，「网页内存初始化令」于「一」于「零」，「网页全局读取」于「零」，「网页内存读四」于「零」于「零」，「网页常量」于「一六」，「网页内存读八无符号」于「零」于「零」，「网页加」，「网页常量」于（若「错误」则「三零五四一九九六三」否则「三零五四一九九六二」），「网页调用」于「一」】否则「列」【「网页常量」于（若「错误」则「一」否则「零」），「网页调用」于「一」】）而
 虑「核心」者（「网页模块」也（（「基准」中「零」）与（「基准」中「一」）与（「列」【
 「三」与「零」与（「附加」授以「网页指令」于（「列」【
 「网页全局读取」于「零」，「网页常量」于「一零」，「网页调用」于「一」，
 「网页调用」于「四」，「网页弃值」，「网页调用」于「四」，「网页常量」于「一二」，「网页调用」于「一」，
 「网页全局读取」于「一」，「网页常量」于（「减」于「零」于「二一四七四八三六四八」），「网页调用」于「一」，
 「网页常量」于（「减」于「零」于「一」），「网页全局写入」于「零」，「网页调用」于「四」】）于「末令」），
 「二」与「零」与（「列」【「网页全局读取」于「零」，「网页常量」于「一」，「网页加」，「网页全局写入」于「零」，「网页全局读取」于「零」】）】）与（「基准」中「三」）））而
 （「核心」与（若「存储」则「列」【「一」与「二」】否则「罄」）与（若「存储」则「列」【「网页主动数据」于「零」于「一六」于（「单字节串」于「六六」），「网页被动数据」于（「网页拼字节」于（「态射」授以「整数」授以「字节串」于（「列」【「一二零」，「八六」，「五二」，「一八」】）于「单字节串」））】否则「罄」））与（「列」【「阳」与「一零」，「阴」与（「减」于「零」于「二一四七四八三六四八」）】）也。
「：文言：臂之常量高位为零者不再附填高移，故此序止于装低位与写状态寄存器。汉语：ARM64 常量装载在高十六位为零时只发 MOVZ，因此旧序列是 MOVZ W0,#0x340 后接 MSR SPSR_EL1,X0；新序列把立即数改为 0x3C0，屏蔽全部异常掩码。：」
「屏蔽用户中断」乃化「爻」而化「字节串」而（「整数」合「字节串」）也。
「屏蔽用户中断」者会「臂」而会「字」而
 虑「旧」者「网页拼字节」于（「态射」授以「整数」授以「字节串」于（若「臂」则「列」【「零」，「一零四」，「一二八」，「八二」，「零」，「六四」，「二四」，「二一三」】否则「列」【「一零四」，「二」，「二」，「零」，「零」，「一零六」，「三五」，「一零四」，「零」，「零」，「三二」，「零」，「七二」，「二零七」】）于「单字节串」）而
 虑「新」者「网页拼字节」于（「态射」授以「整数」授以「字节串」于（若「臂」则「列」【「零」，「一二零」，「一二八」，「八二」，「零」，「六四」，「二四」，「二一三」】否则「列」【「一零四」，「二」，「零」，「零」，「零」，「一零六」，「三五」，「一零四」，「零」，「零」，「三二」，「零」，「七二」，「二零七」】）于「单字节串」）而
 虑「宽」者「字节串长度」于「旧」而
 虑「位置」者「滤」授以「整数」于（会「位」而「全部符合」授以「整数」于（会「偏」而「等于」于（「字节串取字节」于「字」于（「加」于「位」于「偏」））于（「字节串取字节」于「旧」于「偏」））于（「整数范围」于「零」于「宽」））于（「整数范围」于「零」于（「加」于（「减」于「一六三八四」于「宽」）于「一」））而
 虑「检」者「检查」于（「等于」于（「长度」授以「整数」于「位置」）于「一」）于『用户中断标志序列必须唯一』而
 虑「位」者「第N个」授以「整数」于「零」于「位置」而
 「位」与「新」也。
「破坏通信所有权」乃化「爻」而化「字节串」而（「整数」合「字节串」）也。
「破坏通信所有权」者会「臂」而会「字」而
 虑「旧」者「网页拼字节」于（「态射」授以「整数」授以「字节串」于（若「臂」则「列」【「一五九」，「六八」，「零」，「一八五」】否则「列」【「一九九」，「六六」，「五二」，「零」，「零」，「零」，「零」】）于「单字节串」）而
 虑「新」者「网页拼字节」于（「态射」授以「整数」授以「字节串」于（若「臂」则「列」【「一三五」，「六八」，「零」，「一八五」】否则「列」【「一九九」，「六六」，「五二」，「二五五」，「二五五」，「二五五」，「二五五」】）于「单字节串」）而
 虑「宽」者「字节串长度」于「旧」而
 虑「位置」者「滤」授以「整数」于（会「位」而「全部符合」授以「整数」于（会「偏」而「等于」于（「字节串取字节」于「字」于（「加」于「位」于「偏」））于（「字节串取字节」于「旧」于「偏」））于（「整数范围」于「零」于「宽」））于（「整数范围」于「零」于（「加」于（「减」于「一六三八四」于「宽」）于「一」））而
 虑「检」者「检查」于（「等于」于（「长度」授以「整数」于「位置」）于「一」）于『任务所有者初始化指令必须唯一』而
 虑「位」者「第N个」授以「整数」于「零」于「位置」而
 「位」与「新」也。
「：文言：复核宿主盘之全字，非独听用户自言。汉语：QEMU 退出后逐字节核对一 MiB 磁盘文件；目标十六扇区按独立公式计算，其他区域必须保持零。重启读取复用同一文件，不重新初始化。：」
「核对磁盘文件」乃化「字符串」而化「爻」而「有」也。
「核对磁盘文件」者会「路径名」而会「已写」而
 虑「字」者「文件系统」之「读文件字节串」于「路径名」而
 虑「长检」者「检查」于（「等于」于（「字节串长度」于「字」）于「一零四八五七六」）于『磁盘文件尺寸改变』而
 递归虑「核」其化「整数」而「有」者会「位」而
 若「等于」于「位」于「一零四八五七六」则「元」否则
 虑「期」者若「且」于「已写」于（「且」于（「非」于（「小于」于「位」于「三五八四」））于（「小于」于「位」于「一一七七六」））则「整数余数」于（「加」于（「加」于（「乘」于（「整数余数」于「位」于「五一二」）于「一七」）于（「乘」于（「除以」于「位」于「五一二」）于「二九」））于「九三」）于「二五六」否则「零」而
 虑「检」者「检查」于（「等于」于（「字节串取字节」于「字」于「位」）于「期」）于（『磁盘字节不符：』附（「整数表示」于「位」））而「核」于（「加」于「位」于「一」）
 而「核」于「零」也。
「验证一项」乃化「爻」而化「字符串」而「有」也。
「验证一项」者会「臂」而会「方式」而
 虑「架构」者若「臂」则『臂六十四』否则『兼容六十四』而
 虑「名」者「架构」附『-』附「方式」而
 虑「模块」者「测试模块」于「臂」于「方式」而
 虑「探测」者「或者」于（「串相等」于「方式」于『隔离』）于（「串相等」于「方式」于『放开权限』）而
 虑「客体外部」者「或者」于（「串相等」于「方式」于『客体外部C』）于（「串相等」于「方式」于『客体外部C错误』）而
 虑「客体字」者若「客体外部」则「文件系统」之「读文件字节串」于（若「串相等」于「方式」于『客体外部C』则「外部路径」中「二」否则「外部路径」中「一」）否则「空字节串」于「元」而
 虑「外部」者「或者」于（「串相等」于「方式」于『外部C』）于（「串相等」于「方式」于『外部C错误』）而
 虑「外部字」者若「外部」则「文件系统」之「读文件字节串」于（若「串相等」于「方式」于『外部C』则「外部路径」中「零」否则「外部路径」中「一」）否则「空字节串」于「元」而
 虑「设备退出式」者「存在吗」授以「字符串」于（会「项」而「串相等」于「项」于「方式」）于（「列」【『设备自然退出』，『设备显式退出』，『设备陷阱退出』，『设备缺页退出』，『设备子任务退出』，『设备子任务故障』】）而
 虑「设备主非零」者「或者」于（「串相等」于「方式」于『设备缺页退出』）于（「或者」于（「串相等」于「方式」于『设备显式退出』）于（「串相等」于「方式」于『设备陷阱退出』））而
 虑「设备子结束」者「或者」于（「串相等」于「方式」于『设备子任务退出』）于（「串相等」于「方式」于『设备子任务故障』）而
 虑「程序壳式」者「或者」于（「串相等」于「方式」于『壳程序运行』）于（「串相等」于「方式」于『壳程序重启』）而
 虑「程序壳复启」者「串相等」于「方式」于『壳程序重启』而
 虑「程序壳外部」者若「且」于「程序壳式」于（「非」于（「串相等」于（「外部路径」中「零」）于『』））则「文件系统」之「读文件字节串」于（「外部路径」中「零」）否则「空字节串」于「元」而
 虑「文件壳式」者「存在吗」授以「字符串」于（会「项」而「串相等」于「项」于「方式」）于（「列」【『壳文件写入』，『壳文件重启』，『壳文件错误』】）而
 虑「壳文件复启」者「且」于「文件壳式」于（「非」于（「串相等」于「方式」于『壳文件写入』））而
 虑「目录式」者「存在吗」授以「字符串」于（会「项」而「串相等」于「项」于「方式」）于（「列」【『文件目录写入』，『文件目录重启』，『文件目录变更』，『文件目录变更重启』，『文件目录参数』，『文件目录槽回收』，『文件目录坏记录』】）而
 虑「目录复启」者「存在吗」授以「字符串」于（会「项」而「串相等」于「项」于「方式」）于（「列」【『文件目录重启』，『文件目录变更』，『文件目录变更重启』】）而
 虑「目录成对」者「或者」于「目录复启」于（「串相等」于「方式」于『文件目录写入』）而
 虑「日志式」者「存在吗」授以「字符串」于（会「项」而「串相等」于「项」于「方式」）于（「列」【『日志写入』，『日志重启恢复』，『日志未提交写入』，『日志未提交恢复』，『日志损坏拒绝』，『日志格式拒绝』，『日志空间边界』】）而
 虑「日志复启」者「或者」于（「串相等」于「方式」于『日志重启恢复』）于（「串相等」于「方式」于『日志未提交恢复』）而
 虑「日志成对」者「或者」于「日志复启」于（「或者」于（「串相等」于「方式」于『日志写入』）于（「串相等」于「方式」于『日志未提交写入』））而
 虑「日志缺尾」者「或者」于（「串相等」于「方式」于『日志未提交写入』）于（「串相等」于「方式」于『日志未提交恢复』）而
 虑「磁盘式」者「存在吗」授以「字符串」于（会「项」而「串相等」于「项」于「方式」）于（「列」【『磁盘写入』，『磁盘重启读取』，『磁盘读写』，『磁盘参数拒绝』，『磁盘只读』，『磁盘数据误判』】）而
 虑「磁盘复启」者「串相等」于「方式」于『磁盘重启读取』而
 虑「磁盘只读」者「串相等」于「方式」于『磁盘只读』而
 虑「寄存器式」者「存在吗」授以「字符串」于（会「项」而「串相等」于「项」于「方式」）于（「列」【『用户设备寄存器』，『设备寄存器无授权』，『设备寄存器误判』】）而
 虑「寄存器无权」者「串相等」于「方式」于『设备寄存器无授权』而
 虑「寄存器授权」者「且」于「寄存器式」于（「非」于「寄存器无权」）而
 虑「撤销漏刷」者「串相等」于「方式」于『设备页撤销漏刷』而
 虑「撤销页」者「或者」于「撤销漏刷」于（「串相等」于「方式」于『设备页撤销』）而
 虑「映射误开」者「串相等」于「方式」于『设备页权限误开』而
 虑「用户设备区」者「存在吗」授以「字符串」于（会「项」而「串相等」于「项」于「方式」）于（「列」【『用户设备区首部』，『用户设备区末部』，『用户设备区上界』，『用户设备区只读』】）而
 虑「页映射」者「存在吗」授以「字符串」于（会「项」而「串相等」于「项」于「方式」）于（「列」【『用户设备区首部』，『用户设备区末部』，『用户设备区上界』，『用户设备区只读』，『设备页写入』，『设备页只读』，『设备页权限误开』，『设备页撤销』，『设备页撤销漏刷』】）而
 虑「访存旁路」者「串相等」于「方式」于『直接访存旁路』而
 虑「直接访存」者「或者」于「页映射」于（「或者」于「访存旁路」于（「串相等」于「方式」于『直接访存拒绝』））而
 虑「隔离缺席」者「串相等」于「方式」于『隔离硬件缺席』而
 虑「隔离平台」者「或者」于（「或者」于（「或者」于（「或者」于（「或者」于「设备退出式」于（「或者」于「程序壳式」于「文件壳式」））于「目录式」）于（「或者」于「日志式」于「磁盘式」））于（「或者」于「寄存器授权」于「直接访存」））于（「或者」于「隔离缺席」于（「串相等」于「方式」于『隔离设备发现』））而
 虑「设备式」者「或者」于「程序壳式」于（「或者」于（「或者」于「寄存器式」于「隔离平台」）于（「设备发现方式」于「方式」））而
 虑「壳式」者「存在吗」授以「字符串」于（会「项」而「串相等」于「项」于「方式」）于（「列」【『壳程序运行』，『壳程序重启』，『壳文件写入』，『壳文件重启』，『壳文件错误』，『壳任务交互』，『壳输入恢复』，『壳退出清理』】）而
 虑「字节式」者「字节通道方式」于「方式」而
 虑「导入式」者「或者」于「客体外部」于（「串相等」于「方式」于『客体导入调用』）而
 虑「内存执行式」者「串相等」于「方式」于『客体内存执行』而
 虑「具体引用式」者「串相等」于「方式」于『客体具体引用』而
 虑「引用全局式」者「串相等」于「方式」于『客体引用全局』而
 虑「引用控制式」者「串相等」于「方式」于『客体引用控制』而
 虑「布局式」者「串相等」于「方式」于『元数据布局』而
 虑「传递式」者「串相等」于「方式」于『客体引用传递』而
 虑「引用式」者「串相等」于「方式」于『客体引用与表』而
 虑「表批式」者「串相等」于「方式」于『客体表批量』而
 虑「元素式」者「串相等」于「方式」于『客体元素初始化』而
 虑「执行式」者「串相等」于「方式」于『客体整数执行』而
 虑「栈验式」者「串相等」于「方式」于『客体操作数栈』而
 虑「解码式」者「串相等」于「方式」于『客体指令解码』而
 虑「资源式」者「串相等」于「方式」于『客体资源初置』而
 虑「索引式」者「串相等」于「方式」于『客体函数索引』而
 虑「区段式」者「串相等」于「方式」于『客体模块区段』而
 虑「读数式」者「串相等」于「方式」于『客体读数边界』而
 虑「常规式」者「或者」于（「或者」于（「或者」于（「或者」于（「或者」于（「或者」于（「或者」于（「或者」于（「或者」于（「或者」于「导入式」于「内存执行式」）于（「或者」于（「或者」于（「或者」于（「或者」于（「或者」于（「或者」于（「或者」于（「或者」于「具体引用式」于「引用全局式」）于「引用控制式」）于「布局式」）于「传递式」）于「引用式」）于「表批式」）于「元素式」）于「执行式」））于「栈验式」）于「解码式」）于「资源式」）于「索引式」）于「区段式」）于「读数式」）于「设备式」）于（「或者」于「壳式」于（「或者」于「字节式」于（「常规用例方式」于「方式」）））而
 虑「常规模式」者「且」于「常规式」于（「非」于（「串相等」于「方式」于『验收拒绝显式退出』））而
 虑「阻塞式」者「阻塞用例方式」于「方式」而
 虑「通信式」者「通信用例方式」于「方式」而
 虑「回收式」者「回收用例方式」于「方式」而
 虑「创建式」者「创建用例方式」于「方式」而
 虑「终止式」者「终止用例方式」于「方式」而
 虑「等待式」者「等待用例方式」于「方式」而
 虑「故障」者「故障用例方式」于「方式」而
 虑「双」者「或者」于（「串相等」于「方式」于『双任务』）于（「或者」于（「串相等」于「方式」于『双任务错误』）于（「串相等」于「方式」于『双任务禁抢占』））而
 虑「镜像」者若「程序壳式」则「生成设备驱动镜像」于「臂」于（若「程序壳复启」则「文件命令壳模块」于「元」否则「程序壳播种模块」于「程序壳外部」）否则若「导入式」则「生成常规状态镜像」于「臂」于（「客体导入用例」于「客体字」于（「串相等」于「方式」于『客体外部C错误』））否则若「内存执行式」则「生成常规状态镜像」于「臂」于（「客体内存执行用例」于「元」）否则若「具体引用式」则「生成常规状态镜像」于「臂」于（「客体具体引用用例」于「元」）否则若「引用全局式」则「生成常规状态镜像」于「臂」于（「客体引用全局用例」于「元」）否则若「引用控制式」则「生成常规状态镜像」于「臂」于（「客体引用控制用例」于「元」）否则若「布局式」则「生成常规状态镜像」于「臂」于（「元数据布局用例」于「元」）否则若「传递式」则「生成常规状态镜像」于「臂」于（「客体引用传递用例」于「元」）否则若「引用式」则「生成常规状态镜像」于「臂」于（「客体引用用例」于「元」）否则若「表批式」则「生成常规状态镜像」于「臂」于（「客体表批量用例」于「元」）否则若「元素式」则「生成常规状态镜像」于「臂」于（「客体元素用例」于「元」）否则若「执行式」则「生成常规状态镜像」于「臂」于（「客体执行用例」于「元」）否则若「栈验式」则「生成常规状态镜像」于「臂」于（「客体栈验证用例」于「元」）否则若「解码式」则「生成常规状态镜像」于「臂」于（「客体解码用例」于「元」）否则若「资源式」则「生成常规状态镜像」于「臂」于（「客体资源用例」于「元」）否则若「索引式」则「生成常规状态镜像」于「臂」于（「客体索引用例」于「元」）否则若「区段式」则「生成常规状态镜像」于「臂」于（「客体区段用例」于「元」）否则若「读数式」则「生成常规状态镜像」于「臂」于（「客体读数用例」于「元」）否则若「设备退出式」则「生成自定设备驱动镜像」于「臂」于（「设备退出用例」于「方式」）于（「串相等」于「方式」于『设备缺页退出』）否则若「文件壳式」则「生成设备驱动镜像」于「臂」于（「文件命令壳模块」于「元」）否则若「目录式」则「生成设备驱动镜像」于「臂」于（「目录用例模块」于「方式」）否则若「日志式」则「生成设备驱动镜像」于「臂」于（「日志用例模块」于「方式」）否则若「磁盘式」则「生成设备驱动镜像」于「臂」于（「磁盘用例模块」于「方式」）否则若「寄存器式」则（若「寄存器无权」则「生成常规状态镜像」于「臂」于（「设备寄存器用例」于「方式」）否则「生成设备驱动镜像」于「臂」于（「设备寄存器用例」于「方式」））否则若「用户设备区」则「生成用户设备区镜像」于「臂」于「方式」否则若「页映射」则「生成设备映射镜像」于「臂」于（若「撤销漏刷」则「五」否则若「撤销页」则「四」否则若「映射误开」则「三」否则若「串相等」于「方式」于『设备页只读』则「二」否则「一」）否则若「直接访存」则「生成直接访存镜像」于「臂」于「访存旁路」否则若「隔离平台」则「生成设备隔离镜像」于「臂」于（「设备发现用例」于『设备发现』）否则若「常规式」则（若「常规模式」则「生成常规状态镜像」于「臂」于（若「直接访存」则「常规用例模块」于『普通返回』否则若「设备式」则「设备发现用例」于（若「隔离平台」则『设备发现』否则「方式」）否则若「壳式」则「文件命令壳模块」于「元」否则若「字节式」则「字节通道用例」于「方式」否则「常规用例模块」于「方式」）否则「生成状态镜像」于「臂」于（若「设备式」则「设备发现用例」于（若「隔离平台」则『设备发现』否则「方式」）否则若「壳式」则「文件命令壳模块」于「元」否则若「字节式」则「字节通道用例」于「方式」否则「常规用例模块」于「方式」）于「阴」）否则若「阻塞式」则「生成阻塞用例镜像」于「臂」于「方式」否则若「通信式」则「生成状态镜像」于「臂」于（「通信用例模块」于「方式」）于「阴」否则若「回收式」则「生成状态镜像」于「臂」于（「回收用例模块」于「方式」）于「阴」否则若「创建式」则「生成状态镜像」于「臂」于（「创建用例模块」于「方式」）于「阴」否则若「终止式」则「生成终止用例镜像」于「臂」于「方式」否则若「等待式」则「生成等待用例镜像」于「臂」于「方式」否则若「故障」则「生成故障用例镜像」于「臂」于「方式」否则若「双」则「生成双任务镜像」于「臂」于（「双任务用例」于「零」于「阴」）于（「双任务用例」于「一」于（「串相等」于「方式」于『双任务错误』））否则若「外部」则「生成状态镜像」于「臂」于（（「读取外部二进制」于「外部字」）中「零」）于「阴」否则若「全局方式」于「方式」则「生成状态镜像」于「臂」于（「裸机全局模块」于「方式」）于「阴」否则若「固定访存方式」于「方式」则「生成存储镜像」于「臂」于（「固定访存模块」于「方式」）于「阴」否则若「臂」则「生成臂镜像」于「模块」于「探测」否则「生成兼容镜像」于「模块」于「探测」而
 虑「文件」者「路径」于（「名」附『.镜像』）而
 虑「写」者「文件系统」之「写文件字节串」于「文件」于「镜像」而
 虑「写模」者「文件系统」之「写文件字节串」于（「路径」于（「名」附『.wasm』））于（若「常规式」则「生成状态二进制」于（若「程序壳式」则（若「程序壳复启」则「文件命令壳模块」于「元」否则「程序壳播种模块」于「程序壳外部」）否则若「导入式」则「客体导入用例」于「客体字」于（「串相等」于「方式」于『客体外部C错误』）否则若「内存执行式」则「客体内存执行用例」于「元」否则若「具体引用式」则「客体具体引用用例」于「元」否则若「引用全局式」则「客体引用全局用例」于「元」否则若「引用控制式」则「客体引用控制用例」于「元」否则若「布局式」则「元数据布局用例」于「元」否则若「传递式」则「客体引用传递用例」于「元」否则若「引用式」则「客体引用用例」于「元」否则若「表批式」则「客体表批量用例」于「元」否则若「元素式」则「客体元素用例」于「元」否则若「执行式」则「客体执行用例」于「元」否则若「栈验式」则「客体栈验证用例」于「元」否则若「解码式」则「客体解码用例」于「元」否则若「资源式」则「客体资源用例」于「元」否则若「索引式」则「客体索引用例」于「元」否则若「区段式」则「客体区段用例」于「元」否则若「读数式」则「客体读数用例」于「元」否则若「设备退出式」则「设备退出用例」于「方式」否则若「文件壳式」则「文件命令壳模块」于「元」否则若「目录式」则「目录用例模块」于「方式」否则若「日志式」则「日志用例模块」于「方式」否则若「磁盘式」则「磁盘用例模块」于「方式」否则若「寄存器式」则「设备寄存器用例」于「方式」否则若「用户设备区」则「用户设备区模块」于「方式」否则若「直接访存」则「常规用例模块」于『普通返回』否则若「设备式」则「设备发现用例」于（若「隔离平台」则『设备发现』否则「方式」）否则若「壳式」则「文件命令壳模块」于「元」否则若「字节式」则「字节通道用例」于「方式」否则「常规用例模块」于「方式」）否则若「阻塞式」则「生成状态二进制」于（「阻塞用例模块」于「方式」于「零」）否则若「通信式」则「生成状态二进制」于（「通信用例模块」于「方式」）否则若「回收式」则「生成状态二进制」于（「回收用例模块」于「方式」）否则若「创建式」则「生成状态二进制」于（「创建用例模块」于「方式」）否则若「终止式」则「生成状态二进制」于（「终止用例模块」于「方式」于「零」）否则若「等待式」则「生成状态二进制」于（「等待用例模块」于「方式」于「零」）否则若「故障」则「生成状态二进制」于（「故障用例模块」于「方式」于「零」）否则若「双」则「生成状态二进制」于（「双任务用例」于「零」于「阴」）否则若「外部」则「外部字」否则若「全局方式」于「方式」则「生成状态二进制」于（「裸机全局模块」于「方式」）否则若「固定访存方式」于「方式」则「生成存储二进制」于（「固定访存模块」于「方式」）否则「生成网页二进制」于「模块」）而
 虑「写接收次模」者若「串相等」于「方式」于『接收终止』则「文件系统」之「写文件字节串」于（「路径」于（「名」附『.次任务.wasm』））于（「生成状态二进制」于（「阻塞用例模块」于「方式」于「一」））否则「元」而
 虑「写终止次模」者若「终止式」则「文件系统」之「写文件字节串」于（「路径」于（「名」附『.次任务.wasm』））于（「生成状态二进制」于（「终止用例模块」于「方式」于「一」））否则「元」而
 虑「写等待次模」者若「等待式」则「文件系统」之「写文件字节串」于（「路径」于（「名」附『.次任务.wasm』））于（「生成状态二进制」于（「等待用例模块」于「方式」于「一」））否则「元」而
 虑「写故障次模」者若「故障」则「文件系统」之「写文件字节串」于（「路径」于（「名」附『.次任务.wasm』））于（「生成状态二进制」于（「故障用例模块」于「方式」于「一」））否则「元」而
 虑「写次模」者若「双」则「文件系统」之「写文件字节串」于（「路径」于（「名」附『.次任务.wasm』））于（「生成状态二进制」于（「双任务用例」于「一」于（「串相等」于「方式」于『双任务错误』）））否则「元」而
 虑「通信权补」者若「串相等」于「方式」于『通信无授权』则（
  虑「补丁」者「破坏通信所有权」于「臂」于「镜像」而
  虑「补文件」者「路径」于（「名」附『.通信权限』）而
  虑「写补」者「文件系统」之「写文件字节串」于「补文件」于（「补丁」中「一」）而
  虑「改」者「运行工具」于『dd』于（「列」【『if=』附「补文件」，『of=』附「文件」，『bs=1』，『seek=』附（「整数表示」于（「补丁」中「零」）），『conv=notrunc』】）而「元」）否则「元」而
 虑「代际补」者若「串相等」于「方式」于『代际耗尽』则（
  虑「补文件」者「路径」于（「名」附『.句柄上限』）而
  虑「写补」者「文件系统」之「写文件字节串」于「补文件」于（「小端字节」于「四」于「二一四七四八三六四七」）而
  虑「改」者「运行工具」于『dd』于（「列」【『if=』附「补文件」，『of=』附「文件」，『bs=1』，『seek=』附（「整数表示」于（若「臂」则「二零零八三六」否则「一三一八八」）），『conv=notrunc』】）而「元」）否则「元」而
 虑「钟补」者若「或者」于（「串相等」于「方式」于『屏蔽中断』）于（「串相等」于「方式」于『双任务禁抢占』）则（
  虑「补丁」者「屏蔽用户中断」于「臂」于「镜像」而
  虑「补文件」者「路径」于（「名」附『.中断标志』）而
  虑「写补」者「文件系统」之「写文件字节串」于「补文件」于（「补丁」中「一」）而
  虑「改」者「运行工具」于『dd』于（「列」【『if=』附「补文件」，『of=』附「文件」，『bs=1』，『seek=』附（「整数表示」于（「补丁」中「零」）），『conv=notrunc』】）而「元」）否则「元」而
 虑「破坏」者若「或者」于（「串相等」于「方式」于『放开权限』）于（「串相等」于「方式」于『故障放开权限』）则
  （虑「字节文件」者「路径」于（「名」附『.字节』）而
   虑「写字」者「文件系统」之「写文件字节串」于「字节文件」于（「单字节串」于（若「臂」则「六五」否则「一三五」））而
   虑「改」者「运行工具」于『dd』于（「列」【『if=』附「字节文件」，『of=』附「文件」，『bs=1』，『seek=』附（「整数表示」于（若「串相等」于「方式」于『故障放开权限』则（若「臂」则「一四七四七二」否则「八六零一六」）否则若「臂」则「一四三三七六」否则「七三七二八」）），『conv=notrunc』】）而「元」）否则「元」而
 虑「进程文件」者「路径」于（「名」附『.进程』）而
 虑「输入测试」者「或者」于「壳式」于（「或者」于（「串相等」于「方式」于『控制台输入』）于（「或者」于（「串相等」于「方式」于『控制台错误』）于（「串相等」于「方式」于『控制台中断』）））而
 虑「串口前缀」者「路径」于（「名」附『.串口』）而
 虑「建入」者若「输入测试」则「运行工具」于『mkfifo』于（「列」【「串口前缀」附『.in』】）否则『』而
 虑「建出」者若「输入测试」则「文件系统」之「写文件」于（「串口前缀」附『.out』）于『』否则「元」而
 虑「共参」者「附加」授以「字符串」于（（「列」于「字符串」）也（「列」【『-accel』，『tcg』，『-m』，『128M』，『-smp』，『1』，『-display』，『none』，『-monitor』，『none』，『-serial』，（若「输入测试」则『pipe:』附「串口前缀」否则『stdio』），『-no-reboot』，『-pidfile』，「进程文件」，『-kernel』，「文件」】））于（若「墙钟用例方式」于「方式」则（「列」【『-rtc』，『base=』附（「墙钟基准」于「方式」）】）否则（「罄」授以「字符串」））而
 虑「机参」者「裸机模拟平台参数」于「臂」于「设备式」于（「且」于「隔离平台」于（「非」于「隔离缺席」））而
 虑「挂盘」者「且」于（「且」于（「且」于「设备式」于（「非」于「寄存器无权」））于（「非」于「直接访存」））于（「非」于（「或者」于「隔离缺席」于（「串相等」于「方式」于『设备不存在』）））而
 虑「盘路径」者「路径」于（（若「程序壳式」则「架构」附『-命令壳程序持久化』否则若「文件壳式」则「架构」附『-命令壳文件持久化』否则若「目录成对」则「架构」附『-文件目录持久化』否则若「日志成对」则「架构」附（若「日志缺尾」则『-日志缺尾持久化』否则『-日志持久化』）否则若「或者」于「磁盘复启」于（「串相等」于「方式」于『磁盘写入』）则「架构」附『-磁盘持久化』否则「名」）附『.盘』）而
 虑「建盘」者若「且」于「挂盘」于（「非」于（「或者」于（「或者」于（「或者」于「程序壳复启」于「壳文件复启」）于「目录复启」）于（「或者」于「日志复启」于「磁盘复启」）））则「文件系统」之「写文件字节串」于「盘路径」于（「零字节」于「一零四八五七六」）否则「元」而
 虑「设备参」者（（「列」于「字符串」）也若「直接访存」则「列」【『-device』，『edu,addr=4,dma_mask=4294967295』】否则若「挂盘」则「列」【『-drive』，『file=』附「盘路径」附『,if=none,id=yy_disk,format=raw』附（若「磁盘只读」则『,readonly=on』否则『』），『-device』，「裸机磁盘设备参数」于「隔离平台」】否则「罄」）而
 虑「任务」者「异步获取输出」于（若「臂」则『qemu-system-aarch64』否则『qemu-system-x86_64』）于（「附加」授以「字符串」于「设备参」于（「附加」授以「字符串」于「机参」于「共参」））而
 虑「输入」者若「输入测试」则
  虑「就绪」者「等待输入就绪」于「任务」于「六零零」于「进程文件」于（「串口前缀」附『.out』）而
  若「程序壳式」则
  虑「起」者若「程序壳复启」则「元」否则「文件系统」之「写文件」于（「串口前缀」附『.in』）于『运行 /循环.wasm「：换行：」』而
  虑「执行就绪」者若「程序壳复启」则「元」否则「等待程序执行」于「任务」于「三零零零」于「进程文件」于（「串口前缀」附『.out』）而
  「文件系统」之「写文件」于（「串口前缀」附『.in』）于（（若「程序壳复启」则『读取 /备注「：换行：」运行 /算术.wasm「：换行：」等待「：换行：」运行 /后备.wasm「：换行：」等待「：换行：」』否则『新建 /并行「：换行：」写入 /并行 父子并行「：换行：」读取 /并行「：换行：」终止「：换行：」等待「：换行：」运行 /算术.wasm「：换行：」等待「：换行：」运行 /算术.wasm 启动「：换行：」等待「：换行：」运行 /异常.wasm「：换行：」等待「：换行：」运行 /损坏.wasm「：换行：」等待「：换行：」运行 /算术.wasm 不存在「：换行：」等待「：换行：」运行 /后备.wasm「：换行：」等待「：换行：」运行 /不存在「：换行：」运行 /算术.wasm 启动 多余「：换行：」新建 /备注「：换行：」写入 /备注 程序之后仍可写「：换行：」读取 /备注「：换行：」列出 /「：换行：」』）附（若「大于」于（「字节串长度」于「程序壳外部」）于「零」则『运行 /外部.wasm「：换行：」等待「：换行：」』否则『』）附『运行 /指针.wasm 指针验收「：换行：」等待「：换行：」运行 /算术.wasm「：换行：」等待「：换行：」退出「：换行：」』）否则
  「文件系统」之「写文件」于（「串口前缀」附『.in』）于（若「文件壳式」则（若「串相等」于「方式」于『壳文件写入』则『格式化 确认「：换行：」建目录 /文档「：换行：」新建 /文档/样本「：换行：」写入 /文档/样本 豫言文件，重启仍在「：换行：」切换 /文档「：换行：」当前「：换行：」列出「：换行：」读取 ./样本「：换行：」帮助「：换行：」启动「：换行：」等待「：换行：」读取 /文档/样本「：换行：」退出「：换行：」』否则若「串相等」于「方式」于『壳文件重启』则『当前「：换行：」列出 /文档「：换行：」切换 /文档「：换行：」读取 ../文档/样本「：换行：」新建 临时「：换行：」写入 临时 删除后应消失「：换行：」删除 临时「：换行：」列出「：换行：」退出「：换行：」』否则『格式化「：换行：」新建 /文档/误建/「：换行：」读取 /文档/样本/「：换行：」读取 /不存在「：换行：」建目录 /文档「：换行：」切换 /文档/样本「：换行：」删除 /文档「：换行：」切换 /文档「：换行：」删除 .「：换行：」当前「：换行：」读取 样本「：换行：」退出「：换行：」』）否则若「壳式」则（若「串相等」于「方式」于『壳任务交互』则『帮助「：换行：」任务「：换行：」等待「：换行：」终止「：换行：」启动「：换行：」启动「：换行：」等待「：换行：」任务「：换行：」忙碌「：换行：」任务「：换行：」终止「：换行：」等待「：换行：」任务「：换行：」退出「：换行：」』否则若「串相等」于「方式」于『壳退出清理』则『忙碌「：换行：」退出「：换行：」』否则（『xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx退出「：换行：」未知「：换行：」帮X』附（「字节转字符串」于「八」）附『助「：换行：」帮忙』附（「字节转字符串」于「一二七」）附『助』附（「字节转字符串」于「一三」）附『「：换行：」退出「：换行：」』））否则若「串相等」于「方式」于『控制台错误』则『言「：换行：」』否则若「串相等」于「方式」于『控制台中断』则（『a』附（「字节转字符串」于「三」）附『b』）否则『豫「：换行：」』）否则「元」而
 虑「原果」者「等待模拟」于「任务」于「六零零」于「进程文件」而
 虑「果」者（「原果」中「零」）与（「原果」中「一」）与（若「输入测试」则「文件系统」之「读文件」于（「串口前缀」附『.out』）否则「原果」中「二」）与（「原果」中「三」）而
 虑「负例」者若「具体引用式」则「阴」否则若「引用全局式」则「阴」否则若「引用控制式」则「阴」否则若「布局式」则「阴」否则若「传递式」则「阴」否则若「引用式」则「阴」否则若「表批式」则「阴」否则若「元素式」则「阴」否则若「导入式」则「阴」否则若「内存执行式」则「阴」否则若「执行式」则「阴」否则若「栈验式」则「阴」否则若「解码式」则「阴」否则若「资源式」则「阴」否则若「索引式」则「阴」否则若「区段式」则「阴」否则若「读数式」则「阴」否则若「常规式」则「存在吗」授以「字符串」于（会「项」而「串相等」于「项」于「方式」）于（「列」【『设备显式退出』，『设备陷阱退出』，『设备缺页退出』，『磁盘数据误判』，『设备寄存器误判』，『设备页撤销漏刷』，『设备页权限误开』，『直接访存旁路』，『隔离硬件缺席』，『设备标识误判』，『字节数据误判』，『退出码误判』，『普通非零退出』，『验收拒绝显式退出』】）否则若「阻塞式」则「或者」于（「串相等」于「方式」于『阻塞通信错误』）于（「串相等」于「方式」于『断开来源错误』）否则若「通信式」则「非」于（「串相等」于「方式」于『双向通信』）否则若「回收式」则「或者」于（「串相等」于「方式」于『回收期望错误』）于（「串相等」于「方式」于『回收句柄错误』）否则若「创建式」则「非」于（「串相等」于「方式」于『运行时复制』）否则若「终止式」则「非」于（「串相等」于「方式」于『终止等待者』）否则若「等待式」则「串相等」于「方式」于『等待结果错误』否则若「故障」则「存在吗」授以「字符串」于（会「名」而「串相等」于「名」于「方式」）于（「列」【『故障码错误』，『故障状态错误』，『故障放开权限』】）否则若「串相等」于「方式」于『双任务』则「阴」否则若「串相等」于「方式」于『系统调用帧』则「阴」否则若「串相等」于「方式」于『定时中断』则「阴」否则若「串相等」于「方式」于『外部C』则「阴」否则若「或者」于（「串相等」于「方式」于『全局变量』）于（「串相等」于「方式」于『全局存储』）则「阴」否则若「串相等」于「方式」于『除余』则「阴」否则若「串相等」于「方式」于『位运算』则「阴」否则若「串相等」于「方式」于『内存增长』则「阴」否则若「串相等」于「方式」于『数据段初始化』则「阴」否则若「串相等」于「方式」于『批量复制』则「阴」否则若「串相等」于「方式」于『批量填充』则「阴」否则「且」于（「非」于（「串相等」于「方式」于『固定访存』））于（「且」于（「非」于（「串相等」于「方式」于『控制台输入』））于（「且」于（「非」于（「串相等」于「方式」于『结构控制』））于（「且」于（「非」于（「串相等」于「方式」于『整数比较』））于（「且」于（「非」于（「串相等」于「方式」于『正常』））于（「非」于（「串相等」于「方式」于『隔离』））））））而
 虑「期码」者若「臂」则（若「负例」则「一」否则「零」）否则（若「负例」则「三五」否则「三三」）而
 虑「期文」者若「或者」于「撤销漏刷」于（「或者」于「映射误开」于（「或者」于「隔离缺席」于「访存旁路」））则『裸机核验失败』否则若「常规模式」则（若「负例」则『根任务非零退出』否则『用户任务全部退出』）否则若「负例」则『裸机核验失败』否则若「或者」于（「或者」于（「或者」于（「或者」于（「或者」于「阻塞式」于「通信式」）于「回收式」）于「创建式」）于（「或者」于「终止式」于「等待式」））于（「或者」于「双」于「故障」）则『双任务抢占验证通过』否则若「探测」则『用户态隔离验证通过』否则『用户态计算验证通过』而
 虑「日志」者「文件系统」之「写文件」于（「路径」于（「名」附『.日志』））于（（「果」中「二」）附（「果」中「三」））而
 虑「退检」者「检查」于（「等于」于（「果」中「一」）于「期码」）于（「名」附『退出码不符，见日志：』附「目录」）而
 虑「导入文检」者若「导入式」则「检查」于（「是子字符串吗」于『客体导入调用核验通过』于（「果」中「二」））于『客体导入未完成核验』否则「元」而
 虑「内存执行文检」者若「内存执行式」则「检查」于（「是子字符串吗」于『客体内存执行核验通过』于（「果」中「二」））于『客体内存解释未完成核验』否则「元」而
 虑「具体引用文检」者若「具体引用式」则「检查」于（「是子字符串吗」于『客体具体引用核验通过』于（「果」中「二」））于『客体具体引用未完成核验』否则「元」而
 虑「引用全局文检」者若「引用全局式」则「检查」于（「是子字符串吗」于『客体引用全局核验通过』于（「果」中「二」））于『客体引用全局未完成核验』否则「元」而
 虑「引用控制文检」者若「引用控制式」则「检查」于（「是子字符串吗」于『客体引用控制核验通过』于（「果」中「二」））于『客体引用控制未完成核验』否则「元」而
 虑「布局文检」者若「布局式」则「检查」于（「是子字符串吗」于『元数据布局核验通过』于（「果」中「二」））于『元数据布局未完成核验』否则「元」而
 虑「传递文检」者若「传递式」则「检查」于（「是子字符串吗」于『客体引用传递核验通过』于（「果」中「二」））于『客体引用传递未完成核验』否则「元」而
 虑「引用文检」者若「引用式」则「检查」于（「是子字符串吗」于『客体引用与表核验通过』于（「果」中「二」））于『客体引用未完成核验』否则「元」而
 虑「表批文检」者若「表批式」则「检查」于（「是子字符串吗」于『客体表批量核验通过』于（「果」中「二」））于『客体表批量未完成核验』否则「元」而
 虑「元素文检」者若「元素式」则「检查」于（「是子字符串吗」于『客体元素初始化核验通过』于（「果」中「二」））于『客体元素未完成核验』否则「元」而
 虑「指针壳文检」者若「程序壳式」则「检查」于（「是子字符串吗」于『程序返回：84』于（「果」中「二」））于『磁盘函数指针未成功运行』否则「元」而
 虑「执行文检」者若「执行式」则「检查」于（「是子字符串吗」于『客体整数执行核验通过』于（「果」中「二」））于『客体整数解释未完成核验』否则「元」而
 虑「栈验文检」者若「栈验式」则「检查」于（「是子字符串吗」于『客体操作数栈核验通过』于（「果」中「二」））于『客体操作数栈未完成核验』否则「元」而
 虑「解码文检」者若「解码式」则「检查」于（「是子字符串吗」于『客体指令解码核验通过』于（「果」中「二」））于『客体指令未完成解码核验』否则「元」而
 虑「资源文检」者若「资源式」则「检查」于（「是子字符串吗」于『客体资源初置核验通过』于（「果」中「二」））于『客体资源未完成初置核验』否则「元」而
 虑「索引文检」者若「索引式」则「检查」于（「是子字符串吗」于『客体函数索引核验通过』于（「果」中「二」））于『客体模块未完成函数索引核验』否则「元」而
 虑「区段文检」者若「区段式」则「检查」于（「是子字符串吗」于『客体模块区段核验通过』于（「果」中「二」））于『客体模块未完成区段核验』否则「元」而
 虑「读数文检」者若「读数式」则「检查」于（「是子字符串吗」于『客体读数边界核验通过』于（「果」中「二」））于『客体读取未完成核验』否则「元」而
 虑「文检」者「检查」于（「是子字符串吗」于「期文」于（「果」中「二」））于（「名」附『缺少预期串口输出』）而
 虑「隔离开启检」者若「且」于「隔离平台」于（「非」于（「或者」于「隔离缺席」于「访存旁路」））则「检查」于（「是子字符串吗」于『设备地址隔离初置已确认』于（「果」中「二」））于『未取得隔离硬件初置确认』否则「元」而
 虑「隔离拒绝检」者若「隔离缺席」则「检查」于（「非」于（「是子字符串吗」于『设备地址隔离初置已确认』于（「果」中「二」）））于『缺席隔离硬件仍声称初置成功』否则「元」而
 虑「设备授权镜像」者「或者」于「设备退出式」于（「或者」于（「或者」于「程序壳式」于「文件壳式」）于（「或者」于「目录式」于（「或者」于「日志式」于（「或者」于「磁盘式」于「寄存器授权」））））而
 虑「设备退出次数检」者若「设备授权镜像」则「检查」于（「等于」于（「壳输出次数」于『设备退出清理完成』于（「果」中「二」））于「一」）于『设备持有者结束时须且仅须清理一次』否则「元」而
 虑「设备主继续检」者若「设备主非零」则「检查」于（「是子字符串吗」于『设备主退出后子任务仍运行』于（「果」中「二」））于『设备持有者退出后子任务未继续运行』否则「元」而
 虑「设备子继续检」者若「设备子结束」则「检查」于（「是子字符串吗」于『子任务结束后设备仍可用』于（「果」中「二」））于『子任务结束误撤销父设备或磁盘读失败』否则「元」而
 虑「目录核验」者若「目录式」则「检查」于（「是子字符串吗」于『用户文件目录核验通过』于（「果」中「二」））于『用户文件目录检查未完成』否则「元」而
 虑「日志核验」者若「日志式」则「检查」于（「是子字符串吗」于『用户提交日志核验通过』于（「果」中「二」））于『用户提交日志检查未完成』否则「元」而
 虑「磁盘队列检」者若「磁盘式」则「检查」于（「是子字符串吗」于『磁盘队列已就绪』于（「果」中「二」））于『用户磁盘队列未完成初始化』否则「元」而
 虑「磁盘核验」者若「且」于「磁盘式」于（「非」于「负例」）则
  虑「串口检」者「检查」于（「是子字符串吗」于『用户磁盘核验通过』于（「果」中「二」））于『用户磁盘检查未完成』而「核对磁盘文件」于「盘路径」于（「非」于「磁盘只读」）否则「元」而
 虑「寄存器核验」者若「且」于「寄存器式」于（「非」于「负例」）则「检查」于（「是子字符串吗」于『用户设备寄存器核验通过』于（「果」中「二」））于『用户设备寄存器检查未完成』否则「元」而
 虑「寄存器初置检」者若「寄存器授权」则「检查」于（「是子字符串吗」于『设备窗口已启用』于（「果」中「二」））于『设备窗口初始化未完成』否则「元」而
 虑「用户设备区检」者若「用户设备区」则「检查」于（「是子字符串吗」于『用户态设备内存核验通过』于（「果」中「二」））于『用户态未确认设备内存及运行权限』否则「元」而
 虑「撤销前置检」者若「撤销页」则
  虑「首检」者「检查」于（「是子字符串吗」于『授权页首轮写入通过』于（「果」中「二」））于『撤销前没有成功使用授权页』而
  「检查」于（「等于」于（「壳输出次数」于『直接访存传输已结束』于（「果」中「二」））于「二」）于『撤销用例没有完成前后两次 DMA』否则「元」而
 虑「直接访存检」者若「直接访存」则
  虑「完成检」者「检查」于（「是子字符串吗」于『直接访存传输已结束』于（「果」中「二」））于『未实际完成直接访存请求』而
  若「或者」于「撤销漏刷」于（「或者」于「访存旁路」于「映射误开」）则「检查」于（「是子字符串吗」于『保护区已被直接访存改写』于（「果」中「二」））于『旁路负对照没有证实保护区被改写』否则「检查」于（「是子字符串吗」于（若「页映射」则『设备页映射验证通过』否则『直接访存拒绝验证通过』）于（「果」中「二」））于『直接访存故障或哨兵检查没有通过』否则「元」而
 虑「常规执行检」者若「且」于（「且」于「常规式」于（「非」于「壳式」））于（「非」于「负例」）则「检查」于（「是子字符串吗」于『普通程序已完成』于（「果」中「二」））于『普通程序没有完成运行时检查』否则「元」而
 虑「行原子检」者若「串相等」于「方式」于『控制台行原子』则
  虑「统计」者「行原子扫描」于（「字符串转字节串」于（「果」中「二」））于「零」于「零」于「零」于「零」于「零」于「零」于「零」于「零」而
  虑「父整行」者「统计」中「零」而
  虑「子整行」者「统计」中「一」而
  虑「坏行」者「统计」中「二」而
  虑「交替」者「统计」中「三」而
  虑「整行检」者「检查」于（「且」于（「等于」于「父整行」于「行原子行数」）于（「等于」于「子整行」于「行原子行数」））于（『控制台行原子：整行数不符，父 』附（「整数表示」于「父整行」）附『，子 』附（「整数表示」于「子整行」）附『，应各 』附（「整数表示」于「行原子行数」））而
  虑「串扰检」者「检查」于（「等于」于「坏行」于「零」）于（『控制台行原子：有 』附（「整数表示」于「坏行」）附『 行被另一任务或其他输出截断』）而
  「检查」于（「大于」于「交替」于「二」）于（『控制台行原子：两任务整行只交替了 』附（「整数表示」于「交替」）附『 次，未能证明抢占期间输出仍不交错』）否则「元」而

 虑「壳次数检」者若「串相等」于「方式」于『壳输入恢复』则
  虑「帮助检」者「检查」于（「等于」于（「壳输出次数」于『帮助 任务 启动 忙碌 等待 终止 退出』于（「果」中「二」））于「二」）于『两种退格未分别正确执行帮助』而
  虑「提示检」者「检查」于（「等于」于（「壳输出次数」于『豫> 』于（「果」中「二」））于「五」）于『回车换行或超长行处理错误』而「元」否则「元」而
 虑「壳检查」者若「壳式」则
  虑「期词」者（（「列」于「字符串」）也（「附加」授以「字符串」于（「列」【『豫言命令壳（用户态）』，『命令壳已退出』】）于（若「程序壳式」则（「附加」授以「字符串」于（「列」【『程序返回：42』，『程序返回：21』，『程序之后仍可写』】）于（若「程序壳复启」则「列」【『文件系统已挂载』】否则「列」【『程序文件已写入测试磁盘』，『程序已进入执行』，『父子并行』，『已终止任务 1』，『任务 1 退出码 143』，『程序运行失败，代码 -4』，『程序读取失败』，『未找到可调用的程序导出』，『失败：路径不存在』，『用法：运行 路径 [导出名]』】））否则若「文件壳式」则（「附加」授以「字符串」于（「列」【『当前目录：/文档』，『豫言文件，重启仍在』】）于（若「串相等」于「方式」于『壳文件写入』则「列」【『文件系统已格式化』，『已创建目录』，『已创建文件』，『已写入』，『文件 样本』，『任务 1 退出码 7』】否则若「串相等」于「方式」于『壳文件重启』则「列」【『文件系统已挂载』，『已删除』，『文件 样本』】否则「列」【『请明确输入：格式化 确认』，『失败：参数或名称不合法』，『失败：路径不存在』，『失败：同名对象已存在』，『失败：对象类型不符』，『失败：目录非空』，『失败：不能删除当前目录』】））否则若「串相等」于「方式」于『壳任务交互』则「列」【『前台任务 0；没有子任务』，『请先等待并回收已有子任务』，『已启动任务 1』，『任务 1 退出码 7』，『已启动任务 3』，『前台任务 0；子任务 3 状态』，『已终止任务 3』，『任务 3 退出码 143』】否则若「串相等」于「方式」于『壳输入恢复』则「列」【『命令过长，已丢弃整行』，『未知命令，请输入帮助』，『帮助 任务 启动 忙碌 等待 终止 退出』】否则「列」【『已启动任务 1』】）））而
  虑「检们」者「态射」授以「字符串」授以「有」于「期词」于（会「词」而「检查」于（「是子字符串吗」于「词」于（「果」中「二」））于（『命令壳缺少输出：』附「词」））而「元」否则「元」而
 虑「程序壳外部检」者若「且」于「程序壳式」于（「大于」于（「字节串长度」于「程序壳外部」）于「零」）则「检查」于（「是子字符串吗」于『程序执行完成』于（「果」中「二」））于『未从文件系统完成外部 C 程序运行』否则「元」而
 虑「回显检」者若「且」于「输入测试」于（「且」于（「非」于「壳式」）于（「非」于（「串相等」于「方式」于『控制台中断』）））则「检查」于（「是子字符串吗」于（若「负例」则『言「：换行：」』否则『豫「：换行：」』）于（「果」中「二」））于『控制台回显不符』否则「元」而
 虑「假检」者若「负例」则「检查」于（「非」于（「是子字符串吗」于『验证通过』于（「果」中「二」）））于（「名」附『负对照误报成功』）否则「元」而
 「打印行」于（「名」附『：通过，退出码 』附（「整数表示」于（「果」中「一」）））也。
「验证设备能力」于「元」。
「方式们」乃「列」于「字符串」也。
「方式们」者「滤」授以「字符串」于（会「项」而「或者」于（「串相等」于「只验名」于『』）于（「是子字符串吗」于「只验名」于「项」））于（「附加」授以「字符串」于（「列」【『客体具体引用』，『客体引用全局』，『客体引用控制』，『元数据布局』，『客体引用传递』，『客体引用与表』，『客体表批量』，『客体元素初始化』，『壳程序运行』，『壳程序重启』，『客体导入调用』，『客体内存执行』，『客体整数执行』，『客体操作数栈』，『客体指令解码』，『客体资源初置』，『客体函数索引』，『客体模块区段』，『客体读数边界』，『设备自然退出』，『设备显式退出』，『设备陷阱退出』，『设备缺页退出』，『设备子任务退出』，『设备子任务故障』，『壳文件写入』，『壳文件重启』，『壳文件错误』，『文件目录写入』，『文件目录重启』，『文件目录变更』，『文件目录变更重启』，『文件目录参数』，『文件目录槽回收』，『文件目录坏记录』，『日志写入』，『日志重启恢复』，『日志未提交写入』，『日志未提交恢复』，『日志损坏拒绝』，『日志格式拒绝』，『日志空间边界』，『磁盘写入』，『磁盘重启读取』，『磁盘读写』，『磁盘参数拒绝』，『磁盘只读』，『磁盘数据误判』，『用户设备寄存器』，『设备寄存器无授权』，『设备寄存器误判』，『用户设备区首部』，『用户设备区末部』，『用户设备区上界』，『用户设备区只读』，『设备页撤销』，『设备页撤销漏刷』，『设备页写入』，『设备页只读』，『设备页权限误开』，『直接访存拒绝』，『直接访存旁路』，『隔离硬件缺席』，『隔离设备发现』，『设备发现』，『设备不存在』，『设备标识误判』，『壳任务交互』，『壳输入恢复』，『壳退出清理』，『字节信箱背压』，『字节背压断开』，『字节往返』，『字节边界拒绝』，『字节坏头』，『字节中断』，『字节数据误判』，『负一退出码』，『普通返回』，『退出码传递』，『负退出码传递』，『退出码误判』，『普通非零退出』，『退出后不可达』，『核验错误隔离』，『验收拒绝显式退出』，『控制台行原子』，『内存块增长』，『内存块隔离』，『内存块回收』，『内存块耗尽』，『墙钟闰世纪』，『墙钟年末』，『墙钟非闰世纪』，『墙钟闰日』，『控制台中断』，『阻塞通信』，『阻塞通信错误』，『接收对端退出』，『接收对端故障』，『断开来源错误』，『接收终止』，『双向通信』，『通信数据错误』，『通信来源错误』，『通信无授权』，『故障回收』，『代际耗尽』，『循环回收』，『正常回收』，『回收期望错误』，『回收句柄错误』，『运行时复制』，『复制返回错误』，『复制数据错误』，『终止等待者』，『终止返回错误』，『终止退出码错误』，『等待正常』，『等待缺页』，『等待陷阱』，『反向等待』，『等待结果错误』，『故障缺页』，『故障陷阱』，『首任务缺页』，『首任务陷阱』，『故障码错误』，『故障状态错误』，『故障放开权限』，『双任务』，『双任务错误』，『双任务禁抢占』，『系统调用帧』，『系统调用帧错误』，『定时中断』，『屏蔽中断』，『全局变量』，『全局值错误』，『全局存储』，『全局存储错误』，『除余』，『除余错误』，『有符号除零』，『无符号除零』，『有符号余零』，『无符号余零』，『有符号除溢出』，『位运算』，『位运算错误』，『内存增长』，『增长前读取』，『增长前填充』，『增长前源复制』，『增长前目标复制』，『增长前初始化』，『增长后越界』，『数据段初始化』，『段源越界』，『段目标越界』，『丢弃后读取』，『主动段读取』，『丢弃空段越界』，『段长度回绕』，『批量复制』，『复制源越界』，『复制目标越界』，『复制回绕』，『空复制源越界』，『空复制目标越界』，『批量填充』，『填充越界』，『填充回绕』，『空填充越界』，『正常』，『隔离』，『固定访存』，『访存读越界』，『访存写越界』，『访存址回绕』，『控制台输入』，『控制台错误』，『结构控制』，『控制错误』，『整数比较』，『比较错误』，『错误结果』，『放开权限』，『操作数栈越界』，『调用栈越界』】）于（若「串相等」于（「外部路径」中「零」）于『』则「罄」否则「列」【『外部C』，『外部C错误』，『客体外部C』，『客体外部C错误』】））也。
「态射」授以「字符串」授以「有」于「方式们」于（会「方式」而「验证一项」于「阳」于「方式」）。
「态射」授以「字符串」授以「有」于「方式们」于（会「方式」而「验证一项」于「阴」于「方式」）。
「打印行」于（（「整数表示」于（「乘」于「二」于（「长度」授以「字符串」于「方式们」）））附『项裸机验证全部通过，产物与日志：』附「目录」）。
