let
output_section s =
ext (
Printf
.sprintf
"\n\\section*{%s}\n\n"
s)