寻观「标准库」之书。
「：文言：长列尾递，施术有序。汉语：三万二千项列表不得消耗线性调用栈；回调次序、输出顺序与空表行为保持不变。：」
「验」乃化「爻」而化「字符串」而「有」也。
「验」者会「真」而会「文」而若「真」则「元」否则「发生事故」于「文」也。
「序」者「新引用」授以「整数」于「零」也。
「生成」乃化「整数」而「整数」也。
「生成」者会「数」而（「验」于（「等」于「数」于（「读引用」于「序」））于『打表回调顺序错误』；「写引用」于「序」于（「加」于「数」于「一」）；「数」）也。
「长列」者「打表」授以「整数」于「32000」于「生成」也。
「验」于（「等」于（「长度」授以「整数」于「长列」）于「32000」）于『打表长度错误』。
「验」于（「等」于（「第N个」授以「整数」于「31999」于「长列」）于「31999」）于『打表顺序错误』。
「验」于（「等」于（「长度」授以「整数」于（「打表」授以「整数」于「零」于「生成」））于「零」）于『空表错误』。
「验」于（「等」于（「读引用」于「序」）于「32000」）于『空表不应调用生成函数』。
「：文言：长区与长射亦验，首尾有序。汉语：覆盖代码生成逐字节路径需要的长整数区间、映射回调顺序和空区间。：」
「写引用」于「序」于「零」。
「映列」者「态射」授以「整数」授以「整数」于「长列」于「生成」也。
「验」于（「等」于（「长度」授以「整数」于「映列」）于「32000」）于『长映射长度错误』。
「验」于（「等」于（「第N个」授以「整数」于「31999」于「映列」）于「31999」）于『长映射输出顺序错误』。
「验」于（「等」于（「读引用」于「序」）于「32000」）于『长映射调用次数错误』。
「区间」者「整数范围」于（「减」于「零」于「二」）于「31998」也。
「验」于（「等」于（「长度」授以「整数」于「区间」）于「32000」）于『长区间长度错误』。
「验」于（「等」于（「第N个」授以「整数」于「零」于「区间」）于（「减」于「零」于「二」））于『区间应包含起点』。
「验」于（「等」于（「第N个」授以「整数」于「31999」于「区间」）于「31997」）于『区间不应包含终点』。
「验」于（「等」于（「长度」授以「整数」于（「整数范围」于「二」于「一」））于「零」）于『逆向区间应为空』。
「续列」者「附加」授以「整数」于「长列」于（「列」【「七」，「八」】）也。
「验」于（「等」于（「长度」授以「整数」于「续列」）于「32002」）于『长附加长度错误』。
「验」于（「等」于（「第N个」授以「整数」于「31999」于「续列」）于「31999」）于『附加前列顺序错误』。
「验」于（「等」于（「第N个」授以「整数」于「32000」于「续列」）于「七」）于『附加后列首项错误』。
「验」于（「等」于（「第N个」授以「整数」于「32001」于「续列」）于「八」）于『附加后列末项错误』。
「打印行」于『长打表验证成功』。
