(This section has not yet been written; see 6.3 stubgen, and also the library projects in the sample code collection.)