Symbol: VMC_XALLOC