12.5 Description of graceful restart

<Structure of this section>

• 12.5.1 Overview

• 12.5.2 Helper function

• 12.5.3 Restart function