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