(module int_to_print_int_borrow
  (fn main
    (doc "Iter eob.1 / rpe.1: primitive Int passed to the polymorphic `print` helper (Show Int). The rule that Term::Do args are Borrow has no observable RC effect here because Int is unboxed; the test pins that no spurious bookkeeping appears (allocs == 0, frees == 0, live == 0).")
    (type (fn-type (params) (ret (own (con Unit))) (effects IO)))
    (params)
    (body (let n 7 (seq (app print n) (do io/print_str "\n"))))))