extern "C"
  {
  void DV_timeslice();
  void DV_start_critical();
  void DV_end_critical();
  }