/* All the new VM stuff */