set_cons_marked  6622 src/alloc.c    	  set_cons_marked (XCONS (tail));
set_cons_marked  7017 src/alloc.c    	    set_cons_marked (ptr);