double ddot(long,double[],long,double[],long);
void dgeslt(double*,long,long,long[],double[]);
void ermsg(STRING,long,long,STRING,byte);