let
pr str =
Format
.fprintf (out()) str