extern float ran_c(fint *);