(module t3_main_prints
  (fn main
    (doc "Print 42 then 1337, each on its own line.")
    (type (fn-type (params) (ret (con Unit)) (effects IO)))
    (params)
    (body (seq (do io/print_int 42) (do io/print_int 1337)))))