High-level VM (like LLVM's little brother)