3 ms·

AWK really ought to have the inverse of its 'split'. Yes I can do that with string concatenation in a loop but that's not ideal.