FPU_stack_underflow_pop
FPU_stack_underflow_pop(FPU_rm);
extern void FPU_stack_underflow_pop(int i);
FPU_stack_underflow_pop(1);
FPU_stack_underflow_pop(1);
FPU_stack_underflow_pop(1);