+/* dumps all graphs with the graph-dumper passed. Possible dumpers:
+ * dump_ir_graph
+ * dump_ir_block_graph
+ * dump_cfg
+ * dump_type_graph
+ * dump_ir_graph_w_types */
+void dump_all_ir_graphs (void dump_graph(ir_graph*));
+
+/* To turn off display of edge labels. Edge labels offen cause xvcg to
+ abort with a segmentation fault. */
+void turn_of_edge_labels();
+
+