void ReadWhitespace () { while (index < value.Length && char.IsWhiteSpace (value [index])) { index++; } }