code: public void print(char ch) throws IOException
    {
      if (_startLine)
        printIndent();
  
      if (ch == '\r') {
        _destLine++;
      } else if (ch == '\n' && !_lastCr)
        _destLine++;
  
      _lastCr = ch == '\r';
  
      _os.print(ch);
    }
docs: Prints a character.