void EatWhitespace() { while (WHITE_SPACE.IndexOf(PeekChar) != -1) { json.Read(); if (json.Peek() == -1) { break; } } }