void ddassf7(double*,double[],double[],double[],double[],long*,double*,long*,double[],long[]);
void dedit2(double[],double,double*);
void drddasl7(void);