void drdtgfi(void);
void dtgfcn(long,double,double,CHAR_INT,double*,double*,double*);