set_cons_marked  6926 src/alloc.c    	  set_cons_marked (XCONS (tail));
set_cons_marked  7335 src/alloc.c    	    set_cons_marked (ptr);