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