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