void dtrg11(long,double[],double[],double*,long);
void prgm_(void);