VX(He): Implement the restart.