(module embed_export_str_field_record_rejected
  (data Tagged
    (ctor Tagged (con Int) (con Str)))
  (fn f
    (export "f")
    (type (fn-type (params (own (con Int))) (ret (own (con Tagged)))))
    (params n)
    (body (term-ctor Tagged Tagged n "x"))))
