const char *ffe_version_string = "0.5.25 20010315 (release)";