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