string.repeat, shorten prototypes