let
output chan n =
output_string chan (to_string n)