vm passes Static Test