BACKSPACE         144 console.c        else if(c == BACKSPACE){
BACKSPACE         174 console.c        if(c == BACKSPACE){
BACKSPACE         207 console.c              consputc(BACKSPACE);
BACKSPACE         213 console.c              consputc(BACKSPACE);