--- lib9/main.c 2018-08-17 19:38:18.000000000 +0200
+++ 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)
{