let print_start_block title =
  fprintf !out_fmt "//========================\n// BEGIN %s\n//\n" title