char *version_string = "2.95.3 20010125 (prerelease)";