Successor_function loading ...