Debugging in the CDC VM