/*
 *	Copyright (c) Japan TeX Users Group, 1986 1987
 */

#define PK_ID		89

#define PK_FLAG		239
#define PK_XXX1		240
#define PK_XXX2		241
#define PK_XXX3		242
#define PK_XXX4		243
#define PK_YYY		244
#define PK_POST		245
#define PK_NO_OP	246
#define PK_PRE		247
