switch (c) {
diff -purN bb.old/editors/awx.c bb.dev/editors/awx.c
--- bb.old/editors/awx.c 1970-01-01 01:00:00.000000000 +0100
-+++ bb.dev/editors/awx.c 2007-05-20 22:57:59.666934656 +0200
++++ bb.dev/editors/awx.c 2007-05-20 23:07:21.338547592 +0200
@@ -0,0 +1,628 @@
+/*
+ * awk web extension
diff -purN bb.old/editors/awx_parser.l bb.dev/editors/awx_parser.l
--- bb.old/editors/awx_parser.l 1970-01-01 01:00:00.000000000 +0100
+++ bb.dev/editors/awx_parser.l 2007-05-20 22:30:31.380512280 +0200
-@@ -0,0 +1,300 @@
+@@ -0,0 +1,302 @@
+%{
+#include <stdio.h>
+#include <string.h>