Read header lines. Read header lines up to the entirely blank line that terminates them. The (normally blank) line that ends the headers is skipped, but not included in the returned list. If a non-header line ends the headers, (which is an error), an attempt is made
(self)
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected