let
finalize_output () =
ext
"\n\\end{document}\n"