void write_raw( std::ofstream& out ) const;