+long get_irg_graph_nr(const ir_graph *irg);
+#endif
+
+/**
+ * Returns the graph number. This is a unique number for the graph and is
+ * smaller than get_irp_last_idx()
+ * Note: you cannot use this number for get_irp_irg
+ */
+int get_irg_idx(const ir_graph *irg);