PUSH_SCOPE       1085 eval.c             PUSH_SCOPE();
PUSH_SCOPE       1356 eval.c             PUSH_SCOPE();
PUSH_SCOPE       2824 eval.c         	    PUSH_SCOPE();
PUSH_SCOPE       3441 eval.c             PUSH_SCOPE();
PUSH_SCOPE       4574 eval.c         	    PUSH_SCOPE();
PUSH_SCOPE       5374 eval.c             PUSH_SCOPE();