live_vector_pointer 4754 src/alloc.c      return live_vector_pointer (large_vector_vec (m->start), p);
live_vector_pointer 4784 src/alloc.c    	return live_vector_pointer (vector, vp);