typedef struct MCTaskManagerImpl <> impl TaskManager {
  int numWorker;
  int sendCPUWorkerIndex;
  int sendGPUWorkerIndex;
  int taskCount;
  pthread_mutex_t mutex;
  struct Queue* activeQueue;
  struct Worker** workers;
  struct Element* taskList;
  MemoryPtr mem; // modelchecking memorylenge
  StateDB state_db;
  StateNode st;
  int loopCounter;
  int cpu;
  int gpu;
  int io;
  int visit;
  int maxCPU;
  void (*statefunc)(struct MCTaskManagerImpl* mcti, StateDB now,StateDB next);
  __code next(...);
} MCTaskManagerImpl;