let default = randinit (GMP_RAND_ALG_LC 128)