let
output_comment (s:string) =
ext (
Printf
.sprintf
"\n%% %s\n"
s)