char *version_string = "egcs-2.91.16 980328 (gcc-2.8.0 release)";