_fp_add
_fp_add(pfpsd, &ust, &us3, &ud);
_fp_add(pfpsd, &us1, &us2, &ud);
extern void _fp_add(fp_simd_type *, unpacked *, unpacked *, unpacked *);