got rid of bad VM abtractions