{- -------------------------------------------
  (1) _terminated フィールドが true かどうかを返すだけ.
      ---------------------------------------- -}

      static bool is_terminated()                     { return _terminated == true; }