-void dump_vcg_header(FILE *F, const char *name, const char *orientation);
-const char *get_irg_dump_name(ir_graph *irg);
-void vcg_close (FILE *F);
+void dump_vcg_header(FILE *F, const char *name, const char *layout, const char *orientation);
+void dump_vcg_footer(FILE *F);
+const char *get_irg_dump_name(const ir_graph *irg);