+debug_pdrs (poly_bb_p pbb, int verbosity)
+{
+ print_pdrs (stderr, pbb, verbosity);
+}
+
+/* Print to FILE the body of PBB, at some VERBOSITY level. */
+
+static void
+print_pbb_body (FILE *file, poly_bb_p pbb, int verbosity)
+{
+ if (verbosity > 1)
+ fprintf (file, "# Body (\n");
+
+ if (verbosity > 0)
+ fprintf (file, "# Statement body is provided\n");
+ fprintf (file, "1\n");
+
+ if (verbosity > 0)
+ fprintf (file, "# Original iterator names\n# Iterator names are not provided yet.\n");
+
+ if (verbosity > 0)
+ fprintf (file, "# Statement body\n");
+
+ fprintf (file, "{\n");
+ dump_bb (pbb_bb (pbb), file, 0);
+ fprintf (file, "}\n");
+
+ if (verbosity > 1)
+ fprintf (file, "#)\n");
+}
+
+/* Print to FILE the body of PBB. */
+
+static void
+print_pbb_body (FILE *file, poly_bb_p pbb)