This specific file is placed in the public domain by its author,