ftp ivy conn/c mccreight dir/c >extract dump/c extract-sources.dm @extract-defs.cm@ @extract-impls.cm@ extract.config extract-sources.cm extract-defs.cm extract-impls.cm extract-compile.cm extract-bind.cm extract-save.cm extract-working-save.cm extract-xref.cm extract-xref-files.cm