+
+ This file is in the public domain.
+
+ Author: John V. Morris
+
+ This file was written by John V. Morris at Hewlett Packard.
+ Both the author and Hewlett Packard Co. have disclaimed the
+ copyright on this file, and it is therefore in the public domain.
+ (Search for "hp9k800" in copyright.list.)
+*/
+
+/*