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