VM^2: passed all tests