fn load_external_files(names: &[String], diag: &Handler) -> Option<String>