An expressive vm