public void SkipUInt8()
{
NeedOneByteInBuffer();
Pos++;
}
internal static void SkipHeader(AbstractBufferedReader reader) { FileCollectionWithFileInfos.SkipHeader(reader); reader.SkipUInt8(); // type of file reader.SkipVInt64(); // generation reader.SkipVInt32(); // previous file id }