#ifndef __SETJMP_H
#define __SETJMP_H 1

typedef int jmp_buf[13];

int setjmp (jmp_buf);
void longjmp (jmp_buf, int);

#endif