#include <setjmp.h>
extern jmp_buf JmpEnv[10];
extern int NumJump; 
void MidasError();