void string_buffer->flush();
void string_buffer->append(string s);
mixed string_buffer->get_buffer(); or (string)string_buffer;