On 05/23/2016 03:11 PM, Jack Stouffer wrote: > (I think it's a micro optimization at best) splitter in the stdlib is likely to be very frequently useful, any bit of speedup we put in it is likely to pay off immensely. -- Andrei