public override void term_destination()
{
int datacount = m_buffer.Length - freeInBuffer;
/* Write any data remaining in the buffer */
if (datacount > 0)
writeBuffer(datacount);
m_outfile.Flush();
}