#ifndef _JBLEN
#define _JBLEN	10

typedef int jmp_buf[_JBLEN];

#endif