char *key = bprintf("%lu", process->pid);
if (xbt_dict_get_or_null(first_enabled_state, key) == NULL) {
char *data = bprintf("%d", count);
char *key = bprintf("%lu", process->pid);
if (xbt_dict_get_or_null(first_enabled_state, key) == NULL) {
char *data = bprintf("%d", count);