FPU_stack_underflow_i
FPU_stack_underflow_i(i);
FPU_stack_underflow_i(FPU_rm);
extern void FPU_stack_underflow_i(int i);