private void Append(char c) { if (sourceTop == sourceBuffer.Length) { IncreaseSourceCapacity(sourceTop + 1); } sourceBuffer[sourceTop] = c; ++sourceTop; }