void dtgc1(LOGICAL32,double[][3],double*,LOGICAL32,double[]);