FILE *vcg_open_name (const char *name, const char *suffix);
void dump_vcg_header(FILE *F, const char *name, const char *layout, const char *orientation);
void dump_vcg_footer(FILE *F);
FILE *vcg_open_name (const char *name, const char *suffix);
void dump_vcg_header(FILE *F, const char *name, const char *layout, const char *orientation);
void dump_vcg_footer(FILE *F);