pub fn translate(vm_instructions: Vec<VmInstruction>) -> Vec<I>