System.Formats.Nrbf.ArrayRecord.FlattenedLength