Is the num_headers argument in used?

[spacewander]

Since now we fetch HTTP headers as a map, do we need a num_headers argument？