-XBT_PUBLIC void __SD_task_set_state(SD_task_t task, e_SD_task_state_t new_state);
-XBT_PUBLIC void __SD_task_really_run(SD_task_t task);
-XBT_PUBLIC int __SD_task_try_to_run(SD_task_t task);
-XBT_PUBLIC void __SD_task_just_done(SD_task_t task);
+SD_workstation_t __SD_workstation_create(void *surf_workstation,
+ void *data);
+void __SD_workstation_destroy(void *workstation);
+int __SD_workstation_is_busy(SD_workstation_t workstation);
+
+void __SD_task_set_state(SD_task_t task, e_SD_task_state_t new_state);
+void __SD_task_really_run(SD_task_t task);
+int __SD_task_try_to_run(SD_task_t task);
+void __SD_task_just_done(SD_task_t task);
+bool acyclic_graph_detail(xbt_dynar_t dag);
+
+/* Task mallocator functions */
+void* SD_task_new_f(void);
+void SD_task_recycle_f(void *t);
+void SD_task_free_f(void *t);