xbt_graph_t g = instr_routing_platform_graph();
if (g == NULL) return 0;
instr_routing_platform_graph_export_graphviz (g, filename);
xbt_graph_t g = instr_routing_platform_graph();
if (g == NULL) return 0;
instr_routing_platform_graph_export_graphviz (g, filename);