void Expect (char expected) { int c; if ((c = ReadChar ()) != expected) throw JsonError (String.Format ("Expected '{0}', got '{1}'", expected, (char) c)); }