char *version_string = " 1.4-patchlevel-0 (from GCC 1.37.1)";