    void cfunction(float *a, float *b) {
      *a=7.0;
      *b=8.0;
    }