PUSH_TAG         956 eval.c             PUSH_TAG(PROT_NONE);
PUSH_TAG         984 eval.c             PUSH_TAG(PROT_NONE);
PUSH_TAG         1092 eval.c             PUSH_TAG(PROT_NONE);
PUSH_TAG         1204 eval.c             PUSH_TAG(PROT_NONE);
PUSH_TAG         1223 eval.c             PUSH_TAG(PROT_NONE);
PUSH_TAG         1238 eval.c             PUSH_TAG(PROT_NONE);
PUSH_TAG         1267 eval.c             PUSH_TAG(PROT_NONE);
PUSH_TAG         1321 eval.c             PUSH_TAG(PROT_NONE);
PUSH_TAG         1454 eval.c             PUSH_TAG(PROT_NONE);
PUSH_TAG         1477 eval.c             PUSH_TAG(PROT_NONE);
PUSH_TAG         1499 eval.c             PUSH_TAG(PROT_NONE);
PUSH_TAG         1886 eval.c         	PUSH_TAG(PROT_NONE);
PUSH_TAG         1983 eval.c         	PUSH_TAG(PROT_NONE);
PUSH_TAG         2026 eval.c         	PUSH_TAG(PROT_NONE);
PUSH_TAG         2118 eval.c             PUSH_TAG(PROT_NONE);
PUSH_TAG         2287 eval.c         	PUSH_TAG(PROT_NONE);
PUSH_TAG         2419 eval.c         	PUSH_TAG(PROT_NONE);
PUSH_TAG         2451 eval.c         	PUSH_TAG(PROT_NONE);
PUSH_TAG         2490 eval.c         	    PUSH_TAG(PROT_FUNC);
PUSH_TAG         2595 eval.c         	    PUSH_TAG(PROT_NONE);
PUSH_TAG         2607 eval.c         			PUSH_TAG(PROT_NONE);
PUSH_TAG         2635 eval.c         	PUSH_TAG(PROT_NONE);
PUSH_TAG         2825 eval.c         	    PUSH_TAG(PROT_NONE);
PUSH_TAG         3458 eval.c             PUSH_TAG(PROT_NONE);
PUSH_TAG         3794 eval.c         	PUSH_TAG(PROT_NONE);
PUSH_TAG         3826 eval.c             PUSH_TAG(PROT_NONE);
PUSH_TAG         4064 eval.c             PUSH_TAG(PROT_NONE);
PUSH_TAG         4140 eval.c             PUSH_TAG(PROT_NONE);
PUSH_TAG         4160 eval.c         		PUSH_TAG(PROT_NONE);
PUSH_TAG         4203 eval.c             PUSH_TAG(PROT_NONE);
PUSH_TAG         4229 eval.c             PUSH_TAG(PROT_NONE);
PUSH_TAG         4251 eval.c             PUSH_TAG(PROT_NONE);
PUSH_TAG         4270 eval.c         	PUSH_TAG(PROT_NONE);
PUSH_TAG         4535 eval.c         		PUSH_TAG(PROT_FUNC);
PUSH_TAG         4595 eval.c         	    PUSH_TAG(PROT_FUNC);
PUSH_TAG         5052 eval.c             PUSH_TAG(PROT_NONE);
PUSH_TAG         5200 eval.c             PUSH_TAG(PROT_NONE);
PUSH_TAG         5377 eval.c             PUSH_TAG(PROT_NONE);
PUSH_TAG         5422 eval.c             PUSH_TAG(PROT_NONE);
PUSH_TAG         5610 eval.c         	PUSH_TAG(PROT_NONE);
PUSH_TAG         5638 eval.c             PUSH_TAG(PROT_NONE);
PUSH_TAG         6530 eval.c             PUSH_TAG(PROT_NONE);
PUSH_TAG         6730 eval.c             PUSH_TAG(PROT_NONE);
PUSH_TAG         6927 eval.c             PUSH_TAG(PROT_NONE);
PUSH_TAG         8668 eval.c             PUSH_TAG(PROT_THREAD);
PUSH_TAG         9340 eval.c             PUSH_TAG(t);