寻观「标准库」之书。

「：文言：子任务问父所写卷之长及修改时刻。汉语：子任务读取父任务写入文件的大小和修改时间。：」
「取大小」乃化「字符串」而「整数」也。
「取大小」者会「路径」而
  《《外调》》名『豫言_获取文件大小』传「路径」
也。

虑「甲」者
  「打印行」于（『文件大小：』附（「整数表示」于（「取大小」于『/测试/甲.txt』）））
而
「打印行」于（『修改时间：』附（「整数表示」于（「文件系统」之「获得文件修改时间」于『/测试/甲.txt』）））。
