-typedef int (*xbt_main_func_t) (int argc, char *argv[]);
-
-typedef double(*double_f_pvoid_t) (void *);
-typedef double(*double_f_cpvoid_t) (const void *);
+/** Prototype of an actor's main function
+ *
+ * The only difference with a classical main() in C is that the return type is void */
+typedef void (*xbt_main_func_t)(int argc, char* argv[]);