eec46183f0
Motivation: The result of `header.size()` is already cached in `headerSize`. There is no need to call it again actually. Modification: Replace the second `header.size()` with `headerSize` directly. Result: Improve performance slightly.