} /* BuffSpaceNeeded */
public void FillBuffer(byte[] buffer,
ref int nextIndex
)
{
timeStamp.FillBuffer(buffer, ref nextIndex);
dateStamp.FillBuffer(buffer, ref nextIndex);
} /* FillBuffer */
