FPU_store_extended
extern int FPU_store_extended(FPU_REG *st0_ptr, u_char st0_tag,
if (FPU_store_extended