/*
 * 5799-WZQ (C) COPYRIGHT = NONE
 * LICENSED MATERIALS - PROPERTY OF IBM
 */
/* $Header:setjmp.h 12.0$ */
/* $ACIS:setjmp.h 12.0$ */
/* $Source: /ibm/acis/usr/src/include/RCS/setjmp.h,v $ */

#if !defined(lint) && !defined(LOCORE)  && defined(RCS_HDRS)
static char *rcsidsetjmp = "$Header:setjmp.h 12.0$";
#endif

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

#if	defined(ibm032) || defined(ibm370)
typedef int jmp_buf[16];
#else
	__FILE__ UNKNOWN MACHINE!!
#endif
