6 Existing C headers

In this proposal, vhpi_user.h from opensource.ieee.org/vasg/Packages is used. However, inspecting other open source projects reveals that different versions of headers for VHPI and VPI are used.