void jed_event_add_resources(jed_event_t event, xbt_dynar_t host_selection) {
xbt_dynar_t resource_subset_list;
jed_res_subset_t res_set;
void jed_event_add_resources(jed_event_t event, xbt_dynar_t host_selection) {
xbt_dynar_t resource_subset_list;
jed_res_subset_t res_set;