void dinta(double*,double[],long[]);
void dintdl(double[]);
void dintdu(void);
void dintf(double*,double[],long[]);
void dintns(long);
void dinto(long,double[]);
double dintsm(double);