static char rcsidpxerrors [] = "$Header:pxerrors.h 12.0$";
/* Copyright (c) 1982 Regents of the University of California */

/* static char sccsid[] = "@(#)pxerrors.h 1.2 1/18/82"; */

#define NERRORS 39

char *pxerrmsg[];

#define ESIGNAL		SIGTRAP

#define ESTKOVER	37
#define EOVERFLOW	39
