void abc ( double *a_in, double *b_in, double *c_in, double *a_out, 
  double *b_out, double *c_out );