ws
redo the API of StringBuilder