char *version_string = "gcc-2.96 19990707 (experimental)";