void dcpdrv(double[],long,double[],long*);
void dcpint(double[],long,double[],long*);
double dcpval(double[],long,double);