public sealed record RichHeaderEntry(uint CompId, uint Count);