let
finalize_html (pr:string
->
unit) =
pr
"</body></html>\n"