寻观「标准库」之书。
「：文言：子程序之验：子任务无块设备，其文件之事由初始任务代行。汉语：壳“子进程文件”测试的子程序：在子任务里读预置文件、写新文件再读回、判断路径、建目录、列目录、删文件、写读六千字节的较大文件，验证这些文件原语经邮箱转给初始任务办理后结果正确，且写入在父任务（壳）那里也看得见。：」
「真假」乃化「爻」而「字符串」也。
「真假」者会「甲」而若「甲」则『是』否则『否』也。
「重复串」乃化「整数」而化「字符串」而「字符串」也。
「重复串」者会「n」而会「s」而若「小于」于「n」于「一」则『』否则「s」附（「重复串」于（「减」于「n」于「一」）于「s」）也。
虑「一」者「打印行」于（『读预置：』附（「文件系统」之「读文件」于『/数据/说明.txt』））而
虑「二」者「文件系统」之「写文件」于『/新/来自子进程.txt』于『子进程写入的内容』而
虑「三」者「打印行」于（『读回：』附（「文件系统」之「读文件」于『/新/来自子进程.txt』））而
虑「四」者「打印行」于（『存在：』附（「真假」于（「文件系统」之「路径存在」于『/新/来自子进程.txt』）））而
虑「五」者「打印行」于（『新目录是文件夹：』附（「真假」于（「文件系统」之「路径是文件夹」于『/新』）））而
虑「六」者「打印行」于（『文件是普通文件：』附（「真假」于（「文件系统」之「路径是普通文件」于『/新/来自子进程.txt』）））而
虑「七」者「打印行」于（『无此路径存在：』附（「真假」于（「文件系统」之「路径存在」于『/新/无此』）））而
虑「八」者「文件系统」之「写文件」于『/新/乙.txt』于『第二个文件』而
虑「九」者「打印行」于（『目录项数：』附（「整数表示」于（「长度」授以「字符串」于（「文件系统」之「读文件夹」于『/新』））））而
虑「十」者「文件系统」之「删文件」于『/新/乙.txt』而
虑「十一」者「打印行」于（『删后存在：』附（「真假」于（「文件系统」之「路径存在」于『/新/乙.txt』）））而
虑「十二」者「文件系统」之「写文件」于『/新/大.txt』于（「重复串」于「六零零」于『0123456789』）而
虑「十三」者「打印行」于（『大文件长度：』附（「整数表示」于（「字节长度」于（「文件系统」之「读文件」于『/新/大.txt』））））而
虑「十四」者「打印行」于（『工作目录：』附（「文件系统」之「获取当前路径」于「元」））而
虑「十五」者「打印行」于（『相对读取：』附（「文件系统」之「读文件」于『说明.txt』））而
「打印行」于『子进程完成』。
