private void ConsumeWhitespace() { while (c == ' ' || c == '\t' || c == '\n' || c == '\r') Consume(); }