Move into the VMCore library