__vlibm_vcos_big
__vlibm_vcos_big(nsave, xsave, sxsave, ysave, sysave, 0x413921fb);
extern void __vlibm_vcos_big(int, double *, int, double *, int, int);
__vlibm_vcos_big(nsave, xsave, sxsave, ysave, sysave, 0x413921fb);
extern void __vlibm_vcos_big(int, double *, int, double *, int, int);