// This code was written by and has been placed in the
// public domain. It would be nice if you left this header intact.