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