internal void scan() { int len = pat.Length; chr = (index == len ? NUL : pat[index++]); esc = (chr == '\\'); if (esc) chr = (index == len ? NUL : pat[index++]); }