void rlxd_get(int state[])
void rlxd_reset(int state[])
void rlxd_init(int level, int seed)
void ranlxd(double r[], int n)
int rlxdresetf_(int *state1)
int ranlxdf_(double vec[], int *lvec)
int rlxdinit_(int *lux, int *seed)
int rlxdgetf_(int *state)