#include "state_db.h"
#include "memory.h"
#include "TaskIterator.h"

typedef struct MCWorker <> {
  pthread_mutex_t mutex;
  pthread_cond_t cond;
...
  StateDB parent;
  StateDB root;
...
} MCWorker;