寻观「标准库」之书。
「：文言：负数、越界及截位者皆拒。汉语：子进程验证读取和写入保留完整 i64 索引检查，不能将 2^32 截断成零后访问首元素。：」
「参数」者「命令行参数」之「获取参数」于「元」也。
若「等于」于（「长度」授以「字符串」于「参数」）于「零」则（
 虑「程序」者「命令行参数」之「获取程序名」于「元」而
 「态射」授以「字符串」授以「有」于（「列」【『0』，『1』，『-1』，『4294967296』】）于（会「数」而
  「态射」授以「字符串」授以「有」于（「列」【『读』，『写』】）于（会「法」而
   虑「果」者「操作系统」之「子进程」之「获取输出」于「程序」于（「列」【「数」，「法」】）而
   若「串相等」于「数」于『0』则（若「果」中「零」则「元」否则「发生事故」授以「有」于『合法索引失败』）
   否则（若「果」中「零」则「发生事故」授以「有」于『非法索引被允许』否则「元」））；「元」）；
 「打印行」于『数组索引边界通过』）
否则（
 虑「位」者「整数操作」之「理解整数」于（「第N个」授以「字符串」于「零」于「参数」）而
 虑「法」者「第N个」授以「字符串」于「一」于「参数」而
 虑「组」者「新数组引用」授以「整数」于「七」于「一」而
 若「串相等」于「法」于『写』则「写数组引用」授以「整数」于「组」于「位」于「八」否则（
  虑「值」者「读数组引用」授以「整数」于「组」于「位」而「打印行」于（「整数表示」于「值」）））。
