char *version_string = "egcs-2.90.22 971220 (egcs-1.01 beta)";