Some bits and pieces: the command-line driver for the importers and a few lines in write_cc.