{
  "fact": {
    "=if": {
      "cond": {"=<=": {"in1": "=n", "in2": 1}},
      "then": 1,
      "else": {
        "t": {"=-": {"in1": "=n", "in2": 1}},
        "=*": {"in1": "=n", "in2": {"=fact": {"n": "=t"}}}
      }
    }
  },
  "=fact": {"n": 5}
}