407a408,409
> if (!outstream.is_open())
> fatal("Unable to open file %s for writing\n", cpt_file.c_str());