void set_owner(Thread* owner) {

  {- -------------------------------------------
  (1) (デバッグ時には以下の処理を行う)
      ---------------------------------------- -}

      #ifndef PRODUCT
        set_owner_implementation(owner);
        debug_only(void verify_Monitor(Thread* thr));

  {- -------------------------------------------
  (1) (デバッグ時でなければ, 以下の処理を行う)

      _owner フィールドを, 引数で指定された値に書き換えるだけ.
      ---------------------------------------- -}

      #else
        _owner = owner;
      #endif
      }