5d59bd6 Use LEAVE phaser in save/restore pairings.