{- -------------------------------------------
  (1) (何もしない)
      ---------------------------------------- -}

      // Switch to single threaded mode.
      virtual void set_single_threaded_mode() { };