Successors are now stored as pointers