Deferring GSAPP