Explicit void type should be used for read_section function.
Created by: pawelkudlakaldec
It is related to #767 pullreq. The prototype of 'read_section' function should return explicitly void in SV side. What is more issue #514 (closed) should be closed.