-
Sub-task
-
Resolution: Unresolved
-
P4
-
None
The `tagSize` field is passed to the constructor and used to compute the value of the `length` field, but the `tagSize` field is never read again thereafter. We should consider continuing passing `tagSize` as parameter to the constructor, but remove the corresponding field.