[
  {
    "time": 0,
    "kind": "load",
    "procedure": "main",
    "pc": 0,
    "message": "Loaded W2ProcFuncCall",
    "source": {
      "kind": "RAW_STATEMENT",
      "id": "main:RAW_STATEMENT:17:5",
      "sourceMap": {
        "line": 17,
        "column": 5
      },
      "procedureId": "main"
    },
    "data": {
      "moduleName": "W2ProcFuncCall"
    },
    "id": 1
  },
  {
    "time": 0,
    "kind": "instruction",
    "procedure": "main",
    "pc": 1,
    "instructionKind": "RAW_STATEMENT",
    "source": {
      "kind": "RAW_STATEMENT",
      "id": "main:RAW_STATEMENT:17:5",
      "sourceMap": {
        "line": 17,
        "column": 5
      },
      "procedureId": "main"
    },
    "id": 2
  },
  {
    "time": 0,
    "kind": "diagnostic",
    "procedure": "main",
    "pc": 1,
    "message": "Execution exceeded 1 steps",
    "source": {
      "kind": "RAW_STATEMENT",
      "id": "main:RAW_STATEMENT:18:5",
      "sourceMap": {
        "line": 18,
        "column": 5
      },
      "procedureId": "main"
    },
    "diagnostic": {
      "severity": "error",
      "code": "VC_STEP_LIMIT_EXCEEDED",
      "message": "Execution exceeded 1 steps"
    },
    "id": 3
  },
  {
    "time": 0,
    "kind": "instruction",
    "procedure": "main",
    "pc": 2,
    "instructionKind": "RAW_STATEMENT",
    "source": {
      "kind": "RAW_STATEMENT",
      "id": "main:RAW_STATEMENT:18:5",
      "sourceMap": {
        "line": 18,
        "column": 5
      },
      "procedureId": "main"
    },
    "id": 4
  },
  {
    "time": 0,
    "kind": "instruction",
    "procedure": "read_part",
    "pc": 0,
    "instructionKind": "CALL",
    "message": "Call read_part",
    "source": {
      "kind": "CALL",
      "sourceMap": {
        "line": 19,
        "column": 5
      },
      "procedureId": "read_part"
    },
    "id": 5
  },
  {
    "time": 0,
    "kind": "instruction",
    "procedure": "read_part",
    "pc": 1,
    "instructionKind": "RAW_STATEMENT",
    "source": {
      "kind": "RAW_STATEMENT",
      "id": "read_part:RAW_STATEMENT:8:5",
      "sourceMap": {
        "line": 8,
        "column": 5
      },
      "procedureId": "read_part"
    },
    "id": 6
  },
  {
    "time": 0,
    "kind": "diagnostic",
    "procedure": "main",
    "pc": 3,
    "message": "Execution exceeded 3 steps",
    "source": {
      "kind": "CALL",
      "id": "main:CALL:20:5",
      "sourceMap": {
        "line": 20,
        "column": 5
      },
      "procedureId": "main"
    },
    "diagnostic": {
      "severity": "error",
      "code": "VC_STEP_LIMIT_EXCEEDED",
      "message": "Execution exceeded 3 steps"
    },
    "id": 7
  },
  {
    "time": 0.1,
    "kind": "instruction",
    "procedure": "increment_retry",
    "pc": 0,
    "instructionKind": "CALL",
    "message": "Call increment_retry",
    "source": {
      "kind": "CALL",
      "sourceMap": {
        "line": 20,
        "column": 5
      },
      "procedureId": "increment_retry"
    },
    "id": 8
  },
  {
    "time": 0.1,
    "kind": "instruction",
    "procedure": "increment_retry",
    "pc": 1,
    "instructionKind": "RAW_STATEMENT",
    "source": {
      "kind": "RAW_STATEMENT",
      "id": "increment_retry:RAW_STATEMENT:11:5",
      "sourceMap": {
        "line": 11,
        "column": 5
      },
      "procedureId": "increment_retry"
    },
    "id": 9
  },
  {
    "time": 0.1,
    "kind": "instruction",
    "procedure": "main",
    "pc": 5,
    "instructionKind": "EXEC_IF",
    "source": {
      "kind": "EXEC_IF",
      "id": "main:EXEC_IF:21:5",
      "sourceMap": {
        "line": 21,
        "column": 5
      },
      "procedureId": "main"
    },
    "id": 10
  },
  {
    "time": 0.1,
    "kind": "instruction",
    "procedure": "main",
    "pc": 5,
    "instructionKind": "RETURN",
    "source": {
      "kind": "RETURN",
      "id": "main:RETURN:24:5",
      "sourceMap": {
        "line": 24,
        "column": 5
      },
      "procedureId": "main"
    },
    "id": 11
  }
]
