let output_endline cout s = output_string cout s; output_string cout "\n"