w                 185 console.c        uint w;  // Write index
w                 204 console.c            while(input.e != input.w &&
w                 211 console.c            if(input.e != input.w){
w                 222 console.c                input.w = input.e;
w                 245 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);