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