inline void clear_hide_single_stepping() {

  {- -------------------------------------------
  (1) _hide_level が 1 以上なら _hide_level をデクリメントするだけ.
      _hide_level が 0 であれば _hide_single_stepping を false に戻す.
      ---------------------------------------- -}

        if (_hide_level > 0) {
          _hide_level--;
        } else {
          assert(_hide_single_stepping, "hide_single_stepping is out of phase");
          _hide_single_stepping = false;
        }
      }