char *version_string = "egcs-2.91.41 19980617 (gcc2 ss-980502 experimental)";