Basic parts for restarting are all in