{
  "kind": "rec",
  "var": "t",
  "body": {
    "kind": "send",
    "partner": "B",
    "branches": [
      {
        "label": {
          "name": "outer",
          "sort": "unit"
        },
        "continuation": {
          "kind": "rec",
          "var": "s",
          "body": {
            "kind": "recv",
            "partner": "B",
            "branches": [
              {
                "label": {
                  "name": "inner",
                  "sort": "unit"
                },
                "continuation": {
                  "kind": "var",
                  "name": "s"
                }
              },
              {
                "label": {
                  "name": "exit",
                  "sort": "unit"
                },
                "continuation": {
                  "kind": "var",
                  "name": "t"
                }
              }
            ]
          }
        }
      },
      {
        "label": {
          "name": "done",
          "sort": "unit"
        },
        "continuation": {
          "kind": "end"
        }
      }
    ]
  }
}
