public JsonTextWriter(TextWriter writer) { Debug.Assert(writer != null); _writer = writer; const int levels = 10 + /* root */ 1; _counters = new int[levels]; _terminators = new char[levels]; }