ACME-ize the VM and bring it up to speed with C model