Placed into the public domain by the author.