float *f0(float*);