wda                22 polish.c         unsigned char **wda = wp;               /* word array pointer             */
wda                26 polish.c         if (wda == NULL)
wda                28 polish.c         while (*wda != NULL) {
wda                29 polish.c           switch (**wda) {
wda                31 polish.c             polish[i++] = *wda;
wda                40 polish.c             *sp++ = *wda;
wda                46 polish.c             *sp++ = *wda;
wda                69 polish.c           wda++;