void ddasls(void(*)(),long,double*,double[],double[],long[],double,double,double*,
      long*,long,long*,double[],long,long[],long);
void ddaslx(void(*)(),long,double*,double[],double[],double,long[],double[],
      double[],long*,double[],long,long[],long);