INPUT_BUF         183 console.c        char buf[INPUT_BUF];
INPUT_BUF         205 console.c                  input.buf[(input.e-1) % INPUT_BUF] != '\n'){
INPUT_BUF         217 console.c            if(c != 0 && input.e-input.r < INPUT_BUF){
INPUT_BUF         219 console.c              input.buf[input.e++ % INPUT_BUF] = c;
INPUT_BUF         221 console.c              if(c == '\n' || c == C('D') || input.e == input.r+INPUT_BUF){
INPUT_BUF         253 console.c          c = input.buf[input.r++ % INPUT_BUF];