void ddaslx(void(*)(),long,double*,double[],double[],double,long[],double[],
      double[],long*,double[],long,long[],long);
void dgbfa(double*,long,long,long,long,long[],long*);
void dgbsl(double*,long,long,long,long,long[],double[],long);