/* UNISRC_ID: @(#)setjmp.h	26.1	  */
#define _JBLEN 13
typedef int jmp_buf[_JBLEN];