+int __MSG_process_block(double max_duration, const char *info);
+MSG_error_t __MSG_process_unblock(m_process_t process);
+int __MSG_process_isBlocked(m_process_t process);
+
+void __MSG_display_process_status(void);
+
+m_task_t task_mallocator_new_f(void);
+void task_mallocator_free_f(m_task_t task);
+void task_mallocator_reset_f(m_task_t task);
+
+
+
+#define PAJE_PROCESS_STATE(process,state)\
+ if(msg_global->paje_output) \
+ fprintf(msg_global->paje_output,"10 %f S_t %p %s\n",\
+ surf_get_clock(), (process),(state))
+#define PAJE_PROCESS_PUSH_STATE(process,state,task)\
+ if(msg_global->paje_output) \
+ fprintf(msg_global->paje_output,"11 %f S_t %p %s \"%s\"\n",\
+ surf_get_clock(), (process),(state),(task)?((m_task_t)(task))->name:" ")
+#define PAJE_PROCESS_POP_STATE(process)\
+ if(msg_global->paje_output) \
+ fprintf(msg_global->paje_output,"12 %f S_t %p\n",\
+ surf_get_clock(), (process))
+
+#define PAJE_PROCESS_FREE(process)\
+ if(msg_global->paje_output) \
+ fprintf(msg_global->paje_output,"8 %f %p P_t\n", \
+ surf_get_clock(), (process))
+#define PAJE_PROCESS_NEW(process)\
+ if(msg_global->paje_output) \
+ fprintf(msg_global->paje_output,"7 %f %p P_t %p \"%s %d (%d)\"\n", \
+ surf_get_clock(), (process), (process)->simdata->host, \
+ (process)->name, (process)->simdata->PID, msg_global->session)
+#define PAJE_COMM_START(process,task,channel)\
+ if(msg_global->paje_output) \
+ fprintf(msg_global->paje_output,\
+ "16 %f Comm CUR \"CHANNEL_%d %s\" %p %p\n", \
+ surf_get_clock(), channel, task->name, (process), task)
+#define PAJE_COMM_STOP(process,task,channel)\
+ if(msg_global->paje_output) \
+ fprintf(msg_global->paje_output,\
+ "17 %f Comm CUR \"CHANNEL_%d %s\" %p %p\n", \
+ surf_get_clock(), channel, task->name, (process), task)
+#define PAJE_HOST_NEW(host)\
+ if(msg_global->paje_output)\
+ fprintf(msg_global->paje_output,"7 %f %p H_t CUR \"%s\"\n",surf_get_clock(), \
+ host, host->name)
+#define PAJE_HOST_FREE(host)\
+ if(msg_global->paje_output)\
+ fprintf(msg_global->paje_output,"8 %f %p H_t\n",surf_get_clock(), host);
+
+