double generic_maxmin_share_resources(xbt_swag_t running_actions,
size_t offset);
double generic_maxmin_share_resources2(xbt_swag_t running_actions,
double generic_maxmin_share_resources(xbt_swag_t running_actions,
size_t offset);
double generic_maxmin_share_resources2(xbt_swag_t running_actions,