XUNMARK_VECTOR   3238 src/alloc.c    	      XUNMARK_VECTOR (vector);
XUNMARK_VECTOR   3295 src/alloc.c    	  XUNMARK_VECTOR (vector);