char *version_string = "egcs-2.91.57 19980901 (egcs-1.1 release)";