{
  "version": { "major": 12, "minor": 13 },
  "modules": [
    {
      "loadedInstruction": "instr"
    }
  ]
}