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