void dsdif(long,long,double[],double[],long,double*);
void dstop(long,long,double[],double[],double*,long*,double[],
	double*);
void dsvala(long,long,double[],long,double*,double,double[]);