inline void set_hide_single_stepping() {

  {- -------------------------------------------
  (1) _hide_single_stepping が false なら true に変更するだけ.
      true であれば, 代わりに _hide_level をインクリメントする.
      ---------------------------------------- -}

        if (_hide_single_stepping) {
          _hide_level++;
        } else {
          assert(_hide_level == 0, "hide_level is out of phase");
          _hide_single_stepping = true;
        }
      }