__attribute__((always_inline)) inline float expf(float x) { return exp((double)x); }