external urandomm: state: RNG.randstate_t->n: t->t =
    "_mlgmp_z_urandomm"