{
  "protocol": "debugging",
  "imports": [],
  "types": [
    {
      "type": "record",
      "name": "FirstStepResult",
      "fields": [
        {
          "type": "int",
          "name": "valPlusTwo"
        }
      ]
    }
  ],
  "messages": {
    "firstStep": {
      "request": [
        {
          "name": "sessionID",
          "type": "int"
        },
        {
          "name": "val",
          "type": "int"
        }
      ],
      "response": "FirstStepResult"
    },
    "secondStep": {
      "request": [
        {
          "name": "sessionID",
          "type": "int"
        },
        {
          "name": "val",
          "type": "int"
        }
      ],
      "response": "int"
    },
    "increment": {
      "request": [
        {
          "name": "sessionID",
          "type": "int"
        },
        {
          "name": "val",
          "type": "int"
        }
      ],
      "response": "int"
    }
  },
  "namespace": "keybase.1"
}