typedef struct DebugTaskManagerImpl <> 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; // memorylenge for Debugger
  StateDB state_db;
  int loopCounter;
  int cpu;
  int gpu;
  int io;
  int maxCPU;
  void (*statefunc)(struct DebugTaskManagerImpl* debugTaskManagerImpl, struct DebugWorker* debugWorker, StateDB now, StateDB next, int flag);
  __code next(...);
} DebugTaskManagerImpl;