TODO (108B)
1- Validate that register contents are saved and restored as expected. 2- Support and validate extra_context.