#ifndef __SETJMP
#define __SETJMP



typedef int jmp_buf[35+1+48];
int setjmp(jmp_buf);
void longjmp(jmp_buf, int);

#endif /* __SETJMP */