xbt_graph_file_to_parse_stack = xbt_dynar_new(sizeof(FILE *), NULL);
xbt_graph_file_to_parse = fopen(file, "r"); /* FIXME should use something like surf_fopen */
xbt_graph_file_to_parse_stack = xbt_dynar_new(sizeof(FILE *), NULL);
xbt_graph_file_to_parse = fopen(file, "r"); /* FIXME should use something like surf_fopen */
xbt_graph_input_buffer =
xbt_graph_parse__create_buffer(xbt_graph_file_to_parse, 10);
xbt_graph_parse__switch_to_buffer(xbt_graph_input_buffer);
xbt_graph_input_buffer =
xbt_graph_parse__create_buffer(xbt_graph_file_to_parse, 10);
xbt_graph_parse__switch_to_buffer(xbt_graph_input_buffer);