{
  "version": { "major": 1, "minor": 0 },
  "modules": [
    { "name": "abs-module" },
    {
      "name": "def-module",
      "loadedInstruction": "instr"
    },
    {
      "name": "ghi-module",
      "notLoadedInstruction": "not_instr"
    },
    {
      "name": "jkl-module",
      "loadedInstruction": "instr",
      "notLoadedInstruction": "not_instr"
    }
  ]
}