char *version_string = "1.39.0 beta (based on GCC 1.39)";