{
  "result": "PASS",
  "binding": {
    "encoded": [
      "a",
      [
        "l",
        [
          "l",
          [
            "v",
            1
          ]
        ]
      ],
      [
        "v",
        0
      ]
    ],
    "beta": [
      "l",
      [
        "v",
        1
      ]
    ],
    "missing_initial_shift": [
      "l",
      [
        "v",
        0
      ]
    ],
    "locally_nameless": [
      "l",
      [
        "f",
        "z"
      ]
    ],
    "fresh_inverse": true,
    "nonfresh_close": [
      "a",
      [
        "b",
        0
      ],
      [
        "b",
        0
      ]
    ],
    "nested_argument_db": [
      "l",
      [
        "l",
        [
          "v",
          2
        ]
      ]
    ],
    "nested_argument_ln": [
      "l",
      [
        "l",
        [
          "f",
          "z"
        ]
      ]
    ],
    "invalid_LN_argument_rejected": true
  },
  "defunctionalization": {
    "function": [
      "Compose",
      [
        "Mul",
        3
      ],
      [
        "Add",
        2
      ]
    ],
    "at_1": 9,
    "twice_at_1": 33,
    "reversed_twice_at_1": 17
  },
  "trampoline": {
    "small": {
      "value": 6,
      "job_steps": 8,
      "peak_frames": 3,
      "trace": [
        [
          "Enter",
          3,
          0
        ],
        [
          "Enter",
          2,
          1
        ],
        [
          "Enter",
          1,
          2
        ],
        [
          "Enter",
          0,
          3
        ],
        [
          "Resume",
          0,
          3
        ],
        [
          "Resume",
          1,
          2
        ],
        [
          "Resume",
          3,
          1
        ],
        [
          "Resume",
          6,
          0
        ]
      ]
    },
    "n": 10000,
    "sum": 50005000,
    "bounce_calls": 20001
  },
  "control": {
    "full_6": {
      "value": 6,
      "steps": 16,
      "events": [
        {
          "event": "capture-full",
          "saved": [
            "add-right"
          ]
        },
        {
          "event": "invoke-full",
          "discard": [
            "add-right",
            "add-right"
          ],
          "restore": [
            "add-right"
          ]
        }
      ]
    },
    "delimited_106": {
      "value": 106,
      "steps": 18,
      "events": [
        {
          "event": "capture-delimited",
          "saved": [
            "add-right"
          ]
        },
        {
          "event": "invoke-delimited",
          "saved": 1,
          "caller": [
            "add-right",
            "mark"
          ]
        }
      ]
    },
    "multi_32": {
      "value": 32,
      "steps": 24,
      "events": [
        {
          "event": "capture-delimited",
          "saved": [
            "add-right"
          ]
        },
        {
          "event": "invoke-delimited",
          "saved": 1,
          "caller": [
            "add-left",
            "mark"
          ]
        },
        {
          "event": "invoke-delimited",
          "saved": 1,
          "caller": [
            "add-right",
            "mark"
          ]
        }
      ]
    },
    "nested_110": {
      "value": 110,
      "steps": 14,
      "events": [
        {
          "event": "capture-delimited",
          "saved": [
            "add-right"
          ]
        }
      ]
    },
    "removed_inner_10": {
      "value": 10,
      "steps": 11,
      "events": [
        {
          "event": "capture-delimited",
          "saved": [
            "add-right",
            "add-right"
          ]
        }
      ]
    },
    "normal_full_return_106": {
      "value": 106,
      "steps": 9,
      "events": [
        {
          "event": "capture-full",
          "saved": [
            "add-right"
          ]
        }
      ]
    },
    "reinstalled_110": {
      "value": 110,
      "steps": 18,
      "events": [
        {
          "event": "capture-delimited",
          "saved": [
            "add-left"
          ]
        },
        {
          "event": "invoke-delimited",
          "saved": 1,
          "caller": [
            "add-right",
            "mark"
          ]
        },
        {
          "event": "capture-delimited",
          "saved": [
            "add-right"
          ]
        }
      ]
    },
    "nested_exit_6": {
      "value": 6,
      "steps": 19,
      "events": [
        {
          "event": "capture-full",
          "saved": [
            "add-right"
          ]
        },
        {
          "event": "capture-full",
          "saved": [
            "add-right",
            "add-right"
          ]
        },
        {
          "event": "invoke-full",
          "discard": [
            "add-right",
            "add-right"
          ],
          "restore": [
            "add-right"
          ]
        }
      ]
    },
    "nested_inner_16": {
      "value": 16,
      "steps": 20,
      "events": [
        {
          "event": "capture-full",
          "saved": [
            "add-right"
          ]
        },
        {
          "event": "capture-full",
          "saved": [
            "add-right",
            "add-right"
          ]
        },
        {
          "event": "invoke-full",
          "discard": [
            "add-right",
            "add-right"
          ],
          "restore": [
            "add-right",
            "add-right"
          ]
        }
      ]
    }
  },
  "reused_full": [
    7,
    9
  ],
  "unhandled_shift": "shift without an enclosing reset"
}