XUNMARK_VECTOR   3442 src/alloc.c    	      XUNMARK_VECTOR (vector);
XUNMARK_VECTOR   3499 src/alloc.c    	  XUNMARK_VECTOR (vector);