char *version_string = "egcs-2.92.25 19981130 (gcc2 ss-980609 experimental)";