a few more tests on Random