w                 181 console.c        uint w;  // Write index
w                 199 console.c            while(input.e != input.w &&
w                 206 console.c            if(input.e != input.w){
w                 217 console.c                input.w = input.e;
w                 237 console.c          while(input.r == input.w){
w                  11 wc.c             int l, w, c, inword;
w                  13 wc.c             l = w = c = 0;
w                  23 wc.c                   w++;
w                  32 wc.c             printf(1, "%d %d %d %s\n", l, w, c, name);