寻观「标准库」之书。
寻观「编译器核心」之「编译数据」之「编译配置」之「全局配置」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「低级虚拟机」之「主程序生成」之书。

「条件生成可执行程序并执行」乃化「字符串」 「：输入文件路径：」而
  「整数」 「：退出状态：」
也。
「条件生成可执行程序并执行」者会「输入路径」而
  若「读引用」于「仅生成模块」则「零」否则
  若（「或者」于（「读引用」于「仅执行类型检查」）于（「读引用」于「仅执行语法分析」））
  则
    「零」
  否则
    （鉴（「读引用」于「目标平台」）而
      有『llvm』则（「低级虚拟机生成可执行程序并执行」于「输入路径」）
      或有「其他」则（「发生事故」于『不认识的目标平台：』附「其他」））
也。
