void ddassf2(double*,double[],double[],double[],double[],long*,double*,long*,double[],long[]);
void ddassf3(double*,double[],double[],double[],double[],long*,double*,long*,double[],long[]);
void drddasl2(void);