void replay_start_task() {
  if (!css_initialized) {
    event_start_css();
    css_initialized = 1;
  }
  TEST_PROGRESS("starting task with name fake_name\n");
//   printf("create and run wd\n");
  event_start_task("fake_name");
}
void replay_start_task(int wd_id) {
  char task_name[31];
  if (!css_initialized) {
    event_start_css();
    css_initialized = 1;
  }
  TEST_PROGRESS("starting task with name: %d\n", wd_id);
  sprintf(task_name, "%d", wd_id);
  event_start_task(&task_name[0]);
}
void start_css_valgrind (void) {
   TEST_PROGRESS("start_css_valgrind      \n");
   event_start_css();
}