if (VM.VerifyAssertions) VM_Scheduler.assert(deadThread.beingDispatched == true);
if (VM.VerifyAssertions) VM_Scheduler._assert(deadThread.beingDispatched == true);
  void enqueue (VM_Thread deadThread) {   // discard all threads whose stacks have been abandoned since the last time we looked   //   for (int i = 0, n = length; i < n; ++i)      {      VM_Thread t = queue.dequeue();      if (t.beingDispatched)         {         queue.enqueue(t);         continue;         }      t.releaseThreadSlot(); // recycle      --length;      }   // add on the one that died   //   if (VM.VerifyAssertions) VM_Scheduler.assert(deadThread.beingDispatched == true);   queue.enqueue(deadThread);   ++length;  }