寻观「标准库」之「语言核心」之「内建类型」之书。
寻观「标准库」之「数据结构」之「整数操作」之书。
寻观「标准库」之「数据结构」之「可选值」之书。
寻观「标准库」之「数据结构」之「字节串」之书。
寻观「安全外壳协议」之「二进制编码」之书。
寻观「单元测试」之「测试组件」之书。

「验四字节」乃化「整数」而「有」也。
「验四字节」者会「数」而
    虑「已编」者「编码四字节无符号数」于「数」而
    虑「无」者「断言」于（「等于」于（「字节串长度」于「已编」）于「四」）而
    鉴「读取四字节无符号数」于「已编」于「零」而
    有（「可有」于「数与终点」）则（
        虑「无」者「断言」于（「等于」于（「数与终点」中「零」）于「数」）而
        「断言」于（「等于」于（「数与终点」中「一」）于「四」））
    或有「可无」则「断言」于「阴」
也。

「验长度字段」乃化「有」而「有」也。
「验长度字段」者会「无」而
    虑「正文」者「拼接字节串」于（「单字节串」于「零」）于（「单字节串」于「二五五」）而
    虑「带长度」者「编码长度字节串」于「正文」而
    虑「无」者「断言」于（「等于」于（「字节串长度」于「带长度」）于「六」）而
    虑「无」者（鉴「读取长度字节串」于「带长度」于「零」而
        有（「可有」于「正文与终点」）则（
            虑「读回」者「正文与终点」中「零」而
            虑「无」者「断言」于（「等于」于（「正文与终点」中「一」）于「六」）而
            虑「无」者「断言」于（「等于」于（「字节串取字节」于「读回」于「零」）于「零」）而
            「断言」于（「等于」于（「字节串取字节」于「读回」于「一」）于「二五五」））
        或有「可无」则「断言」于「阴」）而
    虑「无」者（鉴「读取长度字节串」于（「截取字节串」于「带长度」于「零」于「五」）于「零」而
        有「可无」则「断言」于「阳」
        或有（「可有」于「无用」）则「断言」于「阴」）而
    鉴「读取四字节无符号数」于「带长度」于「三」而
        有「可无」则「断言」于「阳」
        或有（「可有」于「无用」）则「断言」于「阴」
也。

虑「无」者「验四字节」于「零」而
虑「无」者「验四字节」于「一」而
虑「无」者「验四字节」于「四二九四九六七二九五」而
虑「无」者「验长度字段」于「元」而
「元」。
