INPUT_BUF         179 console.c        char buf[INPUT_BUF];
INPUT_BUF         200 console.c                  input.buf[(input.e-1) % INPUT_BUF] != '\n'){
INPUT_BUF         212 console.c            if(c != 0 && input.e-input.r < INPUT_BUF){
INPUT_BUF         214 console.c              input.buf[input.e++ % INPUT_BUF] = c;
INPUT_BUF         216 console.c              if(c == '\n' || c == C('D') || input.e == input.r+INPUT_BUF){
INPUT_BUF         245 console.c          c = input.buf[input.r++ % INPUT_BUF];