/* SETJMP.ADJ */

#ifndef __SETJMP_ADJ
#define __SETJMP_ADJ

extern void longjmp(jmp_buf, int /*~Generic*/) /*~NeverReturns*/;

#endif /* __SETJMP_ADJ */

/* End SETJMP.ADJ */