This file is free software in the public domain.