char *version_string = "testgcc-2.7.90 970802 experimental";