These sources were created at Geotronics Corporation.  They may be
distributed to others, if this notice is included in the distribution.

/usr/include/std.h is also available for distribution.
