public void SkipVInt32() { var res = ReadVInt64(); if (res > int.MaxValue || res < int.MinValue) throw new InvalidDataException( $"Skipping VInt32 overflowed with {res}"); }
internal static void SkipHeader(AbstractBufferedReader reader) { FileCollectionWithFileInfos.SkipHeader(reader); reader.SkipUInt8(); // type of file reader.SkipVInt64(); // generation reader.SkipVInt32(); // previous file id }