TH_PUSH_TAG       757 cont.c             TH_PUSH_TAG(th);
TH_PUSH_TAG       119 eval_intern.h  #define PUSH_TAG() TH_PUSH_TAG(GET_THREAD())
TH_PUSH_TAG       379 thread.c       	TH_PUSH_TAG(th);
TH_PUSH_TAG       566 vm.c               TH_PUSH_TAG(th);
TH_PUSH_TAG      1074 vm.c               TH_PUSH_TAG(th);
TH_PUSH_TAG       580 vm_eval.c          TH_PUSH_TAG(th);