void dmess(long[],CHAR_INT,long[],double[]);
void dxrk8(double[],double[],double[],long[],double[],double[]);
void dxrk8a(double[],double[],double[],long[],double[],double[]);
void dxrk8f(double*,double[],double[],long[]);
void dxrk8i(double,double[],long[],double[]);
void dxrk8n(long[],double[],double[],double[],double[],double[],double[]);
void dxrk8o(double[],double[],long[],double[]);
double dxrk8x(double,double,double,double);