char *version_string = "egcs-2.93.20 19990430 (gcc2 ss-980929 experimental)";