let
output_sexp_nl do_output oc sexp =
do_output oc sexp;
output_string oc
"\n"