rand_split: 43 wallclock secs (40.37 usr +  0.01 sys = 40.38 CPU) @ 123.83/s (n=5000)
     split:  4 wallclock secs ( 3.73 usr +  0.00 sys =  3.73 CPU) @ 1342.28/s (n=5000)