{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"temps_directory:"}]}
        temps_directory: Option<PathBuf>,
        single_output_file: Option<OutFileName>,
        extra: String,