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