{
  "probes": [
    {
      "name": "sum-nonzero",
      "symbol": "rpc_sum",
      "when": "a1 > 0",
      "on_enter": {
        "log": ["a0", "a1"],
        "dump": [{"reg": "a0", "len": 32, "label": "sum-input"}],
        "note": "rpc_sum with a non-zero length"
      },
      "on_leave": {"log": ["retval"]}
    },
    {
      "name": "state-machine",
      "symbol": "rpc_state",
      "on_leave": {"log": ["retval"], "note": "state transition"}
    },
    {
      "name": "trap",
      "symbol": "rpc_fault",
      "on_enter": {"note": "rpc_fault entered; the ebreak trap follows"}
    }
  ]
}