char *version_string = "GNU Bison version @VERSION@\n";