external rrandomb: state: RNG.randstate_t->nbits: int->t =
    "_mlgmp_z_rrandomb"