private void UngetChar(int c) { // can not unread past across line boundary if (ungetCursor != 0 && ungetBuffer[ungetCursor - 1] == '\n') { Kit.CodeBug(); } ungetBuffer[ungetCursor++] = c; cursor--; }