void devun(double*,long,long,double[],double[],long[]); void dvecp(double[],long,STRING);