#ifndef _setjmp_h
#pragma once
   
#if vax
static const int _JBLEN = 10;
#endif
   
#if sun
static const int _JBLEN = 15;
#endif
   
typedef int jmp_buf[_JBLEN];
   
extern int setjmp(jmp_buf);
extern void longjmp(jmp_buf, int);
   
#endif