public void PopScope() { if (0 < lastScopes) { lastScopes--; } else { do { lastRecord--; } while (records[lastRecord].scopeCount == 0); lastScopes = records[lastRecord].scopeCount; lastScopes--; } }