char *version_string = "egcs-2.90.11 970929 (gcc2-970802 experimental)";