寻观「标准库」之书。

「：文言：以既有外调名直验卷长，兼验无径之果。汉语：直接调用已有文件大小原语，验证文件字节数和不存在路径的返回值。：」
「取大小」乃化「字符串」而「整数」也。
「取大小」者会「路径」而
  《《外调》》名『豫言_获取文件大小』传「路径」
也。

虑「无」者
  「文件系统」之「写文件」于『测试/甲.txt』于『你好』而
  虑「甲」者
    「打印行」于（「整数表示」于（「取大小」于『测试/甲.txt』））
  而
  「打印行」于（「整数表示」于（「取大小」于『测试/不存在』））。
