char *version_string = "2.95.1 19990816 (release)";