fn load_external_files(names: &[String], dcx: &DiagCtxt) -> Option<String>