/* routine to set up floating point environment to crash */
void SetFPEnv(void);