scope stack checkpoint
scope stack checkpoint