a bit thinking of random tests