code: private int get() throws IOException {
          int c = theLookahead;
          theLookahead = EOF;
          if (c == EOF) {
              c = inputStream.read();
          }
          if (c >= ' ' || c == '\n' || c == EOF) {
              return c;
          }
          if (c == '\r') {
              return '\n';
          }
          return ' ';
      }
docs: /* get -- return the next character from input. Watch out for lookahead. If
  the character is a control character, translate it to a space or
  linefeed.