寻观「标准库」之书。
寻观「标准库」之「数据结构」之「字节串」之书。
寻观「裸机后端」之「机器编码」之书。
寻观「裸机后端」之「整数降级」之书。
「：文言：位宽与分支有界，恶参不得成码。汉语：直接核查字节序、前后向重定位和非法编码参数；实际执行另由双架构裸机测试验证。：」
「应拒绝」乃化「字符串」而化（化「有」而「有」）而「有」也。
「应拒绝」者会「片」而会「执行」而
 虑「拒」者「尝试运行」授以「爻」于（会「无」而虑「果」者「执行」于「元」而「阴」）于（会「错」而「是子字符串吗」于「片」于「错」）而
 若「拒」则「元」否则「发生事故」于（『应拒绝：』附「片」）也。
「验字」乃化「字节串」而化（「列」于「整数」）而「有」也。
「验字」者会「字」而会「期」而
 虑「长检」者若「等于」于（「字节串长度」于「字」）于（「长度」授以「整数」于「期」）则「元」否则「发生事故」授以「有」于『字节长度不符』而
 虑「检」者「态射」授以「整数」授以「有」于（「整数范围」于「零」于（「长度」授以「整数」于「期」））于（会「号」而若「等于」于（「字节串取字节」于「字」于「号」）于（「第N个」于「号」于「期」）则「元」否则「发生事故」于『机器字节不符』）而「元」也。
「验字」于（「小端字节」于「四」于「三零五四一九八九六」）于（「列」【「一二零」，「八六」，「五二」，「一八」】）。
「验字」于（（「连接机器代码」于「零」于（「列」【「代码相对」于「一零」于『终』，「代码标记」于『终』】））中「零」）于（「列」【「二三二」，「零」，「零」，「零」，「零」】）。
「验字」于（（「连接机器代码」于「零」于（「列」【「代码标记」于『始』，「代码相对」于「一一」于『始』】））中「零」）于（「列」【「二三三」，「二五一」，「二五五」，「二五五」，「二五五」】）。
「验字」于（（「连接机器代码」于「零」于（「列」【「代码相对」于「二」于『终』，「代码标记」于『终』】））中「零」）于（「列」【「一」，「零」，「零」，「一四八」】）。
「：文言：条件分支与零测分支之类，逐一核其编码。汉语：ARM64 的 b.cond（类三至九、二四至三零）、cbz（三二至六二）、cbnz（六四至九四）和 AMD64 的 jcc（十二至九九、一百以上），均以跳到下一指令验证类号与字节。：」
「验字」于（（「连接机器代码」于「零」于（「列」【「代码相对」于「三」于『终』，「代码标记」于『终』】））中「零」）于（「列」【「三二」，「零」，「零」，「八四」】）。
「验字」于（（「连接机器代码」于「零」于（「列」【「代码相对」于「五」于『终』，「代码标记」于『终』】））中「零」）于（「列」【「三四」，「零」，「零」，「八四」】）。
「验字」于（（「连接机器代码」于「零」于（「列」【「代码相对」于「九」于『终』，「代码标记」于『终』】））中「零」）于（「列」【「三八」，「零」，「零」，「八四」】）。
「验字」于（（「连接机器代码」于「零」于（「列」【「代码相对」于「二四」于『终』，「代码标记」于『终』】））中「零」）于（「列」【「三九」，「零」，「零」，「八四」】）。
「验字」于（（「连接机器代码」于「零」于（「列」【「代码相对」于「二五」于『终』，「代码标记」于『终』】））中「零」）于（「列」【「四零」，「零」，「零」，「八四」】）。
「验字」于（（「连接机器代码」于「零」于（「列」【「代码相对」于「三零」于『终』，「代码标记」于『终』】））中「零」）于（「列」【「四五」，「零」，「零」，「八四」】）。
「验字」于（（「连接机器代码」于「零」于（「列」【「代码相对」于「三二」于『终』，「代码标记」于『终』】））中「零」）于（「列」【「三二」，「零」，「零」，「五二」】）。
「验字」于（（「连接机器代码」于「零」于（「列」【「代码相对」于「三五」于『终』，「代码标记」于『终』】））中「零」）于（「列」【「三五」，「零」，「零」，「五二」】）。
「验字」于（（「连接机器代码」于「零」于（「列」【「代码相对」于「六二」于『终』，「代码标记」于『终』】））中「零」）于（「列」【「六二」，「零」，「零」，「五二」】）。
「验字」于（（「连接机器代码」于「零」于（「列」【「代码相对」于「六四」于『终』，「代码标记」于『终』】））中「零」）于（「列」【「三二」，「零」，「零」，「五三」】）。
「验字」于（（「连接机器代码」于「零」于（「列」【「代码相对」于「七零」于『终』，「代码标记」于『终』】））中「零」）于（「列」【「三八」，「零」，「零」，「五三」】）。
「验字」于（（「连接机器代码」于「零」于（「列」【「代码相对」于「九四」于『终』，「代码标记」于『终』】））中「零」）于（「列」【「六二」，「零」，「零」，「五三」】）。
「验字」于（（「连接机器代码」于「零」于（「列」【「代码相对」于「一二」于『终』，「代码标记」于『终』】））中「零」）于（「列」【「一五」，「一三二」，「零」，「零」，「零」，「零」】）。
「验字」于（（「连接机器代码」于「零」于（「列」【「代码相对」于「一三」于『终』，「代码标记」于『终』】））中「零」）于（「列」【「一五」，「一三三」，「零」，「零」，「零」，「零」】）。
「验字」于（（「连接机器代码」于「零」于（「列」【「代码相对」于「一零七」于『终』，「代码标记」于『终』】））中「零」）于（「列」【「一五」，「一三五」，「零」，「零」，「零」，「零」】）。
「验字」于（（「连接机器代码」于「零」于（「列」【「代码相对」于「一一零」于『终』，「代码标记」于『终』】））中「零」）于（「列」【「一五」，「一三八」，「零」，「零」，「零」，「零」】）。
「应拒绝」于『宽度』于（会「无」而虑「字」者「小端字节」于（「减」于「零」于「一」）于「零」而「元」）。
「应拒绝」于『超出宽度』于（会「无」而虑「字」者「小端字节」于「一」于「二五六」而「元」）。
「应拒绝」于『编号越界』于（会「无」而虑「码」者「臂载常量」于「三一」于「零」而「元」）。
「应拒绝」于『编号越界』于（会「无」而虑「码」者「兼容载常量」于「八」于「零」而「元」）。
「应拒绝」于『三十二位位形』于（会「无」而虑「码」者「臂载常量」于「零」于「四二九四九六七二九六」而「元」）。
「应拒绝」于『超出范围』于（会「无」而虑「数」者「有界位移」于「一二八」于「一二八」而「元」）。
「应拒绝」于『重名』于（会「无」而虑「码」者「连接机器代码」于「零」于（「列」【「代码标记」于『同』，「代码标记」于『同』】）而「元」）。
「应拒绝」于『不存在』于（会「无」而虑「码」者「连接机器代码」于「零」于（「列」【「代码相对」于「一零」于『无』】）而「元」）。
「应拒绝」于『重叠』于（会「无」而虑「码」者「定位拼合」于「零」于（「列」【「零」与（「零字节」于「二」），「一」与（「零字节」于「一」）】）而「元」）。
「打印行」于『机器编码与重定位测试通过』。
