Refactor VM internals -- add instructions