let
output chan t =
Model
.output chan (
B
.string_for_output t)