char *version_string = "egcs-2.91.62 19990224 (egcs-1.1.2 pre-release-2)";