+ if(XBT_LOG_ISENABLED(stubgen, xbt_log_priority_debug)) {
+ xbt_dict_cursor_t cursor=NULL;
+ char *key = NULL;
+ void *data = NULL;
+
+ for (cursor=NULL, xbt_dict_cursor_first((process_function_set),&(cursor)) ;
+ xbt_dict_cursor_get_or_free(&(cursor),&(key),(void**)(&data));
+ xbt_dict_cursor_step(cursor) ) {
+ DEBUG1("Function %s", key);
+ }
+
+ xbt_dict_dump(process_function_set,print);
+ }
+