Saved States
Subsections
Types of Saved States and Portability
Save Predicates