extern double gasdev_c(fint *);