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