void dxlogx(long,double[],double*,double[],LOGICAL32*);
void prgm_(void);