let
output_line out string =
output_string out (string ^
"\n"
)