PUSH_VARS        3442 eval.c             PUSH_VARS();
PUSH_VARS        3768 eval.c             PUSH_VARS();
PUSH_VARS        4594 eval.c         	    PUSH_VARS();
PUSH_VARS        5353 eval.c             PUSH_VARS();