static vm checking