[
  {
    "time": 0,
    "kind": "load",
    "procedure": "main",
    "pc": 0,
    "message": "Loaded W2ControlFlow",
    "source": {
      "kind": "EXEC_IF",
      "id": "main:EXEC_IF:11:5",
      "sourceMap": {
        "line": 11,
        "column": 5
      },
      "procedureId": "main"
    },
    "data": {
      "moduleName": "W2ControlFlow"
    },
    "id": 1
  },
  {
    "time": 0,
    "kind": "instruction",
    "procedure": "main",
    "pc": 1,
    "instructionKind": "EXEC_IF",
    "source": {
      "kind": "EXEC_IF",
      "id": "main:EXEC_IF:11:5",
      "sourceMap": {
        "line": 11,
        "column": 5
      },
      "procedureId": "main"
    },
    "id": 2
  },
  {
    "time": 0,
    "kind": "diagnostic",
    "procedure": "main",
    "pc": 1,
    "message": "Execution exceeded 1 steps",
    "source": {
      "kind": "ALARM",
      "id": "main:ALARM:16:7",
      "sourceMap": {
        "line": 16,
        "column": 7
      },
      "procedureId": "main"
    },
    "diagnostic": {
      "severity": "error",
      "code": "VC_STEP_LIMIT_EXCEEDED",
      "message": "Execution exceeded 1 steps"
    },
    "id": 3
  },
  {
    "time": 0,
    "kind": "alarm",
    "procedure": "main",
    "pc": 1,
    "message": "not ready",
    "source": {
      "kind": "ALARM",
      "id": "main:ALARM:16:7",
      "sourceMap": {
        "line": 16,
        "column": 7
      },
      "procedureId": "main"
    },
    "data": {
      "alarmId": "NOT_READY",
      "severity": "error"
    },
    "id": 4
  },
  {
    "time": 0,
    "kind": "instruction",
    "procedure": "main",
    "pc": 2,
    "instructionKind": "ALARM",
    "source": {
      "kind": "ALARM",
      "id": "main:ALARM:16:7",
      "sourceMap": {
        "line": 16,
        "column": 7
      },
      "procedureId": "main"
    },
    "id": 5
  },
  {
    "time": 0,
    "kind": "instruction",
    "procedure": "main",
    "pc": 3,
    "instructionKind": "EXEC_WHILE",
    "source": {
      "kind": "EXEC_WHILE",
      "id": "main:EXEC_WHILE:18:5",
      "sourceMap": {
        "line": 18,
        "column": 5
      },
      "procedureId": "main"
    },
    "id": 6
  },
  {
    "time": 0,
    "kind": "instruction",
    "procedure": "main",
    "pc": 4,
    "instructionKind": "EXEC_FOR",
    "source": {
      "kind": "EXEC_FOR",
      "id": "main:EXEC_FOR:22:5",
      "sourceMap": {
        "line": 22,
        "column": 5
      },
      "procedureId": "main"
    },
    "id": 7
  },
  {
    "time": 0,
    "kind": "instruction",
    "procedure": "main",
    "pc": 5,
    "instructionKind": "RAW_STATEMENT",
    "source": {
      "kind": "RAW_STATEMENT",
      "id": "main:RAW_STATEMENT:23:7",
      "sourceMap": {
        "line": 23,
        "column": 7
      },
      "procedureId": "main"
    },
    "id": 8
  },
  {
    "time": 0,
    "kind": "diagnostic",
    "procedure": "main",
    "pc": 5,
    "message": "Execution exceeded 3 steps",
    "source": {
      "kind": "EXEC_SWITCH",
      "id": "main:EXEC_SWITCH:25:5",
      "sourceMap": {
        "line": 25,
        "column": 5
      },
      "procedureId": "main"
    },
    "diagnostic": {
      "severity": "error",
      "code": "VC_STEP_LIMIT_EXCEEDED",
      "message": "Execution exceeded 3 steps"
    },
    "id": 9
  },
  {
    "time": 0.1,
    "kind": "instruction",
    "procedure": "main",
    "pc": 6,
    "instructionKind": "EXEC_SWITCH",
    "source": {
      "kind": "EXEC_SWITCH",
      "id": "main:EXEC_SWITCH:25:5",
      "sourceMap": {
        "line": 25,
        "column": 5
      },
      "procedureId": "main"
    },
    "id": 10
  },
  {
    "time": 0.1,
    "kind": "diagnostic",
    "procedure": "main",
    "pc": 7,
    "instructionKind": "BREAK",
    "source": {
      "kind": "BREAK",
      "id": "main:BREAK:28:9",
      "sourceMap": {
        "line": 28,
        "column": 9
      },
      "procedureId": "main"
    },
    "diagnostic": {
      "severity": "info",
      "code": "VC_BREAK",
      "message": "BREAK reached",
      "sourceMap": {
        "line": 28,
        "column": 9
      }
    },
    "id": 11
  },
  {
    "time": 0.1,
    "kind": "alarm",
    "procedure": "main",
    "pc": 7,
    "message": "mode 1",
    "source": {
      "kind": "ALARM",
      "id": "main:ALARM:27:9",
      "sourceMap": {
        "line": 27,
        "column": 9
      },
      "procedureId": "main"
    },
    "data": {
      "alarmId": "MODE1",
      "severity": "error"
    },
    "id": 12
  },
  {
    "time": 0.1,
    "kind": "instruction",
    "procedure": "main",
    "pc": 8,
    "instructionKind": "ALARM",
    "source": {
      "kind": "ALARM",
      "id": "main:ALARM:27:9",
      "sourceMap": {
        "line": 27,
        "column": 9
      },
      "procedureId": "main"
    },
    "id": 13
  }
]
