PUSH              532 src/bytecode.c     PUSH (*args);
PUSH              534 src/bytecode.c     PUSH (Flist (nargs - nonrest, args));
PUSH              537 src/bytecode.c       PUSH (Qnil);
PUSH              632 src/bytecode.c 	    PUSH (v2);
PUSH              709 src/bytecode.c 	    PUSH (v1);
PUSH              920 src/bytecode.c 	  PUSH (vectorp[FETCH2]);
PUSH              985 src/bytecode.c 		PUSH (c->val);
PUSH             1364 src/bytecode.c 	  PUSH (make_fixed_natnum (PT));
PUSH             1382 src/bytecode.c 	  PUSH (make_fixed_natnum (ZV));
PUSH             1386 src/bytecode.c 	  PUSH (make_fixed_natnum (BEGV));
PUSH             1394 src/bytecode.c 	  PUSH (Ffollowing_char ());
PUSH             1398 src/bytecode.c 	  PUSH (Fprevious_char ());
PUSH             1402 src/bytecode.c 	  PUSH (make_fixed_natnum (current_column ()));
PUSH             1410 src/bytecode.c 	  PUSH (Feolp ());
PUSH             1414 src/bytecode.c 	  PUSH (Feobp ());
PUSH             1418 src/bytecode.c 	  PUSH (Fbolp ());
PUSH             1422 src/bytecode.c 	  PUSH (Fbobp ());
PUSH             1426 src/bytecode.c 	  PUSH (Fcurrent_buffer ());
PUSH             1434 src/bytecode.c 	  PUSH (call0 (Qinteractive_p));
PUSH             1489 src/bytecode.c 	  PUSH (Fwiden ());
PUSH             1638 src/bytecode.c 	    PUSH (v1);
PUSH             1644 src/bytecode.c 	    PUSH (v1);
PUSH             1650 src/bytecode.c 	    PUSH (v1);
PUSH             1722 src/bytecode.c 	  PUSH (vectorp[op - Bconstant]);