/*	setjmp.h	4.1	83/05/03	*/

typedef int jmp_buf[10];