寻观「标准库」之「语言核心」之「内建类型」之书。
寻观「标准库」之「数据结构」之「整数操作」之书。
寻观「标准库」之「数据结构」之「字节串」之书。
寻观「标准库」之「数学运算」之「安全随机」之书。
寻观「单元测试」之「测试组件」之书。

虑「空串」者「获取安全随机字节串」于「零」而
虑「无」者「断言」于（「等于」于（「字节串长度」于「空串」）于「零」）而
虑「密钥」者「获取安全随机字节串」于「三二」而
虑「无」者「断言」于（「等于」于（「字节串长度」于「密钥」）于「三二」）而
虑「跨块」者「获取安全随机字节串」于「二五七」而
「断言」于（「等于」于（「字节串长度」于「跨块」）于「二五七」）。
