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