PUSH_FRAME       1350 eval.c             PUSH_FRAME();
PUSH_FRAME       1442 eval.c             PUSH_FRAME();
PUSH_FRAME       2100 eval.c             PUSH_FRAME();
PUSH_FRAME       3709 eval.c         	PUSH_FRAME();		/* fake frame */
PUSH_FRAME       4350 eval.c             PUSH_FRAME();		/* fake frame */
PUSH_FRAME       4382 eval.c         	PUSH_FRAME();
PUSH_FRAME       4513 eval.c             PUSH_FRAME();
PUSH_FRAME       5161 eval.c         	PUSH_FRAME();
PUSH_FRAME       5185 eval.c             PUSH_FRAME();
PUSH_FRAME       5369 eval.c             PUSH_FRAME();
PUSH_FRAME       6007 eval.c             PUSH_FRAME();
PUSH_FRAME       6019 eval.c             PUSH_FRAME();
PUSH_FRAME       7060 eval.c             PUSH_FRAME();