let output chan t =       Model.output chan (to_native_string t)