(module embed_export_list_field_record_rejected
  (data List
    (ctor Nil)
    (ctor Cons (con Int) (con List)))
  (data Boxed
    (ctor Boxed (con Int) (con List)))
  (fn f
    (export "f")
    (type (fn-type (params (own (con Int))) (ret (own (con Boxed)))))
    (params n)
    (body (term-ctor Boxed Boxed n (term-ctor List Nil)))))
