no copyright is claimed. This code is in the public domain; do with