--- a/lib9/main.c 2018-08-17 19:38:18.000000000 +0200 +++ b/lib9/main.c 2018-08-17 19:43:21.042771643 +0200 @@ -4,6 +4,8 @@ extern void p9main(int, char**); +int yydebug = 0; + int main(int argc, char **argv) {