char *name;
int kind;
double amount;
+ double alpha; /* used by typed parallel tasks */
double remains;
double start_time;
double finish_time;
SD_link_t __SD_link_create(void *surf_link, void *data);
-void __SD_link_destroy(void *link);
+#define __SD_link_destroy xbt_free_f
SD_workstation_t __SD_workstation_create(void *surf_workstation,
void *data);