if ( ! ofs.is_open())