// special for Threads::remove() which is static:

  {- -------------------------------------------
  (1) カレントスレッドの TerminatedTypes を _thread_terminated に変更する.
      ---------------------------------------- -}

      void set_terminated_value()                    { _terminated = _thread_terminated; }