const char *ffe_version_string = "0.5.25 20020320 (prerelease)";