{
  "no_terminating_instruction": {
    "vectors": {
      "no_terminating_instruction_0": {
        "code": "0xef0001010004020001000104000000008000005f",
        "results": {
          "Prague": {
            "exception": "EOF_InvalidCodeTermination",
            "result": false
          }
        }
      },
      "no_terminating_instruction_1": {
        "code": "0xef0001010004020001000504000000008000006002600101",
        "results": {
          "Prague": {
            "exception": "EOF_InvalidCodeTermination",
            "result": false
          }
        }
      },
      "no_terminating_instruction_2": {
        "code": "0xef0001010004020001000504000000008000006001e1fffb",
        "results": {
          "Prague": {
            "exception": "EOF_InvalidCodeTermination",
            "result": false
          }
        }
      }
    }
  }
}