{
  "content": "  (module t1_add_three\n  (fn add_three\n    (doc \"Add three Ints.\")\n    (type (fn-type (params (con Int) (con Int) (con Int)) (ret (con Int))))\n    (params x y z)\n    (body (app + x (app + y z))))\n  (fn main\n    (doc \"Print the sum of three Ints.\")\n    (type (fn-type (params) (ret (con Unit)) (effects IO)))\n    (params)\n    (body (seq (do io/print_int (app add_three 1 2 3)) (do io/print_int (app add_three 10 20 30)))))\n)",
  "usage": {
    "completion_tokens": 172,
    "prompt_tokens": 7296,
    "total_tokens": 7468
  }
}