void do_space(Space* sp) {

  {- -------------------------------------------
  (1) Space::adjust_pointers() を呼び出すだけ.
      (なお, オーバーライドされているため, CompactibleSpace::adjust_pointers() になることもある模様)
      ---------------------------------------- -}

        sp->adjust_pointers();
      }