void String.Buffer(int initial_size)
Initializes a new buffer.
If no initial_size is specified, 256 is used. If you know approximately how big the buffer will be, you can optimize the operation of add() (slightly) by passing the size to this function.