It might not be worth it, but in that case it should be omitted. It should always be correct. I don't think a counter will be a very measurable expense compared to walking pointers though.