Even better, `Integer.toString(headerLength)`. It's the most obvious!