lots of random algorithms for testing