BEGIN { print "char *wl[] = {" } { printf("\t%c%s%c,\n",34,$1,34) } END { print "\t(char *)0 };\n" }