let print_end_block title =
  fprintf !out_fmt "//\n// END %s\n//========================\n\n" title