char *version_string = "egcs-2.90.27 980308 (egcs-1.0.2 release)";