To be implemented:A vm is a compound of code, context, data, and limits.vm_make:          vmvm_unmake         vm:vm_context        vm: contextvm_data           vm: storevm_defns_count    vm: ivm_defns_ref      vm i: defnvm_code_start     vm count stack_effect:vm_code_add_insn  vm insn:vm_code_end_defn  vm:vm_code_end       vm:vm_limit          vm resource: ivm_set_limit      vm resource i:vm_run            vm: result_codevm_freeze         vm: objfilevm_load           vm objfile:context_reset     context defn:context_top_frame context: frameframe_parent      context frame: frameframe_pc          context frame: positionframe_locals      context frame: storeframe_stacked     context frame: storestore_size        store: istore_ref         store i: swordstore_set         store i sword:store_unmake      store:position_defn     position: iposition_insn     position: idefn_effect       defn: stack_effectdefn_insns_count  defn: idefn_insns_ref    defn i: insninsn_make         i sword: insninsn_opcode       insn: iinsn_operand      insn: swordresult_code = Completed            | Exhausted (resource)            | Bounds_violation            | ...resource = Fuel | Data_space | Context_space | Code_space | ...