void dmess(long[],CHAR_INT,long[],double[]);
void dxrk8g(double[],double[],double[],long[]);
void dxrk8i(double,double[],long[],double[]);
void dzero(double*,double*,double*,double*,long*,double);