void GenericDataHeaderWriter::WriteNameValParamCnt(std::ofstream &os, const GenericDataHeader &g) const { FileOutput::WriteInt32(os, g.GetNameValParamCnt()); }