private int PeekChar() { int ch = ReadChar(); if (ch != EOF) { pos--; } return ch; } private bool SniffPattern(string pattern) {