scope_stack checkpoint