gmp/tests/rand
