259260261262263264265
int width = 0; while (i < len) { width = 10 * width + (str.charAt(i) - '0'); i++; } return Token.formatter(new RubyTimeOutputFormatter(flags, width)); }