117
117
is the number of elements remaining in the XArray. */
118
118
extern void VG_(dropHeadXA) ( XArray*, Word );
120
126
/* Make a new, completely independent copy of the given XArray, using
121
127
the existing allocation function to allocate the new space.
122
128
Returns NULL if the allocation function didn't manage to allocate