there is no String.repeat