-extern float acosf (float x) /*@modifies errno@*/ ;
-extern long double acosl (long double x) /*@modifies errno@*/ ;
-extern float asinf (float x) /*@modifies errno@*/ ;
-extern long double asinl (long double x) /*@modifies errno@*/ ;
-extern float atanf (float x) /*@*/ ;
-extern long double atanl (long double x) /*@*/ ;
-extern float atan2f (float y, float x) /*@*/ ;
-extern long double atan2l (long double y, long double x) /*@*/ ;
-extern float ceilf (float x) /*@*/ ;
-extern long double ceill (long double x) /*@*/ ;
-extern float cosf (float x) /*@*/ ;
-extern long double cosl (long double x) /*@*/ ;
-extern float coshf (float x) /*@modifies errno@*/ ;
-extern long double coshl (long double x) /*@modifies errno@*/ ;
-extern float expf (float x) /*@modifies errno@*/ ;
-extern long double expl (long double x) /*@modifies errno@*/;
-extern float fabsf (float x) /*@*/ ;
-extern long double fabsl (long double x) /*@*/ ;
-extern float floorf (float x) /*@*/ ;
-extern long double floorl (long double x) /*@*/ ;
-extern float fmodf (float x, float y) /*@*/ ;
-extern long double fmodl (long double x, long double y) /*@*/ ;
-extern float frexpf (float x, /*@out@*/ int *xp) /*@modifies *xp@*/;
-extern long double frexpl (long double x, /*@out@*/ int *xp) /*@modifies *xp@*/;
-extern float ldexpf (float x, int n) /*@modifies errno@*/ ;
-extern long double ldexpl (long double x, int n) /*@modifies errno@*/ ;
-extern float logf (float x) /*@modifies errno@*/ ;
-extern long double logl (long double x) /*@modifies errno@*/ ;
-extern float log10f (float x) /*@modifies errno@*/;
-extern long double log10l (long double x) /*@modifies errno@*/;
-extern float modff (float x, /*@out@*/ float *xp) /*@modifies *xp@*/ ;
-extern long double modfl (long double x, /*@out@*/ long double *xp) /*@modifies *xp@*/ ;
-extern float powf (float x, float y) /*@modifies errno@*/ ;
-extern long double powl (long double x, long double y) /*@modifies errno@*/ ;
-extern float sinf (float x) /*@*/ ;
-extern long double sinl (long double x) /*@*/ ;
-extern float sinhf (float x) /*@*/ ;
-extern long double sinhl (long double x) /*@*/ ;
-extern float sqrtf (float x) /*@modifies errno@*/ ;
-extern long double sqrtl (long double x) /*@modifies errno@*/ ;
-extern float tanf (float x) /*@*/ ;
-extern long double tanl (long double x) /*@*/ ;
-extern float tanhf (float x) /*@*/ ;
-extern long double tanhl (long double x) /*@*/ ;
+float acosf (float x) /*@modifies errno@*/ ;
+long double acosl (long double x) /*@modifies errno@*/ ;
+float asinf (float x) /*@modifies errno@*/ ;
+long double asinl (long double x) /*@modifies errno@*/ ;
+float atanf (float x) /*@*/ ;
+long double atanl (long double x) /*@*/ ;
+float atan2f (float y, float x) /*@*/ ;
+long double atan2l (long double y, long double x) /*@*/ ;
+float ceilf (float x) /*@*/ ;
+long double ceill (long double x) /*@*/ ;
+float cosf (float x) /*@*/ ;
+long double cosl (long double x) /*@*/ ;
+float coshf (float x) /*@modifies errno@*/ ;
+long double coshl (long double x) /*@modifies errno@*/ ;
+float expf (float x) /*@modifies errno@*/ ;
+long double expl (long double x) /*@modifies errno@*/;
+float fabsf (float x) /*@*/ ;
+long double fabsl (long double x) /*@*/ ;
+float floorf (float x) /*@*/ ;
+long double floorl (long double x) /*@*/ ;
+float fmodf (float x, float y) /*@*/ ;
+long double fmodl (long double x, long double y) /*@*/ ;
+float frexpf (float x, /*@out@*/ int *xp) /*@modifies *xp@*/;
+long double frexpl (long double x, /*@out@*/ int *xp) /*@modifies *xp@*/;
+float ldexpf (float x, int n) /*@modifies errno@*/ ;
+long double ldexpl (long double x, int n) /*@modifies errno@*/ ;
+float logf (float x) /*@modifies errno@*/ ;
+long double logl (long double x) /*@modifies errno@*/ ;
+float log10f (float x) /*@modifies errno@*/;
+long double log10l (long double x) /*@modifies errno@*/;
+float modff (float x, /*@out@*/ float *xp) /*@modifies *xp@*/ ;
+long double modfl (long double x, /*@out@*/ long double *xp) /*@modifies *xp@*/ ;
+float powf (float x, float y) /*@modifies errno@*/ ;
+long double powl (long double x, long double y) /*@modifies errno@*/ ;
+float sinf (float x) /*@*/ ;
+long double sinl (long double x) /*@*/ ;
+float sinhf (float x) /*@*/ ;
+long double sinhl (long double x) /*@*/ ;
+float sqrtf (float x) /*@modifies errno@*/ ;
+long double sqrtl (long double x) /*@modifies errno@*/ ;
+float tanf (float x) /*@*/ ;
+long double tanl (long double x) /*@*/ ;
+float tanhf (float x) /*@*/ ;
+long double tanhl (long double x) /*@*/ ;