readHeader reads the line number program header from r.buf and sets all of the header fields in r.
()
source not stored for this graph (policy: none)
no test coverage detected