Passes all VM and state tests