/* Copyright (C) 1983 by Manx Software Systems */
#define JBUFSIZE	(6*sizeof(int))

typedef char jmp_buf[JBUFSIZE];