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

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

/*
 * px opcodes
 */

typedef unsigned char PXOP;

#include "../px/h02opcs.h"		/* opcode defines */
