no copyright is claimed.
 * This code is in the public domain; do with it what you wish.