{
  "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 + (app + x y) z)))\n  (fn main\n    (doc \"Print add_three(1, 2, 3) and add_three(10, 20, 30).\")\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)))))",
  "usage": {
    "completion_tokens": 170,
    "prompt_tokens": 6586,
    "total_tokens": 6756
  }
}