See also David Hanson's book C Interfaces and Implementations [http://drh.github.io/cii/toc.html].