# define ASSERT 257
# define PRINT 258
# define PRINTM 259
# define C_CODE 260
# define C_DECL 261
# define C_EXPR 262
# define C_STATE 263
# define C_TRACK 264
# define RUN 265
# define LEN 266
# define ENABLED 267
# define EVAL 268
# define PC_VAL 269
# define TYPEDEF 270
# define MTYPE 271
# define INLINE 272
# define LABEL 273
# define OF 274
# define GOTO 275
# define BREAK 276
# define ELSE 277
# define SEMI 278
# define IF 279
# define FI 280
# define DO 281
# define OD 282
# define SEP 283
# define ATOMIC 284
# define NON_ATOMIC 285
# define D_STEP 286
# define UNLESS 287
# define TIMEOUT 288
# define NONPROGRESS 289
# define ACTIVE 290
# define PROCTYPE 291
# define D_PROCTYPE 292
# define HIDDEN 293
# define SHOW 294
# define ISLOCAL 295
# define PRIORITY 296
# define PROVIDED 297
# define FULL 298
# define EMPTY 299
# define NFULL 300
# define NEMPTY 301
# define CONST 302
# define TYPE 303
# define XU 304
# define NAME 305
# define UNAME 306
# define PNAME 307
# define INAME 308
# define STRING 309
# define CLAIM 310
# define TRACE 311
# define INIT 312
# define ASGN 313
# define SND 314
# define O_SND 315
# define RCV 316
# define R_RCV 317
# define OR 318
# define AND 319
# define EQ 320
# define NE 321
# define GT 322
# define LT 323
# define GE 324
# define LE 325
# define LSHIFT 326
# define RSHIFT 327
# define INCR 328
# define DECR 329
# define UMIN 330
# define NEG 331
# define DOT 332