diff --git a/docs/index.html b/docs/index.html
index 5754828..e81d6e5 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -2,7 +2,7 @@
 <head><meta charset="utf-8">
 <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/8.4/styles/github.min.css">
 <link rel="spec" href="es2015">
-<title>ECMAScript class static initialization blocks</title><script type="application/json" id="menu-search-biblio">[{"type":"clause","id":"sec-intro","aoid":null,"title":"Introduction","titleHTML":"Introduction","number":"","namespace":"<no location>","location":"","referencingIds":[],"key":"Introduction"},{"type":"term","term":"class static block Environment Record","refId":"sec-class-static-block-environment-records","referencingIds":[],"namespace":"<no location>","location":"","key":"class static block Environment Record"},{"type":"table","id":"table-class-static-block","node":{},"number":1,"caption":"Table 1: Additional Fields of Class Static Block Environment Records","referencingIds":["_ref_0"],"namespace":"<no location>","location":"","key":"Table 1: Additional Fields of Class Static Block Environment Records"},{"type":"clause","id":"sec-class-static-block-environment-records","aoid":null,"title":"Class Static Block Environment Records","titleHTML":"<ins>Class Static Block Environment Records</ins>","number":"1.1","namespace":"<no location>","location":"","referencingIds":["_ref_22"],"key":"Class Static Block Environment Records"},{"type":"op","aoid":"NewClassStaticBlockEnvironment","refId":"sec-newclassstaticblockenvironment","location":"","referencingIds":[],"key":"NewClassStaticBlockEnvironment"},{"type":"clause","id":"sec-newclassstaticblockenvironment","aoid":"NewClassStaticBlockEnvironment","title":"NewClassStaticBlockEnvironment ( F )","titleHTML":"<ins>NewClassStaticBlockEnvironment ( <var>F</var> )</ins>","number":"1.2.1","namespace":"<no location>","location":"","referencingIds":["_ref_21"],"key":"NewClassStaticBlockEnvironment ( F )"},{"type":"clause","id":"sec-environment-record-operations","aoid":null,"title":"Environment Record Operations","titleHTML":"Environment Record Operations","number":"1.2","namespace":"<no location>","location":"","referencingIds":[],"key":"Environment Record Operations"},{"type":"clause","id":"sec-executable-code-and-execution-contexts","aoid":null,"title":"Executable Code and Execution Contexts","titleHTML":"Executable Code and Execution Contexts","number":"1","namespace":"<no location>","location":"","referencingIds":[],"key":"Executable Code and Execution Contexts"},{"type":"production","id":"prod-BindingIdentifier","name":"BindingIdentifier","referencingIds":["_ref_80"],"namespace":"<no location>","location":"","key":"BindingIdentifier"},{"type":"production","id":"prod-LabelIdentifier","name":"LabelIdentifier","referencingIds":["_ref_28"],"namespace":"<no location>","location":"","key":"LabelIdentifier"},{"type":"production","id":"prod-IdentifierReference","name":"IdentifierReference","referencingIds":[],"namespace":"<no location>","location":"","key":"IdentifierReference"},{"type":"clause","id":"sec-identifiers-static-semantics-early-errors","aoid":null,"title":"Static Semantics: Early Errors","titleHTML":"Static Semantics: Early Errors","number":"2.1.1","namespace":"<no location>","location":"","referencingIds":[],"key":"Static Semantics: Early Errors"},{"type":"clause","id":"sec-identifiers","aoid":null,"title":"Identifiers","titleHTML":"Identifiers","number":"2.1","namespace":"<no location>","location":"","referencingIds":[],"key":"Identifiers"},{"type":"clause","id":"sec-ecmascript-language-expressions","aoid":null,"title":"ECMAScript Language: Expressions","titleHTML":"ECMAScript Language: Expressions","number":"2","namespace":"<no location>","location":"","referencingIds":[],"key":"ECMAScript Language: Expressions"},{"type":"production","id":"prod-ContinueStatement","name":"ContinueStatement","referencingIds":["_ref_29"],"namespace":"<no location>","location":"","key":"ContinueStatement"},{"type":"clause","id":"sec-continue-statement-static-semantics-early-errors","aoid":null,"title":"Static Semantics: Early Errors","titleHTML":"Static Semantics: Early Errors","number":"3.1.1","namespace":"<no location>","location":"","referencingIds":[],"key":"Static Semantics: Early Errors"},{"type":"clause","id":"sec-continue-statement","aoid":null,"title":"The continue Statement","titleHTML":"The <code>continue</code> Statement","number":"3.1","namespace":"<no location>","location":"","referencingIds":[],"key":"The continue Statement"},{"type":"production","id":"prod-BreakStatement","name":"BreakStatement","referencingIds":["_ref_30"],"namespace":"<no location>","location":"","key":"BreakStatement"},{"type":"clause","id":"sec-break-statement-static-semantics-early-errors","aoid":null,"title":"Static Semantics: Early Errors","titleHTML":"Static Semantics: Early Errors","number":"3.2.1","namespace":"<no location>","location":"","referencingIds":[],"key":"Static Semantics: Early Errors"},{"type":"clause","id":"sec-break-statement","aoid":null,"title":"The break Statement","titleHTML":"The <code>break</code> Statement","number":"3.2","namespace":"<no location>","location":"","referencingIds":[],"key":"The break Statement"},{"type":"clause","id":"sec-ecmascript-language-statements-and-declarations","aoid":null,"title":"ECMAScript Language: Statements and Declarations","titleHTML":"ECMAScript Language: Statements and Declarations","number":"3","namespace":"<no location>","location":"","referencingIds":[],"key":"ECMAScript Language: Statements and Declarations"},{"type":"production","id":"prod-ClassElement","name":"ClassElement","referencingIds":["_ref_41","_ref_42","_ref_44","_ref_45","_ref_46","_ref_48","_ref_50","_ref_52","_ref_53","_ref_54","_ref_55","_ref_56","_ref_58","_ref_60","_ref_62","_ref_64","_ref_73"],"namespace":"<no location>","location":"","key":"ClassElement"},{"type":"production","id":"prod-ClassStaticBlock","name":"ClassStaticBlock","referencingIds":["_ref_25","_ref_26","_ref_27","_ref_31","_ref_37","_ref_43","_ref_51","_ref_57","_ref_63","_ref_65","_ref_76","_ref_77"],"namespace":"<no location>","location":"","key":"ClassStaticBlock"},{"type":"production","id":"prod-ClassStaticBlockBody","name":"ClassStaticBlockBody","referencingIds":["_ref_32","_ref_36","_ref_38","_ref_39","_ref_40","_ref_78","_ref_79"],"namespace":"<no location>","location":"","key":"ClassStaticBlockBody"},{"type":"production","id":"prod-ClassStaticBlockStatementList","name":"ClassStaticBlockStatementList","referencingIds":["_ref_33"],"namespace":"<no location>","location":"","key":"ClassStaticBlockStatementList"},{"type":"production","id":"prod-ClassBody","name":"ClassBody","referencingIds":["_ref_66","_ref_67","_ref_68","_ref_69","_ref_70","_ref_71","_ref_72","_ref_74","_ref_75"],"namespace":"<no location>","location":"","key":"ClassBody"},{"type":"clause","id":"sec-class-definitions-static-semantics-early-errors","aoid":null,"title":"Static Semantics: Early Errors","titleHTML":"Static Semantics: Early Errors","number":"4.1.1","namespace":"<no location>","location":"","referencingIds":[],"key":"Static Semantics: Early Errors"},{"type":"clause","id":"sec-class-definitions-static-semantics-contains","aoid":null,"title":"Static Semantics: Contains","titleHTML":"Static Semantics: Contains","number":"4.1.2","namespace":"<no location>","location":"","referencingIds":[],"key":"Static Semantics: Contains"},{"type":"clause","id":"sec-class-definitions-static-semantics-hasdirectsuper","aoid":null,"title":"Static Semantics: HasDirectSuper","titleHTML":"<ins>Static Semantics: HasDirectSuper</ins>","number":"4.1.3","namespace":"<no location>","location":"","referencingIds":[],"key":"Static Semantics: HasDirectSuper"},{"type":"production","id":"prod-ClassElementList","name":"ClassElementList","referencingIds":["_ref_34","_ref_35","_ref_47","_ref_49","_ref_59","_ref_61"],"namespace":"<no location>","location":"","key":"ClassElementList"},{"type":"clause","id":"sec-static-semantics-nonconstructormethoddefinitions","aoid":null,"title":"Static Semantics: NonConstructorMethodDefinitions","titleHTML":"Static Semantics: NonConstructorMethodDefinitions","number":"4.1.4","namespace":"<no location>","location":"","referencingIds":[],"key":"Static Semantics: NonConstructorMethodDefinitions"},{"type":"op","aoid":"ClassStaticBlockList","refId":"sec-static-semantics-classstaticblocklist","location":"","referencingIds":[],"key":"ClassStaticBlockList"},{"type":"clause","id":"sec-static-semantics-classstaticblocklist","aoid":"ClassStaticBlockList","title":"Static Semantics: ClassStaticBlockList","titleHTML":"<ins>Static Semantics: ClassStaticBlockList</ins>","number":"4.1.5","namespace":"<no location>","location":"","referencingIds":["_ref_1","_ref_2","_ref_14"],"key":"Static Semantics: ClassStaticBlockList"},{"type":"clause","id":"sec-class-definitions-static-semantics-propname","aoid":null,"title":"Static Semantics: PropName","titleHTML":"Static Semantics: PropName","number":"4.1.6","namespace":"<no location>","location":"","referencingIds":[],"key":"Static Semantics: PropName"},{"type":"production","id":"prod-ClassBlockStatementList","name":"ClassBlockStatementList","referencingIds":[],"namespace":"<no location>","location":"","key":"ClassBlockStatementList"},{"type":"clause","id":"sec-class-definitions-static-semantics-LexicallyDeclaredNames","aoid":null,"title":"Static Semantics: LexicallyDeclaredNames","titleHTML":"Static Semantics: LexicallyDeclaredNames","number":"4.1.7","namespace":"<no location>","location":"","referencingIds":[],"key":"Static Semantics: LexicallyDeclaredNames"},{"type":"clause","id":"sec-class-definitions-static-semantics-vardeclarednames","aoid":null,"title":"Static Semantics: VarDeclaredNames","titleHTML":"Static Semantics: VarDeclaredNames","number":"4.1.8","namespace":"<no location>","location":"","referencingIds":[],"key":"Static Semantics: VarDeclaredNames"},{"type":"clause","id":"sec-class-definitions-static-semantics-varscopeddeclarations","aoid":null,"title":"Static Semantics: VarScopedDeclarations","titleHTML":"Static Semantics: VarScopedDeclarations","number":"4.1.9","namespace":"<no location>","location":"","referencingIds":[],"key":"Static Semantics: VarScopedDeclarations"},{"type":"production","id":"prod-ClassTail","name":"ClassTail","referencingIds":[],"namespace":"<no location>","location":"","key":"ClassTail"},{"type":"clause","id":"sec-runtime-semantics-classdefinitionevaluation","aoid":null,"title":"Runtime Semantics: ClassDefinitionEvaluation","titleHTML":"Runtime Semantics: ClassDefinitionEvaluation","number":"4.1.10","namespace":"<no location>","location":"","referencingIds":[],"key":"Runtime Semantics: ClassDefinitionEvaluation"},{"type":"op","aoid":"PrepareForClassStaticBlockEvaluation","refId":"sec-prepareforclassstaticblockevaluation","location":"","referencingIds":[],"key":"PrepareForClassStaticBlockEvaluation"},{"type":"clause","id":"sec-prepareforclassstaticblockevaluation","aoid":"PrepareForClassStaticBlockEvaluation","title":"PrepareForClassStaticBlockEvaluation ( F )","titleHTML":"<ins>PrepareForClassStaticBlockEvaluation ( <var>F</var> )</ins>","number":"4.1.11.1","namespace":"<no location>","location":"","referencingIds":["_ref_16"],"key":"PrepareForClassStaticBlockEvaluation ( F )"},{"type":"op","aoid":"ClassStaticBlockBindThis","refId":"sec-classstaticblockbindthis","location":"","referencingIds":[],"key":"ClassStaticBlockBindThis"},{"type":"clause","id":"sec-classstaticblockbindthis","aoid":"ClassStaticBlockBindThis","title":"ClassStaticBlockBindThis ( F, innerContext )","titleHTML":"<ins>ClassStaticBlockBindThis ( <var>F</var>, <var>innerContext</var> )</ins>","number":"4.1.11.2","namespace":"<no location>","location":"","referencingIds":["_ref_17"],"key":"ClassStaticBlockBindThis ( F, innerContext )"},{"type":"op","aoid":"ClassStaticBlockEvaluateBody","refId":"sec-classstaticblockevaluatebody","location":"","referencingIds":[],"key":"ClassStaticBlockEvaluateBody"},{"type":"clause","id":"sec-classstaticblockevaluatebody","aoid":"ClassStaticBlockEvaluateBody","title":"ClassStaticBlockEvaluateBody ( block )","titleHTML":"<ins>ClassStaticBlockEvaluateBody ( <var>block</var> )</ins>","number":"4.1.11.3","namespace":"<no location>","location":"","referencingIds":["_ref_18"],"key":"ClassStaticBlockEvaluateBody ( block )"},{"type":"op","aoid":"ClassStaticBlockDeclarationInstantiation","refId":"classstaticblockdeclarationinstantiation","location":"","referencingIds":[],"key":"ClassStaticBlockDeclarationInstantiation"},{"type":"clause","id":"classstaticblockdeclarationinstantiation","aoid":"ClassStaticBlockDeclarationInstantiation","title":"ClassStaticBlockDeclarationInstantiation ( block )","titleHTML":"<ins>ClassStaticBlockDeclarationInstantiation ( <var>block</var> )</ins>","number":"4.1.11.4","namespace":"<no location>","location":"","referencingIds":["_ref_23"],"key":"ClassStaticBlockDeclarationInstantiation ( block )"},{"type":"clause","id":"sec-runtime-semantics-classstaticblockevaluation","aoid":null,"title":"Runtime Semantics: ClassStaticBlockEvaluation","titleHTML":"<ins>Runtime Semantics: ClassStaticBlockEvaluation</ins>","number":"4.1.11","namespace":"<no location>","location":"","referencingIds":[],"key":"Runtime Semantics: ClassStaticBlockEvaluation"},{"type":"clause","id":"sec-class-definitions","aoid":null,"title":"Class Definitions","titleHTML":"Class Definitions","number":"4.1","namespace":"<no location>","location":"","referencingIds":[],"key":"Class Definitions"},{"type":"clause","id":"sec-ecmascript-language-functions-and-classes","aoid":null,"title":"ECMAScript Language: Functions and Classes","titleHTML":"ECMAScript Language: Functions and Classes","number":"4","namespace":"<no location>","location":"","referencingIds":[],"key":"ECMAScript Language: Functions and Classes"},{"type":"clause","id":"sec-copyright-and-software-license","aoid":null,"title":"Copyright & Software License","titleHTML":"Copyright &amp; Software License","number":"A","namespace":"<no location>","location":"","referencingIds":[],"key":"Copyright & Software License"}]</script><script>"use strict";
+<title>ECMAScript class static initialization blocks</title><script type="application/json" id="menu-search-biblio">[{"type":"clause","id":"sec-intro","aoid":null,"title":"Introduction","titleHTML":"Introduction","number":"","namespace":"<no location>","location":"","referencingIds":[],"key":"Introduction"},{"type":"term","term":"class static block Environment Record","refId":"sec-class-static-block-environment-records","referencingIds":[],"namespace":"<no location>","location":"","key":"class static block Environment Record"},{"type":"table","id":"table-class-static-block","node":{},"number":1,"caption":"Table 1: Additional Fields of Class Static Block Environment Records","referencingIds":["_ref_0"],"namespace":"<no location>","location":"","key":"Table 1: Additional Fields of Class Static Block Environment Records"},{"type":"clause","id":"sec-class-static-block-environment-records","aoid":null,"title":"Class Static Block Environment Records","titleHTML":"<ins>Class Static Block Environment Records</ins>","number":"1.1","namespace":"<no location>","location":"","referencingIds":["_ref_22"],"key":"Class Static Block Environment Records"},{"type":"op","aoid":"NewClassStaticBlockEnvironment","refId":"sec-newclassstaticblockenvironment","location":"","referencingIds":[],"key":"NewClassStaticBlockEnvironment"},{"type":"clause","id":"sec-newclassstaticblockenvironment","aoid":"NewClassStaticBlockEnvironment","title":"NewClassStaticBlockEnvironment ( F )","titleHTML":"<ins>NewClassStaticBlockEnvironment ( <var>F</var> )</ins>","number":"1.2.1","namespace":"<no location>","location":"","referencingIds":["_ref_21"],"key":"NewClassStaticBlockEnvironment ( F )"},{"type":"clause","id":"sec-environment-record-operations","aoid":null,"title":"Environment Record Operations","titleHTML":"Environment Record Operations","number":"1.2","namespace":"<no location>","location":"","referencingIds":[],"key":"Environment Record Operations"},{"type":"clause","id":"sec-executable-code-and-execution-contexts","aoid":null,"title":"Executable Code and Execution Contexts","titleHTML":"Executable Code and Execution Contexts","number":"1","namespace":"<no location>","location":"","referencingIds":[],"key":"Executable Code and Execution Contexts"},{"type":"production","id":"prod-BindingIdentifier","name":"BindingIdentifier","referencingIds":["_ref_66"],"namespace":"<no location>","location":"","key":"BindingIdentifier"},{"type":"production","id":"prod-LabelIdentifier","name":"LabelIdentifier","referencingIds":["_ref_28"],"namespace":"<no location>","location":"","key":"LabelIdentifier"},{"type":"production","id":"prod-IdentifierReference","name":"IdentifierReference","referencingIds":[],"namespace":"<no location>","location":"","key":"IdentifierReference"},{"type":"clause","id":"sec-identifiers-static-semantics-early-errors","aoid":null,"title":"Static Semantics: Early Errors","titleHTML":"Static Semantics: Early Errors","number":"2.1.1","namespace":"<no location>","location":"","referencingIds":[],"key":"Static Semantics: Early Errors"},{"type":"clause","id":"sec-identifiers","aoid":null,"title":"Identifiers","titleHTML":"Identifiers","number":"2.1","namespace":"<no location>","location":"","referencingIds":[],"key":"Identifiers"},{"type":"clause","id":"sec-ecmascript-language-expressions","aoid":null,"title":"ECMAScript Language: Expressions","titleHTML":"ECMAScript Language: Expressions","number":"2","namespace":"<no location>","location":"","referencingIds":[],"key":"ECMAScript Language: Expressions"},{"type":"production","id":"prod-ContinueStatement","name":"ContinueStatement","referencingIds":["_ref_29"],"namespace":"<no location>","location":"","key":"ContinueStatement"},{"type":"clause","id":"sec-continue-statement-static-semantics-early-errors","aoid":null,"title":"Static Semantics: Early Errors","titleHTML":"Static Semantics: Early Errors","number":"3.1.1","namespace":"<no location>","location":"","referencingIds":[],"key":"Static Semantics: Early Errors"},{"type":"clause","id":"sec-continue-statement","aoid":null,"title":"The continue Statement","titleHTML":"The <code>continue</code> Statement","number":"3.1","namespace":"<no location>","location":"","referencingIds":[],"key":"The continue Statement"},{"type":"production","id":"prod-BreakStatement","name":"BreakStatement","referencingIds":["_ref_30"],"namespace":"<no location>","location":"","key":"BreakStatement"},{"type":"clause","id":"sec-break-statement-static-semantics-early-errors","aoid":null,"title":"Static Semantics: Early Errors","titleHTML":"Static Semantics: Early Errors","number":"3.2.1","namespace":"<no location>","location":"","referencingIds":[],"key":"Static Semantics: Early Errors"},{"type":"clause","id":"sec-break-statement","aoid":null,"title":"The break Statement","titleHTML":"The <code>break</code> Statement","number":"3.2","namespace":"<no location>","location":"","referencingIds":[],"key":"The break Statement"},{"type":"clause","id":"sec-ecmascript-language-statements-and-declarations","aoid":null,"title":"ECMAScript Language: Statements and Declarations","titleHTML":"ECMAScript Language: Statements and Declarations","number":"3","namespace":"<no location>","location":"","referencingIds":[],"key":"ECMAScript Language: Statements and Declarations"},{"type":"production","id":"prod-ClassElement","name":"ClassElement","referencingIds":["_ref_43","_ref_44","_ref_45","_ref_47","_ref_49","_ref_50","_ref_59"],"namespace":"<no location>","location":"","key":"ClassElement"},{"type":"production","id":"prod-ClassStaticBlock","name":"ClassStaticBlock","referencingIds":["_ref_25","_ref_26","_ref_27","_ref_31","_ref_37","_ref_39","_ref_51","_ref_62","_ref_63"],"namespace":"<no location>","location":"","key":"ClassStaticBlock"},{"type":"production","id":"prod-ClassStaticBlockBody","name":"ClassStaticBlockBody","referencingIds":["_ref_32","_ref_36","_ref_40","_ref_41","_ref_42","_ref_64","_ref_65"],"namespace":"<no location>","location":"","key":"ClassStaticBlockBody"},{"type":"production","id":"prod-ClassStaticBlockStatementList","name":"ClassStaticBlockStatementList","referencingIds":["_ref_33","_ref_38"],"namespace":"<no location>","location":"","key":"ClassStaticBlockStatementList"},{"type":"production","id":"prod-ClassBody","name":"ClassBody","referencingIds":["_ref_52","_ref_53","_ref_54","_ref_55","_ref_56","_ref_57","_ref_58","_ref_60","_ref_61"],"namespace":"<no location>","location":"","key":"ClassBody"},{"type":"clause","id":"sec-class-definitions-static-semantics-early-errors","aoid":null,"title":"Static Semantics: Early Errors","titleHTML":"Static Semantics: Early Errors","number":"4.1.1","namespace":"<no location>","location":"","referencingIds":[],"key":"Static Semantics: Early Errors"},{"type":"clause","id":"sec-static-semantics-classelementkind","aoid":null,"title":"Static Semantics: ClassElementKind","titleHTML":"Static Semantics: ClassElementKind","number":"4.1.2","namespace":"<no location>","location":"","referencingIds":[],"key":"Static Semantics: ClassElementKind"},{"type":"clause","id":"sec-class-definitions-static-semantics-contains","aoid":null,"title":"Static Semantics: Contains","titleHTML":"Static Semantics: Contains","number":"4.1.3","namespace":"<no location>","location":"","referencingIds":[],"key":"Static Semantics: Contains"},{"type":"clause","id":"sec-class-definitions-static-semantics-containsduplicatelabels","aoid":null,"title":"Static Semantics: ContainsDuplicateLabels","titleHTML":"<ins>Static Semantics: ContainsDuplicateLabels</ins>","number":"4.1.4","namespace":"<no location>","location":"","referencingIds":[],"key":"Static Semantics: ContainsDuplicateLabels"},{"type":"clause","id":"sec-class-definitions-static-semantics-containsundefinedbreaktarget","aoid":null,"title":"Static Semantics: ContainsUndefinedBreakTarget","titleHTML":"<ins>Static Semantics: ContainsUndefinedBreakTarget</ins>","number":"4.1.5","namespace":"<no location>","location":"","referencingIds":[],"key":"Static Semantics: ContainsUndefinedBreakTarget"},{"type":"clause","id":"sec-class-definitions-static-semantics-containsundefinedcontinuetarget","aoid":null,"title":"Static Semantics: ContainsUndefinedContinueTarget","titleHTML":"<ins>Static Semantics: ContainsUndefinedContinueTarget</ins>","number":"4.1.6","namespace":"<no location>","location":"","referencingIds":[],"key":"Static Semantics: ContainsUndefinedContinueTarget"},{"type":"clause","id":"sec-class-definitions-static-semantics-hasdirectsuper","aoid":null,"title":"Static Semantics: HasDirectSuper","titleHTML":"<ins>Static Semantics: HasDirectSuper</ins>","number":"4.1.7","namespace":"<no location>","location":"","referencingIds":[],"key":"Static Semantics: HasDirectSuper"},{"type":"production","id":"prod-ClassElementList","name":"ClassElementList","referencingIds":["_ref_34","_ref_35","_ref_46","_ref_48"],"namespace":"<no location>","location":"","key":"ClassElementList"},{"type":"op","aoid":"ClassStaticBlockList","refId":"sec-static-semantics-classstaticblocklist","location":"","referencingIds":[],"key":"ClassStaticBlockList"},{"type":"clause","id":"sec-static-semantics-classstaticblocklist","aoid":"ClassStaticBlockList","title":"Static Semantics: ClassStaticBlockList","titleHTML":"<ins>Static Semantics: ClassStaticBlockList</ins>","number":"4.1.8","namespace":"<no location>","location":"","referencingIds":["_ref_1","_ref_2","_ref_14"],"key":"Static Semantics: ClassStaticBlockList"},{"type":"clause","id":"sec-class-definitions-static-semantics-propname","aoid":null,"title":"Static Semantics: PropName","titleHTML":"Static Semantics: PropName","number":"4.1.9","namespace":"<no location>","location":"","referencingIds":[],"key":"Static Semantics: PropName"},{"type":"production","id":"prod-ClassBlockStatementList","name":"ClassBlockStatementList","referencingIds":[],"namespace":"<no location>","location":"","key":"ClassBlockStatementList"},{"type":"clause","id":"sec-class-definitions-static-semantics-LexicallyDeclaredNames","aoid":null,"title":"Static Semantics: LexicallyDeclaredNames","titleHTML":"Static Semantics: LexicallyDeclaredNames","number":"4.1.10","namespace":"<no location>","location":"","referencingIds":[],"key":"Static Semantics: LexicallyDeclaredNames"},{"type":"clause","id":"sec-class-definitions-static-semantics-vardeclarednames","aoid":null,"title":"Static Semantics: VarDeclaredNames","titleHTML":"Static Semantics: VarDeclaredNames","number":"4.1.11","namespace":"<no location>","location":"","referencingIds":[],"key":"Static Semantics: VarDeclaredNames"},{"type":"clause","id":"sec-class-definitions-static-semantics-varscopeddeclarations","aoid":null,"title":"Static Semantics: VarScopedDeclarations","titleHTML":"Static Semantics: VarScopedDeclarations","number":"4.1.12","namespace":"<no location>","location":"","referencingIds":[],"key":"Static Semantics: VarScopedDeclarations"},{"type":"production","id":"prod-ClassTail","name":"ClassTail","referencingIds":[],"namespace":"<no location>","location":"","key":"ClassTail"},{"type":"clause","id":"sec-runtime-semantics-classdefinitionevaluation","aoid":null,"title":"Runtime Semantics: ClassDefinitionEvaluation","titleHTML":"Runtime Semantics: ClassDefinitionEvaluation","number":"4.1.13","namespace":"<no location>","location":"","referencingIds":[],"key":"Runtime Semantics: ClassDefinitionEvaluation"},{"type":"op","aoid":"PrepareForClassStaticBlockEvaluation","refId":"sec-prepareforclassstaticblockevaluation","location":"","referencingIds":[],"key":"PrepareForClassStaticBlockEvaluation"},{"type":"clause","id":"sec-prepareforclassstaticblockevaluation","aoid":"PrepareForClassStaticBlockEvaluation","title":"PrepareForClassStaticBlockEvaluation ( F )","titleHTML":"<ins>PrepareForClassStaticBlockEvaluation ( <var>F</var> )</ins>","number":"4.1.14.1","namespace":"<no location>","location":"","referencingIds":["_ref_16"],"key":"PrepareForClassStaticBlockEvaluation ( F )"},{"type":"op","aoid":"ClassStaticBlockBindThis","refId":"sec-classstaticblockbindthis","location":"","referencingIds":[],"key":"ClassStaticBlockBindThis"},{"type":"clause","id":"sec-classstaticblockbindthis","aoid":"ClassStaticBlockBindThis","title":"ClassStaticBlockBindThis ( F, innerContext )","titleHTML":"<ins>ClassStaticBlockBindThis ( <var>F</var>, <var>innerContext</var> )</ins>","number":"4.1.14.2","namespace":"<no location>","location":"","referencingIds":["_ref_17"],"key":"ClassStaticBlockBindThis ( F, innerContext )"},{"type":"op","aoid":"ClassStaticBlockEvaluateBody","refId":"sec-classstaticblockevaluatebody","location":"","referencingIds":[],"key":"ClassStaticBlockEvaluateBody"},{"type":"clause","id":"sec-classstaticblockevaluatebody","aoid":"ClassStaticBlockEvaluateBody","title":"ClassStaticBlockEvaluateBody ( block )","titleHTML":"<ins>ClassStaticBlockEvaluateBody ( <var>block</var> )</ins>","number":"4.1.14.3","namespace":"<no location>","location":"","referencingIds":["_ref_18"],"key":"ClassStaticBlockEvaluateBody ( block )"},{"type":"op","aoid":"ClassStaticBlockDeclarationInstantiation","refId":"classstaticblockdeclarationinstantiation","location":"","referencingIds":[],"key":"ClassStaticBlockDeclarationInstantiation"},{"type":"clause","id":"classstaticblockdeclarationinstantiation","aoid":"ClassStaticBlockDeclarationInstantiation","title":"ClassStaticBlockDeclarationInstantiation ( block )","titleHTML":"<ins>ClassStaticBlockDeclarationInstantiation ( <var>block</var> )</ins>","number":"4.1.14.4","namespace":"<no location>","location":"","referencingIds":["_ref_23"],"key":"ClassStaticBlockDeclarationInstantiation ( block )"},{"type":"clause","id":"sec-runtime-semantics-classstaticblockevaluation","aoid":null,"title":"Runtime Semantics: ClassStaticBlockEvaluation","titleHTML":"<ins>Runtime Semantics: ClassStaticBlockEvaluation</ins>","number":"4.1.14","namespace":"<no location>","location":"","referencingIds":[],"key":"Runtime Semantics: ClassStaticBlockEvaluation"},{"type":"clause","id":"sec-class-definitions","aoid":null,"title":"Class Definitions","titleHTML":"Class Definitions","number":"4.1","namespace":"<no location>","location":"","referencingIds":[],"key":"Class Definitions"},{"type":"clause","id":"sec-ecmascript-language-functions-and-classes","aoid":null,"title":"ECMAScript Language: Functions and Classes","titleHTML":"ECMAScript Language: Functions and Classes","number":"4","namespace":"<no location>","location":"","referencingIds":[],"key":"ECMAScript Language: Functions and Classes"},{"type":"clause","id":"sec-copyright-and-software-license","aoid":null,"title":"Copyright & Software License","titleHTML":"Copyright &amp; Software License","number":"A","namespace":"<no location>","location":"","referencingIds":[],"key":"Copyright & Software License"}]</script><script>"use strict";
 
 function Search(menu) {
   this.menu = menu;
@@ -1844,7 +1844,7 @@
     display: none; 
   }
 }
-</style></head><body><div id="menu-toggle">☰</div><div id="menu-spacer"></div><div id="menu"><div id="menu-search"><input type="text" id="menu-search-box" placeholder="Search..."><div id="menu-search-results" class="inactive"></div></div><div id="menu-pins"><div class="menu-pane-header">Pins</div><ul id="menu-pins-list"></ul></div><div class="menu-pane-header">Table of Contents</div><div id="menu-toc"><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-intro" title="Introduction">Introduction</a></li><li><span class="item-toggle">◢</span><a href="#sec-executable-code-and-execution-contexts" title="Executable Code and Execution Contexts"><span class="secnum">1</span> Executable Code and Execution Contexts</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-class-static-block-environment-records" title="Class Static Block Environment Records"><span class="secnum">1.1</span> <ins>Class Static Block Environment Records</ins></a></li><li><span class="item-toggle">◢</span><a href="#sec-environment-record-operations" title="Environment Record Operations"><span class="secnum">1.2</span> Environment Record Operations</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-newclassstaticblockenvironment" title="NewClassStaticBlockEnvironment ( F )"><span class="secnum">1.2.1</span> <ins>NewClassStaticBlockEnvironment ( <var>F</var> )</ins></a></li></ol></li></ol></li><li><span class="item-toggle">◢</span><a href="#sec-ecmascript-language-expressions" title="ECMAScript Language: Expressions"><span class="secnum">2</span> ECMAScript Language: Expressions</a><ol class="toc"><li><span class="item-toggle">◢</span><a href="#sec-identifiers" title="Identifiers"><span class="secnum">2.1</span> Identifiers</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-identifiers-static-semantics-early-errors" title="Static Semantics: Early Errors"><span class="secnum">2.1.1</span> SS: Early Errors</a></li></ol></li></ol></li><li><span class="item-toggle">◢</span><a href="#sec-ecmascript-language-statements-and-declarations" title="ECMAScript Language: Statements and Declarations"><span class="secnum">3</span> ECMAScript Language: Statements and Declarations</a><ol class="toc"><li><span class="item-toggle">◢</span><a href="#sec-continue-statement" title="The continue Statement"><span class="secnum">3.1</span> The <code>continue</code> Statement</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-continue-statement-static-semantics-early-errors" title="Static Semantics: Early Errors"><span class="secnum">3.1.1</span> SS: Early Errors</a></li></ol></li><li><span class="item-toggle">◢</span><a href="#sec-break-statement" title="The break Statement"><span class="secnum">3.2</span> The <code>break</code> Statement</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-break-statement-static-semantics-early-errors" title="Static Semantics: Early Errors"><span class="secnum">3.2.1</span> SS: Early Errors</a></li></ol></li></ol></li><li><span class="item-toggle">◢</span><a href="#sec-ecmascript-language-functions-and-classes" title="ECMAScript Language: Functions and Classes"><span class="secnum">4</span> ECMAScript Language: Functions and Classes</a><ol class="toc"><li><span class="item-toggle">◢</span><a href="#sec-class-definitions" title="Class Definitions"><span class="secnum">4.1</span> Class Definitions</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-class-definitions-static-semantics-early-errors" title="Static Semantics: Early Errors"><span class="secnum">4.1.1</span> SS: Early Errors</a></li><li><span class="item-toggle-none"></span><a href="#sec-class-definitions-static-semantics-contains" title="Static Semantics: Contains"><span class="secnum">4.1.2</span> SS: Contains</a></li><li><span class="item-toggle-none"></span><a href="#sec-class-definitions-static-semantics-hasdirectsuper" title="Static Semantics: HasDirectSuper"><span class="secnum">4.1.3</span> <ins>SS: HasDirectSuper</ins></a></li><li><span class="item-toggle-none"></span><a href="#sec-static-semantics-nonconstructormethoddefinitions" title="Static Semantics: NonConstructorMethodDefinitions"><span class="secnum">4.1.4</span> SS: NonConstructorMethodDefinitions</a></li><li><span class="item-toggle-none"></span><a href="#sec-static-semantics-classstaticblocklist" title="Static Semantics: ClassStaticBlockList"><span class="secnum">4.1.5</span> <ins>SS: ClassStaticBlockList</ins></a></li><li><span class="item-toggle-none"></span><a href="#sec-class-definitions-static-semantics-propname" title="Static Semantics: PropName"><span class="secnum">4.1.6</span> SS: PropName</a></li><li><span class="item-toggle-none"></span><a href="#sec-class-definitions-static-semantics-LexicallyDeclaredNames" title="Static Semantics: LexicallyDeclaredNames"><span class="secnum">4.1.7</span> SS: LexicallyDeclaredNames</a></li><li><span class="item-toggle-none"></span><a href="#sec-class-definitions-static-semantics-vardeclarednames" title="Static Semantics: VarDeclaredNames"><span class="secnum">4.1.8</span> SS: VarDeclaredNames</a></li><li><span class="item-toggle-none"></span><a href="#sec-class-definitions-static-semantics-varscopeddeclarations" title="Static Semantics: VarScopedDeclarations"><span class="secnum">4.1.9</span> SS: VarScopedDeclarations</a></li><li><span class="item-toggle-none"></span><a href="#sec-runtime-semantics-classdefinitionevaluation" title="Runtime Semantics: ClassDefinitionEvaluation"><span class="secnum">4.1.10</span> RS: ClassDefinitionEvaluation</a></li><li><span class="item-toggle">◢</span><a href="#sec-runtime-semantics-classstaticblockevaluation" title="Runtime Semantics: ClassStaticBlockEvaluation"><span class="secnum">4.1.11</span> <ins>RS: ClassStaticBlockEvaluation</ins></a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-prepareforclassstaticblockevaluation" title="PrepareForClassStaticBlockEvaluation ( F )"><span class="secnum">4.1.11.1</span> <ins>PrepareForClassStaticBlockEvaluation ( <var>F</var> )</ins></a></li><li><span class="item-toggle-none"></span><a href="#sec-classstaticblockbindthis" title="ClassStaticBlockBindThis ( F, innerContext )"><span class="secnum">4.1.11.2</span> <ins>ClassStaticBlockBindThis ( <var>F</var>, <var>innerContext</var> )</ins></a></li><li><span class="item-toggle-none"></span><a href="#sec-classstaticblockevaluatebody" title="ClassStaticBlockEvaluateBody ( block )"><span class="secnum">4.1.11.3</span> <ins>ClassStaticBlockEvaluateBody ( <var>block</var> )</ins></a></li><li><span class="item-toggle-none"></span><a href="#classstaticblockdeclarationinstantiation" title="ClassStaticBlockDeclarationInstantiation ( block )"><span class="secnum">4.1.11.4</span> <ins>ClassStaticBlockDeclarationInstantiation ( <var>block</var> )</ins></a></li></ol></li></ol></li></ol></li><li><span class="item-toggle-none"></span><a href="#sec-copyright-and-software-license" title="Copyright &amp; Software License"><span class="secnum">A</span> Copyright &amp; Software License</a></li></ol></div></div><div id="spec-container"><h1 class="version first">Stage 1 Draft / January 15, 2021</h1><h1 class="title">ECMAScript class static initialization blocks</h1>
+</style></head><body><div id="menu-toggle">☰</div><div id="menu-spacer"></div><div id="menu"><div id="menu-search"><input type="text" id="menu-search-box" placeholder="Search..."><div id="menu-search-results" class="inactive"></div></div><div id="menu-pins"><div class="menu-pane-header">Pins</div><ul id="menu-pins-list"></ul></div><div class="menu-pane-header">Table of Contents</div><div id="menu-toc"><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-intro" title="Introduction">Introduction</a></li><li><span class="item-toggle">◢</span><a href="#sec-executable-code-and-execution-contexts" title="Executable Code and Execution Contexts"><span class="secnum">1</span> Executable Code and Execution Contexts</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-class-static-block-environment-records" title="Class Static Block Environment Records"><span class="secnum">1.1</span> <ins>Class Static Block Environment Records</ins></a></li><li><span class="item-toggle">◢</span><a href="#sec-environment-record-operations" title="Environment Record Operations"><span class="secnum">1.2</span> Environment Record Operations</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-newclassstaticblockenvironment" title="NewClassStaticBlockEnvironment ( F )"><span class="secnum">1.2.1</span> <ins>NewClassStaticBlockEnvironment ( <var>F</var> )</ins></a></li></ol></li></ol></li><li><span class="item-toggle">◢</span><a href="#sec-ecmascript-language-expressions" title="ECMAScript Language: Expressions"><span class="secnum">2</span> ECMAScript Language: Expressions</a><ol class="toc"><li><span class="item-toggle">◢</span><a href="#sec-identifiers" title="Identifiers"><span class="secnum">2.1</span> Identifiers</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-identifiers-static-semantics-early-errors" title="Static Semantics: Early Errors"><span class="secnum">2.1.1</span> SS: Early Errors</a></li></ol></li></ol></li><li><span class="item-toggle">◢</span><a href="#sec-ecmascript-language-statements-and-declarations" title="ECMAScript Language: Statements and Declarations"><span class="secnum">3</span> ECMAScript Language: Statements and Declarations</a><ol class="toc"><li><span class="item-toggle">◢</span><a href="#sec-continue-statement" title="The continue Statement"><span class="secnum">3.1</span> The <code>continue</code> Statement</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-continue-statement-static-semantics-early-errors" title="Static Semantics: Early Errors"><span class="secnum">3.1.1</span> SS: Early Errors</a></li></ol></li><li><span class="item-toggle">◢</span><a href="#sec-break-statement" title="The break Statement"><span class="secnum">3.2</span> The <code>break</code> Statement</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-break-statement-static-semantics-early-errors" title="Static Semantics: Early Errors"><span class="secnum">3.2.1</span> SS: Early Errors</a></li></ol></li></ol></li><li><span class="item-toggle">◢</span><a href="#sec-ecmascript-language-functions-and-classes" title="ECMAScript Language: Functions and Classes"><span class="secnum">4</span> ECMAScript Language: Functions and Classes</a><ol class="toc"><li><span class="item-toggle">◢</span><a href="#sec-class-definitions" title="Class Definitions"><span class="secnum">4.1</span> Class Definitions</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-class-definitions-static-semantics-early-errors" title="Static Semantics: Early Errors"><span class="secnum">4.1.1</span> SS: Early Errors</a></li><li><span class="item-toggle-none"></span><a href="#sec-static-semantics-classelementkind" title="Static Semantics: ClassElementKind"><span class="secnum">4.1.2</span> SS: ClassElementKind</a></li><li><span class="item-toggle-none"></span><a href="#sec-class-definitions-static-semantics-contains" title="Static Semantics: Contains"><span class="secnum">4.1.3</span> SS: Contains</a></li><li><span class="item-toggle-none"></span><a href="#sec-class-definitions-static-semantics-containsduplicatelabels" title="Static Semantics: ContainsDuplicateLabels"><span class="secnum">4.1.4</span> <ins>SS: ContainsDuplicateLabels</ins></a></li><li><span class="item-toggle-none"></span><a href="#sec-class-definitions-static-semantics-containsundefinedbreaktarget" title="Static Semantics: ContainsUndefinedBreakTarget"><span class="secnum">4.1.5</span> <ins>SS: ContainsUndefinedBreakTarget</ins></a></li><li><span class="item-toggle-none"></span><a href="#sec-class-definitions-static-semantics-containsundefinedcontinuetarget" title="Static Semantics: ContainsUndefinedContinueTarget"><span class="secnum">4.1.6</span> <ins>SS: ContainsUndefinedContinueTarget</ins></a></li><li><span class="item-toggle-none"></span><a href="#sec-class-definitions-static-semantics-hasdirectsuper" title="Static Semantics: HasDirectSuper"><span class="secnum">4.1.7</span> <ins>SS: HasDirectSuper</ins></a></li><li><span class="item-toggle-none"></span><a href="#sec-static-semantics-classstaticblocklist" title="Static Semantics: ClassStaticBlockList"><span class="secnum">4.1.8</span> <ins>SS: ClassStaticBlockList</ins></a></li><li><span class="item-toggle-none"></span><a href="#sec-class-definitions-static-semantics-propname" title="Static Semantics: PropName"><span class="secnum">4.1.9</span> SS: PropName</a></li><li><span class="item-toggle-none"></span><a href="#sec-class-definitions-static-semantics-LexicallyDeclaredNames" title="Static Semantics: LexicallyDeclaredNames"><span class="secnum">4.1.10</span> SS: LexicallyDeclaredNames</a></li><li><span class="item-toggle-none"></span><a href="#sec-class-definitions-static-semantics-vardeclarednames" title="Static Semantics: VarDeclaredNames"><span class="secnum">4.1.11</span> SS: VarDeclaredNames</a></li><li><span class="item-toggle-none"></span><a href="#sec-class-definitions-static-semantics-varscopeddeclarations" title="Static Semantics: VarScopedDeclarations"><span class="secnum">4.1.12</span> SS: VarScopedDeclarations</a></li><li><span class="item-toggle-none"></span><a href="#sec-runtime-semantics-classdefinitionevaluation" title="Runtime Semantics: ClassDefinitionEvaluation"><span class="secnum">4.1.13</span> RS: ClassDefinitionEvaluation</a></li><li><span class="item-toggle">◢</span><a href="#sec-runtime-semantics-classstaticblockevaluation" title="Runtime Semantics: ClassStaticBlockEvaluation"><span class="secnum">4.1.14</span> <ins>RS: ClassStaticBlockEvaluation</ins></a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-prepareforclassstaticblockevaluation" title="PrepareForClassStaticBlockEvaluation ( F )"><span class="secnum">4.1.14.1</span> <ins>PrepareForClassStaticBlockEvaluation ( <var>F</var> )</ins></a></li><li><span class="item-toggle-none"></span><a href="#sec-classstaticblockbindthis" title="ClassStaticBlockBindThis ( F, innerContext )"><span class="secnum">4.1.14.2</span> <ins>ClassStaticBlockBindThis ( <var>F</var>, <var>innerContext</var> )</ins></a></li><li><span class="item-toggle-none"></span><a href="#sec-classstaticblockevaluatebody" title="ClassStaticBlockEvaluateBody ( block )"><span class="secnum">4.1.14.3</span> <ins>ClassStaticBlockEvaluateBody ( <var>block</var> )</ins></a></li><li><span class="item-toggle-none"></span><a href="#classstaticblockdeclarationinstantiation" title="ClassStaticBlockDeclarationInstantiation ( block )"><span class="secnum">4.1.14.4</span> <ins>ClassStaticBlockDeclarationInstantiation ( <var>block</var> )</ins></a></li></ol></li></ol></li></ol></li><li><span class="item-toggle-none"></span><a href="#sec-copyright-and-software-license" title="Copyright &amp; Software License"><span class="secnum">A</span> Copyright &amp; Software License</a></li></ol></div></div><div id="spec-container"><h1 class="version first">Stage 1 Draft / January 15, 2021</h1><h1 class="title">ECMAScript class static initialization blocks</h1>
 
 <emu-intro id="sec-intro">
   <h1>Introduction</h1>
@@ -2038,12 +2038,40 @@ <h1><span class="secnum">4.1.1</span> Static Semantics: Early Errors</h1>
         <p><ins>It is a Syntax Error if HasDirectSuper of <emu-nt id="_ref_37"><a href="#prod-ClassStaticBlock">ClassStaticBlock</a></emu-nt> is <emu-val>true</emu-val>.</ins></p>
       </li>
     </ul>
+    <emu-grammar collapsed=""><ins><emu-production name="ClassStaticBlockBody" collapsed="">
+    <emu-nt><a href="#prod-ClassStaticBlockBody">ClassStaticBlockBody</a></emu-nt><emu-geq>:</emu-geq><emu-rhs a="3a1d094a"><emu-nt id="_ref_38"><a href="#prod-ClassStaticBlockStatementList">ClassStaticBlockStatementList</a></emu-nt></emu-rhs>
+</emu-production></ins></emu-grammar>
+    <ul>
+      <li>
+        <p><ins>It is a Syntax Error if the LexicallyDeclaredNames of ClassStaticBlockStatementList contains any duplicate entries.</ins></p>
+      </li>
+      <li>
+        <p><ins>It is a Syntax Error if any element of the LexicallyDeclaredNames of ClassStaticBlockStatementList also occurs in the VarDeclaredNames of ClassStaticBlockStatementList.</ins></p>
+      </li>
+      <li>
+        <p><ins>It is a Syntax Error ContainsDuplicateLabels of ClassStaticBlockStatementList with argument « » is <emu-val>true</emu-val>.</ins></p>
+      </li>
+      <li>
+        <p><ins>It is a Syntax Error ContainsUndefinedBreakTarget of ClassStaticBlockStatementList with argument « » is <emu-val>true</emu-val>.</ins></p>
+      </li>
+      <li>
+        <p><ins>It is a Syntax Error ContainsUndefinedContinueTarget of ClassStaticBlockStatementList with arguments « » and « » is <emu-val>true</emu-val>.</ins></p>
+      </li>
+    </ul>
+  </emu-clause>
+
+  <emu-clause id="sec-static-semantics-classelementkind">
+    <h1><span class="secnum">4.1.2</span> Static Semantics: ClassElementKind</h1>
+    <emu-grammar><ins><emu-production name="ClassElement" collapsed="">
+    <emu-nt><a href="#prod-ClassElement">ClassElement</a></emu-nt><emu-geq>:</emu-geq><emu-rhs a="d948be7f"><emu-nt id="_ref_39"><a href="#prod-ClassStaticBlock">ClassStaticBlock</a></emu-nt></emu-rhs>
+</emu-production></ins></emu-grammar>
+    <emu-alg><ol><li>Return <emu-const>ClassStaticBlock</emu-const>.</li></ol></emu-alg>
   </emu-clause>
 
   <emu-clause id="sec-class-definitions-static-semantics-contains">
-    <h1><span class="secnum">4.1.2</span> Static Semantics: Contains</h1>
+    <h1><span class="secnum">4.1.3</span> Static Semantics: Contains</h1>
     <emu-grammar collapsed=""><ins><emu-production name="ClassStaticBlock" collapsed="">
-    <emu-nt><a href="#prod-ClassStaticBlock">ClassStaticBlock</a></emu-nt><emu-geq>:</emu-geq><emu-rhs a="86fea1a2"><emu-t>static</emu-t><emu-t>{</emu-t><emu-nt id="_ref_38"><a href="#prod-ClassStaticBlockBody">ClassStaticBlockBody</a></emu-nt><emu-t>}</emu-t></emu-rhs>
+    <emu-nt><a href="#prod-ClassStaticBlock">ClassStaticBlock</a></emu-nt><emu-geq>:</emu-geq><emu-rhs a="86fea1a2"><emu-t>static</emu-t><emu-t>{</emu-t><emu-nt id="_ref_40"><a href="#prod-ClassStaticBlockBody">ClassStaticBlockBody</a></emu-nt><emu-t>}</emu-t></emu-rhs>
 </emu-production></ins></emu-grammar>
     <emu-alg><ol><li><ins>Return <emu-val>false</emu-val>.</ins></li></ol></emu-alg>
     <emu-note><span class="note">Note</span><div class="note-contents">
@@ -2053,60 +2081,63 @@ <h1><span class="secnum">4.1.2</span> Static Semantics: Contains</h1>
     </div></emu-note>
   </emu-clause>
 
-  <emu-clause id="sec-class-definitions-static-semantics-hasdirectsuper">
-    <h1><span class="secnum">4.1.3</span> <ins>Static Semantics: HasDirectSuper</ins></h1>
-    <emu-grammar collapsed=""><ins><emu-production name="ClassStaticBlock" collapsed="">
-    <emu-nt><a href="#prod-ClassStaticBlock">ClassStaticBlock</a></emu-nt><emu-geq>:</emu-geq><emu-rhs a="86fea1a2"><emu-t>static</emu-t><emu-t>{</emu-t><emu-nt id="_ref_39"><a href="#prod-ClassStaticBlockBody">ClassStaticBlockBody</a></emu-nt><emu-t>}</emu-t></emu-rhs>
+  <emu-clause id="sec-class-definitions-static-semantics-containsduplicatelabels">
+    <h1><span class="secnum">4.1.4</span> <ins>Static Semantics: ContainsDuplicateLabels</ins></h1>
+    <p>With parameter <var>labelSet</var>.</p>
+    <emu-grammar collapsed=""><ins><emu-production name="ClassStaticBlockStatementList" collapsed="">
+    <emu-nt><a href="#prod-ClassStaticBlockStatementList">ClassStaticBlockStatementList</a></emu-nt><emu-geq>:</emu-geq><emu-rhs a="cdcd5c9a">[empty]</emu-rhs>
+</emu-production></ins></emu-grammar>
+    <emu-alg><ol><li><ins>Return <emu-val>false</emu-val>.</ins></li></ol></emu-alg>
+  </emu-clause>
+
+  <emu-clause id="sec-class-definitions-static-semantics-containsundefinedbreaktarget">
+    <h1><span class="secnum">4.1.5</span> <ins>Static Semantics: ContainsUndefinedBreakTarget</ins></h1>
+    <p>With parameter <var>labelSet</var>.</p>
+    <emu-grammar collapsed=""><ins><emu-production name="ClassStaticBlockStatementList" collapsed="">
+    <emu-nt><a href="#prod-ClassStaticBlockStatementList">ClassStaticBlockStatementList</a></emu-nt><emu-geq>:</emu-geq><emu-rhs a="cdcd5c9a">[empty]</emu-rhs>
 </emu-production></ins></emu-grammar>
-    <emu-alg><ol><li><ins>Return <emu-nt id="_ref_40"><a href="#prod-ClassStaticBlockBody">ClassStaticBlockBody</a></emu-nt> Contains <emu-nt><a href="https://tc39.es/ecma262/#prod-SuperCall">SuperCall</a></emu-nt>.</ins></li></ol></emu-alg>
+    <emu-alg><ol><li><ins>Return <emu-val>false</emu-val>.</ins></li></ol></emu-alg>
   </emu-clause>
 
-  <emu-clause id="sec-static-semantics-nonconstructormethoddefinitions">
-    <h1><span class="secnum">4.1.4</span> Static Semantics: NonConstructorMethodDefinitions</h1>
-    <emu-grammar collapsed=""><emu-production name="ClassElementList" collapsed="" id="prod-ClassElementList">
-    <emu-nt><a href="#prod-ClassElementList">ClassElementList</a></emu-nt><emu-geq>:</emu-geq><emu-rhs a="711bcbba"><emu-nt id="_ref_41"><a href="#prod-ClassElement">ClassElement</a></emu-nt></emu-rhs>
-</emu-production></emu-grammar>
-    <emu-alg><ol><li>If <emu-nt id="_ref_42"><a href="#prod-ClassElement">ClassElement</a></emu-nt> is <emu-grammar collapsed=""><emu-production name="ClassElement" collapsed="" class=" inline">
-    <emu-nt><a href="#prod-ClassElement">ClassElement</a></emu-nt><emu-geq>:</emu-geq><emu-rhs a="4a0dac03"><emu-t>;</emu-t></emu-rhs>
-</emu-production></emu-grammar> <ins>or <emu-grammar><emu-production name="ClassElement" collapsed="" class=" inline">
-    <emu-nt><a href="#prod-ClassElement">ClassElement</a></emu-nt><emu-geq>:</emu-geq><emu-rhs a="d948be7f"><emu-nt id="_ref_43"><a href="#prod-ClassStaticBlock">ClassStaticBlock</a></emu-nt></emu-rhs>
-</emu-production></emu-grammar></ins>, return a new empty <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref>.</li><li>If IsStatic of <emu-nt id="_ref_44"><a href="#prod-ClassElement">ClassElement</a></emu-nt> is <emu-val>false</emu-val> and PropName of <emu-nt id="_ref_45"><a href="#prod-ClassElement">ClassElement</a></emu-nt> is <code>"constructor"</code>, return a new empty <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref>.</li><li>Return a <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> containing <emu-nt id="_ref_46"><a href="#prod-ClassElement">ClassElement</a></emu-nt>.</li></ol></emu-alg>
-    <emu-grammar collapsed=""><emu-production name="ClassElementList" collapsed="">
-    <emu-nt><a href="#prod-ClassElementList">ClassElementList</a></emu-nt><emu-geq>:</emu-geq><emu-rhs a="9ac50b6a"><emu-nt id="_ref_47"><a href="#prod-ClassElementList">ClassElementList</a></emu-nt><emu-nt id="_ref_48"><a href="#prod-ClassElement">ClassElement</a></emu-nt></emu-rhs>
-</emu-production></emu-grammar>
-    <emu-alg><ol><li>Let <var>list</var> be NonConstructorMethodDefinitions of <emu-nt id="_ref_49"><a href="#prod-ClassElementList">ClassElementList</a></emu-nt>.</li><li>If <emu-nt id="_ref_50"><a href="#prod-ClassElement">ClassElement</a></emu-nt> is <emu-grammar collapsed=""><emu-production name="ClassElement" collapsed="" class=" inline">
-    <emu-nt><a href="#prod-ClassElement">ClassElement</a></emu-nt><emu-geq>:</emu-geq><emu-rhs a="4a0dac03"><emu-t>;</emu-t></emu-rhs>
-</emu-production></emu-grammar> <ins>or <emu-grammar><emu-production name="ClassElement" collapsed="" class=" inline">
-    <emu-nt><a href="#prod-ClassElement">ClassElement</a></emu-nt><emu-geq>:</emu-geq><emu-rhs a="d948be7f"><emu-nt id="_ref_51"><a href="#prod-ClassStaticBlock">ClassStaticBlock</a></emu-nt></emu-rhs>
-</emu-production></emu-grammar></ins>, return <var>list</var>.</li><li>If IsStatic of <emu-nt id="_ref_52"><a href="#prod-ClassElement">ClassElement</a></emu-nt> is <emu-val>false</emu-val> and PropName of <emu-nt id="_ref_53"><a href="#prod-ClassElement">ClassElement</a></emu-nt> is <code>"constructor"</code>, return <var>list</var>.</li><li>Append <emu-nt id="_ref_54"><a href="#prod-ClassElement">ClassElement</a></emu-nt> to the end of <var>list</var>.</li><li>Return <var>list</var>.</li></ol></emu-alg>
+  <emu-clause id="sec-class-definitions-static-semantics-containsundefinedcontinuetarget">
+    <h1><span class="secnum">4.1.6</span> <ins>Static Semantics: ContainsUndefinedContinueTarget</ins></h1>
+    <p>With parameters <var>iterationSet</var> and <var>labelSet</var>.</p>
+    <emu-grammar collapsed=""><ins><emu-production name="ClassStaticBlockStatementList" collapsed="">
+    <emu-nt><a href="#prod-ClassStaticBlockStatementList">ClassStaticBlockStatementList</a></emu-nt><emu-geq>:</emu-geq><emu-rhs a="cdcd5c9a">[empty]</emu-rhs>
+</emu-production></ins></emu-grammar>
+    <emu-alg><ol><li><ins>Return <emu-val>false</emu-val>.</ins></li></ol></emu-alg>
+  </emu-clause>
+
+  <emu-clause id="sec-class-definitions-static-semantics-hasdirectsuper">
+    <h1><span class="secnum">4.1.7</span> <ins>Static Semantics: HasDirectSuper</ins></h1>
+    <emu-grammar collapsed=""><ins><emu-production name="ClassStaticBlock" collapsed="">
+    <emu-nt><a href="#prod-ClassStaticBlock">ClassStaticBlock</a></emu-nt><emu-geq>:</emu-geq><emu-rhs a="86fea1a2"><emu-t>static</emu-t><emu-t>{</emu-t><emu-nt id="_ref_41"><a href="#prod-ClassStaticBlockBody">ClassStaticBlockBody</a></emu-nt><emu-t>}</emu-t></emu-rhs>
+</emu-production></ins></emu-grammar>
+    <emu-alg><ol><li><ins>Return <emu-nt id="_ref_42"><a href="#prod-ClassStaticBlockBody">ClassStaticBlockBody</a></emu-nt> Contains <emu-nt><a href="https://tc39.es/ecma262/#prod-SuperCall">SuperCall</a></emu-nt>.</ins></li></ol></emu-alg>
   </emu-clause>
 
   <emu-clause id="sec-static-semantics-classstaticblocklist" aoid="ClassStaticBlockList">
-    <h1><span class="secnum">4.1.5</span> <ins>Static Semantics: ClassStaticBlockList</ins></h1>
-    <emu-grammar collapsed=""><emu-production name="ClassElementList" collapsed="">
-    <emu-nt><a href="#prod-ClassElementList">ClassElementList</a></emu-nt><emu-geq>:</emu-geq><emu-rhs a="711bcbba"><emu-nt id="_ref_55"><a href="#prod-ClassElement">ClassElement</a></emu-nt></emu-rhs>
+    <h1><span class="secnum">4.1.8</span> <ins>Static Semantics: ClassStaticBlockList</ins></h1>
+    <emu-grammar collapsed=""><emu-production name="ClassElementList" collapsed="" id="prod-ClassElementList">
+    <emu-nt><a href="#prod-ClassElementList">ClassElementList</a></emu-nt><emu-geq>:</emu-geq><emu-rhs a="711bcbba"><emu-nt id="_ref_43"><a href="#prod-ClassElement">ClassElement</a></emu-nt></emu-rhs>
 </emu-production></emu-grammar>
-    <emu-alg><ol><li>If <emu-nt id="_ref_56"><a href="#prod-ClassElement">ClassElement</a></emu-nt> is not <emu-grammar><emu-production name="ClassElement" collapsed="" class=" inline">
-    <emu-nt><a href="#prod-ClassElement">ClassElement</a></emu-nt><emu-geq>:</emu-geq><emu-rhs a="d948be7f"><emu-nt id="_ref_57"><a href="#prod-ClassStaticBlock">ClassStaticBlock</a></emu-nt></emu-rhs>
-</emu-production></emu-grammar>, return a new empty <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref>.</li><li>Return a <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> containing <emu-nt id="_ref_58"><a href="#prod-ClassElement">ClassElement</a></emu-nt>.</li></ol></emu-alg>
+    <emu-alg><ol><li>If ClassElementKind of <emu-nt id="_ref_44"><a href="#prod-ClassElement">ClassElement</a></emu-nt> is <emu-const>ClassStaticBlock</emu-const>, then<ol><li>Return a <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> whose sole element is <emu-nt id="_ref_45"><a href="#prod-ClassElement">ClassElement</a></emu-nt>.</li></ol></li><li>Return a new empty <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref>.</li></ol></emu-alg>
     <emu-grammar collapsed=""><emu-production name="ClassElementList" collapsed="">
-    <emu-nt><a href="#prod-ClassElementList">ClassElementList</a></emu-nt><emu-geq>:</emu-geq><emu-rhs a="9ac50b6a"><emu-nt id="_ref_59"><a href="#prod-ClassElementList">ClassElementList</a></emu-nt><emu-nt id="_ref_60"><a href="#prod-ClassElement">ClassElement</a></emu-nt></emu-rhs>
+    <emu-nt><a href="#prod-ClassElementList">ClassElementList</a></emu-nt><emu-geq>:</emu-geq><emu-rhs a="9ac50b6a"><emu-nt id="_ref_46"><a href="#prod-ClassElementList">ClassElementList</a></emu-nt><emu-nt id="_ref_47"><a href="#prod-ClassElement">ClassElement</a></emu-nt></emu-rhs>
 </emu-production></emu-grammar>
-    <emu-alg><ol><li>Let <var>list</var> be <emu-xref aoid="ClassStaticBlockList" id="_ref_2"><a href="#sec-static-semantics-classstaticblocklist">ClassStaticBlockList</a></emu-xref> of <emu-nt id="_ref_61"><a href="#prod-ClassElementList">ClassElementList</a></emu-nt>.</li><li>If <emu-nt id="_ref_62"><a href="#prod-ClassElement">ClassElement</a></emu-nt> is not <emu-grammar><emu-production name="ClassElement" collapsed="" class=" inline">
-    <emu-nt><a href="#prod-ClassElement">ClassElement</a></emu-nt><emu-geq>:</emu-geq><emu-rhs a="d948be7f"><emu-nt id="_ref_63"><a href="#prod-ClassStaticBlock">ClassStaticBlock</a></emu-nt></emu-rhs>
-</emu-production></emu-grammar>, return <var>list</var>.</li><li>Append <emu-nt id="_ref_64"><a href="#prod-ClassElement">ClassElement</a></emu-nt> to the end of <var>list</var>.</li><li>Return <var>list</var>.</li></ol></emu-alg>
+    <emu-alg><ol><li>Let <var>list</var> be <emu-xref aoid="ClassStaticBlockList" id="_ref_2"><a href="#sec-static-semantics-classstaticblocklist">ClassStaticBlockList</a></emu-xref> of <emu-nt id="_ref_48"><a href="#prod-ClassElementList">ClassElementList</a></emu-nt>.</li><li>If ClassElementKind of <emu-nt id="_ref_49"><a href="#prod-ClassElement">ClassElement</a></emu-nt> is <emu-const>ClassStaticBlock</emu-const>, then<ol><li>Append <emu-nt id="_ref_50"><a href="#prod-ClassElement">ClassElement</a></emu-nt> to the end of <var>list</var>.</li></ol></li><li>Return <var>list</var>.</li></ol></emu-alg>
   </emu-clause>
 
   <emu-clause id="sec-class-definitions-static-semantics-propname">
-    <h1><span class="secnum">4.1.6</span> Static Semantics: PropName</h1>
+    <h1><span class="secnum">4.1.9</span> Static Semantics: PropName</h1>
     <emu-grammar collapsed=""><ins><emu-production name="ClassElement" collapsed="">
-    <emu-nt><a href="#prod-ClassElement">ClassElement</a></emu-nt><emu-geq>:</emu-geq><emu-rhs a="d948be7f"><emu-nt id="_ref_65"><a href="#prod-ClassStaticBlock">ClassStaticBlock</a></emu-nt></emu-rhs>
+    <emu-nt><a href="#prod-ClassElement">ClassElement</a></emu-nt><emu-geq>:</emu-geq><emu-rhs a="d948be7f"><emu-nt id="_ref_51"><a href="#prod-ClassStaticBlock">ClassStaticBlock</a></emu-nt></emu-rhs>
 </emu-production></ins></emu-grammar>
     <emu-alg><ol><li><ins>Return <emu-const>empty</emu-const>.</ins></li></ol></emu-alg>
   </emu-clause>
 
   <emu-clause id="sec-class-definitions-static-semantics-LexicallyDeclaredNames">
-    <h1><span class="secnum">4.1.7</span> Static Semantics: LexicallyDeclaredNames</h1>
+    <h1><span class="secnum">4.1.10</span> Static Semantics: LexicallyDeclaredNames</h1>
     <emu-grammar collapsed=""><ins><emu-production name="ClassBlockStatementList" collapsed="" id="prod-ClassBlockStatementList">
     <emu-nt><a href="#prod-ClassBlockStatementList">ClassBlockStatementList</a></emu-nt><emu-geq>:</emu-geq><emu-rhs a="37b9c04c"><emu-gann>[empty]</emu-gann></emu-rhs>
 </emu-production></ins></emu-grammar>
@@ -2118,7 +2149,7 @@ <h1><span class="secnum">4.1.7</span> Static Semantics: LexicallyDeclaredNames</
   </emu-clause>
 
   <emu-clause id="sec-class-definitions-static-semantics-vardeclarednames">
-    <h1><span class="secnum">4.1.8</span> Static Semantics: VarDeclaredNames</h1>
+    <h1><span class="secnum">4.1.11</span> Static Semantics: VarDeclaredNames</h1>
     <emu-grammar collapsed=""><ins><emu-production name="ClassBlockStatementList" collapsed="">
     <emu-nt><a href="#prod-ClassBlockStatementList">ClassBlockStatementList</a></emu-nt><emu-geq>:</emu-geq><emu-rhs a="37b9c04c"><emu-gann>[empty]</emu-gann></emu-rhs>
 </emu-production></ins></emu-grammar>
@@ -2130,7 +2161,7 @@ <h1><span class="secnum">4.1.8</span> Static Semantics: VarDeclaredNames</h1>
   </emu-clause>
 
   <emu-clause id="sec-class-definitions-static-semantics-varscopeddeclarations">
-    <h1><span class="secnum">4.1.9</span> Static Semantics: VarScopedDeclarations</h1>
+    <h1><span class="secnum">4.1.12</span> Static Semantics: VarScopedDeclarations</h1>
     <emu-grammar collapsed=""><ins><emu-production name="ClassBlockStatementList" collapsed="">
     <emu-nt><a href="#prod-ClassBlockStatementList">ClassBlockStatementList</a></emu-nt><emu-geq>:</emu-geq><emu-rhs a="37b9c04c"><emu-gann>[empty]</emu-gann></emu-rhs>
 </emu-production></ins></emu-grammar>
@@ -2142,51 +2173,51 @@ <h1><span class="secnum">4.1.9</span> Static Semantics: VarScopedDeclarations</h
   </emu-clause>
 
   <emu-clause id="sec-runtime-semantics-classdefinitionevaluation">
-    <h1><span class="secnum">4.1.10</span> Runtime Semantics: ClassDefinitionEvaluation</h1>
+    <h1><span class="secnum">4.1.13</span> Runtime Semantics: ClassDefinitionEvaluation</h1>
     <emu-note><span class="note">Note</span><div class="note-contents">This algorithm is a delta from the <a href="https://tc39.es/proposal-class-fields/#runtime-semantics-class-definition-evaluation">Class Fields proposal</a>.</div></emu-note>
     <p>With parameter <var>className</var>.</p>
     <emu-grammar collapsed=""><emu-production name="ClassTail" collapsed="" id="prod-ClassTail">
-    <emu-nt><a href="#prod-ClassTail">ClassTail</a></emu-nt><emu-geq>:</emu-geq><emu-rhs a="b8ea6aa5"><emu-nt optional=""><a href="https://tc39.es/ecma262/#prod-ClassHeritage">ClassHeritage</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt><emu-t>{</emu-t><emu-nt optional="" id="_ref_66"><a href="#prod-ClassBody">ClassBody</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt><emu-t>}</emu-t></emu-rhs>
+    <emu-nt><a href="#prod-ClassTail">ClassTail</a></emu-nt><emu-geq>:</emu-geq><emu-rhs a="b8ea6aa5"><emu-nt optional=""><a href="https://tc39.es/ecma262/#prod-ClassHeritage">ClassHeritage</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt><emu-t>{</emu-t><emu-nt optional="" id="_ref_52"><a href="#prod-ClassBody">ClassBody</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt><emu-t>}</emu-t></emu-rhs>
 </emu-production></emu-grammar>
-    <emu-alg><ol><li>Let <var>lex</var> be the LexicalEnvironment of the <emu-xref href="#running-execution-context"><a href="https://tc39.es/ecma262/#running-execution-context">running execution context</a></emu-xref>.</li><li>Let <var>classScope</var> be <emu-xref aoid="NewDeclarativeEnvironment" id="_ref_3"><a href="https://tc39.es/ecma262/#sec-newdeclarativeenvironment">NewDeclarativeEnvironment</a></emu-xref>(<var>lex</var>).</li><li>Let <var>classScopeEnvRec</var> be <var>classScope</var>'s <emu-xref href="#sec-lexical-environments"><a href="https://tc39.es/ecma262/#sec-lexical-environments">EnvironmentRecord</a></emu-xref>.</li><li>If <var>className</var> is not <emu-val>undefined</emu-val>, then<ol><li>Perform <var>classScopeEnvRec</var>.CreateImmutableBinding(<var>className</var>, <emu-val>true</emu-val>).</li></ol></li><li>Let <var>outerPrivateEnvironment</var> be the PrivateEnvironment of the <emu-xref href="#running-execution-context"><a href="https://tc39.es/ecma262/#running-execution-context">running execution context</a></emu-xref>.</li><li>Let <var>classPrivateEnvironment</var> be <emu-xref aoid="NewDeclarativeEnvironment" id="_ref_4"><a href="https://tc39.es/ecma262/#sec-newdeclarativeenvironment">NewDeclarativeEnvironment</a></emu-xref>(<var>outerPrivateEnvironment</var>).</li><li>Let <var>classPrivateEnvRec</var> be <var>classPrivateEnvironment</var>'s <emu-xref href="#sec-lexical-environments"><a href="https://tc39.es/ecma262/#sec-lexical-environments">EnvironmentRecord</a></emu-xref>.</li><li>If <emu-nt optional="" id="_ref_67"><a href="#prod-ClassBody">ClassBody</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt> is present, then<ol><li>For each element <var>dn</var> of the PrivateBoundIdentifiers of <emu-nt optional="" id="_ref_68"><a href="#prod-ClassBody">ClassBody</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt>,<ol><li>Perform <var>classPrivateEnvRec</var>.CreateImmutableBinding(<var>dn</var>, <emu-val>true</emu-val>).</li><li>Let <var>privateName</var> be NewPrivateName(<var>dn</var>).</li><li>Perform !<var>classPrivateEnvRec</var>.InitializeBinding(<var>dn</var>, <var>privateName</var>).</li></ol></li></ol></li><li>If <emu-nt optional=""><a href="https://tc39.es/ecma262/#prod-ClassHeritage">ClassHeritage</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt> is not present, then<ol><li>Let <var>protoParent</var> be the intrinsic object <emu-xref href="#sec-properties-of-the-object-prototype-object"><a href="https://tc39.es/ecma262/#sec-properties-of-the-object-prototype-object">%ObjectPrototype%</a></emu-xref>.</li><li>Let <var>constructorParent</var> be the intrinsic object %FunctionPrototype%.</li></ol></li><li>Else,<ol><li>Set the <emu-xref href="#running-execution-context"><a href="https://tc39.es/ecma262/#running-execution-context">running execution context</a></emu-xref>'s LexicalEnvironment to <var>classScope</var>.</li><li>NOTE: The <emu-xref href="#running-execution-context"><a href="https://tc39.es/ecma262/#running-execution-context">running execution context</a></emu-xref>'s PrivateEnvironment is <var>outerPrivateEnvironment</var> when evaluating <emu-nt><a href="https://tc39.es/ecma262/#prod-ClassHeritage">ClassHeritage</a></emu-nt>.</li><li>Let <var>superclass</var> be the result of evaluating <emu-nt><a href="https://tc39.es/ecma262/#prod-ClassHeritage">ClassHeritage</a></emu-nt>.</li><li>Set the <emu-xref href="#running-execution-context"><a href="https://tc39.es/ecma262/#running-execution-context">running execution context</a></emu-xref>'s LexicalEnvironment to <var>lex</var>.</li><li><emu-xref aoid="ReturnIfAbrupt" id="_ref_5"><a href="https://tc39.es/ecma262/#sec-returnifabrupt">ReturnIfAbrupt</a></emu-xref>(<var>superclass</var>).</li><li>If <var>superclass</var> is <emu-val>null</emu-val>, then<ol><li>Let <var>protoParent</var> be <emu-val>null</emu-val>.</li><li>Let <var>constructorParent</var> be the intrinsic object %FunctionPrototype%.</li></ol></li><li>Else if <emu-xref aoid="IsConstructor" id="_ref_6"><a href="https://tc39.es/ecma262/#sec-isconstructor">IsConstructor</a></emu-xref>(<var>superclass</var>) is <emu-val>false</emu-val>, throw a <emu-val>TypeError</emu-val> exception.</li><li>Else,<ol><li>Let <var>protoParent</var> be ?&nbsp;<emu-xref aoid="Get" id="_ref_7"><a href="https://tc39.es/ecma262/#sec-get-o-p">Get</a></emu-xref>(<var>superclass</var>, <code>"prototype"</code>).</li><li>If <emu-xref aoid="Type" id="_ref_8"><a href="https://tc39.es/ecma262/#sec-ecmascript-data-types-and-values">Type</a></emu-xref>(<var>protoParent</var>) is neither Object nor Null, throw a <emu-val>TypeError</emu-val> exception.</li><li>Let <var>constructorParent</var> be <var>superclass</var>.</li></ol></li></ol></li><li>Let <var>proto</var> be <emu-xref aoid="ObjectCreate" id="_ref_9"><a href="https://tc39.es/ecma262/#sec-objectcreate">ObjectCreate</a></emu-xref>(<var>protoParent</var>).</li><li>If <emu-nt optional="" id="_ref_69"><a href="#prod-ClassBody">ClassBody</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt> is not present, let <var>constructor</var> be <emu-const>empty</emu-const>.</li><li>Else, let <var>constructor</var> be ConstructorMethod of <emu-nt id="_ref_70"><a href="#prod-ClassBody">ClassBody</a></emu-nt>.</li><li>If <var>constructor</var> is <emu-const>empty</emu-const>, then<ol><li>If <emu-nt optional=""><a href="https://tc39.es/ecma262/#prod-ClassHeritage">ClassHeritage</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt> is present and <var>protoParent</var> is not <emu-val>null</emu-val>, then<ol><li>Let <var>constructor</var> be the result of parsing the source text
+    <emu-alg><ol><li>Let <var>lex</var> be the LexicalEnvironment of the <emu-xref href="#running-execution-context"><a href="https://tc39.es/ecma262/#running-execution-context">running execution context</a></emu-xref>.</li><li>Let <var>classScope</var> be <emu-xref aoid="NewDeclarativeEnvironment" id="_ref_3"><a href="https://tc39.es/ecma262/#sec-newdeclarativeenvironment">NewDeclarativeEnvironment</a></emu-xref>(<var>lex</var>).</li><li>Let <var>classScopeEnvRec</var> be <var>classScope</var>'s <emu-xref href="#sec-lexical-environments"><a href="https://tc39.es/ecma262/#sec-lexical-environments">EnvironmentRecord</a></emu-xref>.</li><li>If <var>className</var> is not <emu-val>undefined</emu-val>, then<ol><li>Perform <var>classScopeEnvRec</var>.CreateImmutableBinding(<var>className</var>, <emu-val>true</emu-val>).</li></ol></li><li>Let <var>outerPrivateEnvironment</var> be the PrivateEnvironment of the <emu-xref href="#running-execution-context"><a href="https://tc39.es/ecma262/#running-execution-context">running execution context</a></emu-xref>.</li><li>Let <var>classPrivateEnvironment</var> be <emu-xref aoid="NewDeclarativeEnvironment" id="_ref_4"><a href="https://tc39.es/ecma262/#sec-newdeclarativeenvironment">NewDeclarativeEnvironment</a></emu-xref>(<var>outerPrivateEnvironment</var>).</li><li>Let <var>classPrivateEnvRec</var> be <var>classPrivateEnvironment</var>'s <emu-xref href="#sec-lexical-environments"><a href="https://tc39.es/ecma262/#sec-lexical-environments">EnvironmentRecord</a></emu-xref>.</li><li>If <emu-nt optional="" id="_ref_53"><a href="#prod-ClassBody">ClassBody</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt> is present, then<ol><li>For each element <var>dn</var> of the PrivateBoundIdentifiers of <emu-nt optional="" id="_ref_54"><a href="#prod-ClassBody">ClassBody</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt>,<ol><li>Perform <var>classPrivateEnvRec</var>.CreateImmutableBinding(<var>dn</var>, <emu-val>true</emu-val>).</li><li>Let <var>privateName</var> be NewPrivateName(<var>dn</var>).</li><li>Perform !<var>classPrivateEnvRec</var>.InitializeBinding(<var>dn</var>, <var>privateName</var>).</li></ol></li></ol></li><li>If <emu-nt optional=""><a href="https://tc39.es/ecma262/#prod-ClassHeritage">ClassHeritage</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt> is not present, then<ol><li>Let <var>protoParent</var> be the intrinsic object <emu-xref href="#sec-properties-of-the-object-prototype-object"><a href="https://tc39.es/ecma262/#sec-properties-of-the-object-prototype-object">%ObjectPrototype%</a></emu-xref>.</li><li>Let <var>constructorParent</var> be the intrinsic object %FunctionPrototype%.</li></ol></li><li>Else,<ol><li>Set the <emu-xref href="#running-execution-context"><a href="https://tc39.es/ecma262/#running-execution-context">running execution context</a></emu-xref>'s LexicalEnvironment to <var>classScope</var>.</li><li>NOTE: The <emu-xref href="#running-execution-context"><a href="https://tc39.es/ecma262/#running-execution-context">running execution context</a></emu-xref>'s PrivateEnvironment is <var>outerPrivateEnvironment</var> when evaluating <emu-nt><a href="https://tc39.es/ecma262/#prod-ClassHeritage">ClassHeritage</a></emu-nt>.</li><li>Let <var>superclass</var> be the result of evaluating <emu-nt><a href="https://tc39.es/ecma262/#prod-ClassHeritage">ClassHeritage</a></emu-nt>.</li><li>Set the <emu-xref href="#running-execution-context"><a href="https://tc39.es/ecma262/#running-execution-context">running execution context</a></emu-xref>'s LexicalEnvironment to <var>lex</var>.</li><li><emu-xref aoid="ReturnIfAbrupt" id="_ref_5"><a href="https://tc39.es/ecma262/#sec-returnifabrupt">ReturnIfAbrupt</a></emu-xref>(<var>superclass</var>).</li><li>If <var>superclass</var> is <emu-val>null</emu-val>, then<ol><li>Let <var>protoParent</var> be <emu-val>null</emu-val>.</li><li>Let <var>constructorParent</var> be the intrinsic object %FunctionPrototype%.</li></ol></li><li>Else if <emu-xref aoid="IsConstructor" id="_ref_6"><a href="https://tc39.es/ecma262/#sec-isconstructor">IsConstructor</a></emu-xref>(<var>superclass</var>) is <emu-val>false</emu-val>, throw a <emu-val>TypeError</emu-val> exception.</li><li>Else,<ol><li>Let <var>protoParent</var> be ?&nbsp;<emu-xref aoid="Get" id="_ref_7"><a href="https://tc39.es/ecma262/#sec-get-o-p">Get</a></emu-xref>(<var>superclass</var>, <code>"prototype"</code>).</li><li>If <emu-xref aoid="Type" id="_ref_8"><a href="https://tc39.es/ecma262/#sec-ecmascript-data-types-and-values">Type</a></emu-xref>(<var>protoParent</var>) is neither Object nor Null, throw a <emu-val>TypeError</emu-val> exception.</li><li>Let <var>constructorParent</var> be <var>superclass</var>.</li></ol></li></ol></li><li>Let <var>proto</var> be <emu-xref aoid="ObjectCreate" id="_ref_9"><a href="https://tc39.es/ecma262/#sec-objectcreate">ObjectCreate</a></emu-xref>(<var>protoParent</var>).</li><li>If <emu-nt optional="" id="_ref_55"><a href="#prod-ClassBody">ClassBody</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt> is not present, let <var>constructor</var> be <emu-const>empty</emu-const>.</li><li>Else, let <var>constructor</var> be ConstructorMethod of <emu-nt id="_ref_56"><a href="#prod-ClassBody">ClassBody</a></emu-nt>.</li><li>If <var>constructor</var> is <emu-const>empty</emu-const>, then<ol><li>If <emu-nt optional=""><a href="https://tc39.es/ecma262/#prod-ClassHeritage">ClassHeritage</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt> is present and <var>protoParent</var> is not <emu-val>null</emu-val>, then<ol><li>Let <var>constructor</var> be the result of parsing the source text
             <pre><code class="javascript hljs"><span class="hljs-keyword">constructor</span>(... args){ <span class="hljs-keyword">super</span> (...args);}</code></pre>
             using the syntactic grammar with the <emu-xref href="#sec-context-free-grammars"><a href="https://tc39.es/ecma262/#sec-context-free-grammars">goal symbol</a></emu-xref> <emu-nt params="~Yield"><a href="https://tc39.es/ecma262/#prod-MethodDefinition">MethodDefinition</a><emu-mods><emu-params>[~Yield]</emu-params></emu-mods></emu-nt>.</li></ol></li><li>Else,<ol><li>Let <var>constructor</var> be the result of parsing the source text
             <pre><code class="javascript hljs"><span class="hljs-keyword">constructor</span>( ){ }</code></pre>
-            using the syntactic grammar with the <emu-xref href="#sec-context-free-grammars"><a href="https://tc39.es/ecma262/#sec-context-free-grammars">goal symbol</a></emu-xref> <emu-nt params="~Yield"><a href="https://tc39.es/ecma262/#prod-MethodDefinition">MethodDefinition</a><emu-mods><emu-params>[~Yield]</emu-params></emu-mods></emu-nt>.</li></ol></li></ol></li><li>Set the <emu-xref href="#running-execution-context"><a href="https://tc39.es/ecma262/#running-execution-context">running execution context</a></emu-xref>'s LexicalEnvironment to <var>classScope</var>.</li><li>Set the <emu-xref href="#running-execution-context"><a href="https://tc39.es/ecma262/#running-execution-context">running execution context</a></emu-xref>'s PrivateEnvironment to <var>classPrivateEnvironment</var>.</li><li>Let <var>constructorInfo</var> be the result of performing DefineMethod for <var>constructor</var> with arguments <var>proto</var> and <var>constructorParent</var> as the optional <var>functionPrototype</var> argument.</li><li><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: <var>constructorInfo</var> is not an <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">abrupt completion</a></emu-xref>.</li><li>Let <var>F</var> be <var>constructorInfo</var>.[[Closure]].</li><li>If <emu-nt optional=""><a href="https://tc39.es/ecma262/#prod-ClassHeritage">ClassHeritage</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt> is present and <var>protoParent</var> is not <emu-val>null</emu-val>, then set <var>F</var>.[[ConstructorKind]] to <code>"derived"</code>.</li><li>Perform <emu-xref aoid="MakeConstructor" id="_ref_10"><a href="https://tc39.es/ecma262/#sec-makeconstructor">MakeConstructor</a></emu-xref>(<var>F</var>, <emu-val>false</emu-val>, <var>proto</var>).</li><li>Perform <emu-xref aoid="MakeClassConstructor" id="_ref_11"><a href="https://tc39.es/ecma262/#sec-makeclassconstructor">MakeClassConstructor</a></emu-xref>(<var>F</var>).</li><li>Perform <emu-xref aoid="CreateMethodProperty" id="_ref_12"><a href="https://tc39.es/ecma262/#sec-createmethodproperty">CreateMethodProperty</a></emu-xref>(<var>proto</var>, <code>"constructor"</code>, <var>F</var>).</li><li>If <emu-nt optional="" id="_ref_71"><a href="#prod-ClassBody">ClassBody</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt> is not present, let <var>elements</var> be a new empty <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref>.</li><li>Else, let <var>elements</var> be NonConstructorMethodDefinitions of <emu-nt id="_ref_72"><a href="#prod-ClassBody">ClassBody</a></emu-nt>.</li><li>Let <var>instanceFields</var> be a new empty <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref>.</li><li>For each <emu-nt id="_ref_73"><a href="#prod-ClassElement">ClassElement</a></emu-nt> <var>e</var> in order from <var>elements</var><ol><li>If IsStatic of <var>e</var> is <emu-val>false</emu-val>, then<ol><li>Let <var>field</var> be the result of performing ClassElementEvaluation for <var>e</var> with arguments <var>proto</var> and <emu-val>false</emu-val>.</li></ol></li><li>Else,<ol><li>Let <var>field</var> be the result of performing ClassElementEvaluation for <var>e</var> with arguments <var>F</var> and <emu-val>false</emu-val>.</li></ol></li><li>If <var>field</var> is an <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">abrupt completion</a></emu-xref>, then<ol><li>Set the <emu-xref href="#running-execution-context"><a href="https://tc39.es/ecma262/#running-execution-context">running execution context</a></emu-xref>'s LexicalEnvironment to <var>lex</var>.</li><li>Set the <emu-xref href="#running-execution-context"><a href="https://tc39.es/ecma262/#running-execution-context">running execution context</a></emu-xref>'s PrivateEnvironment to <var>outerPrivateEnvironment</var>.</li><li>Return <emu-xref aoid="Completion" id="_ref_13"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">Completion</a></emu-xref>(<var>field</var>).</li></ol></li><li>If <var>field</var> is not <emu-const>empty</emu-const>, append <var>field</var> to <var>instanceFields</var>.</li></ol></li><li><del>Set the <emu-xref href="#running-execution-context"><a href="https://tc39.es/ecma262/#running-execution-context">running execution context</a></emu-xref>'s LexicalEnvironment to <var>lex</var>.</del></li><li>If <var>className</var> is not <emu-val>undefined</emu-val>, then<ol><li>Perform <var>classScopeEnvRec</var>.InitializeBinding(<var>className</var>, <var>F</var>).</li></ol></li><li>Set <var>F</var>.[[Fields]] to <var>instanceFields</var>.</li><li><ins>If <emu-nt optional="" id="_ref_74"><a href="#prod-ClassBody">ClassBody</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt> is not present, let <var>staticBlocks</var> be a new empty <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref>.</ins></li><li><ins>Else, let <var>staticBlocks</var> be <emu-xref aoid="ClassStaticBlockList" id="_ref_14"><a href="#sec-static-semantics-classstaticblocklist">ClassStaticBlockList</a></emu-xref> of <emu-nt id="_ref_75"><a href="#prod-ClassBody">ClassBody</a></emu-nt>.</ins></li><li><ins>If <var>staticBlocks</var> contains a single element, then</ins><ol><li><ins>Let <var>block</var> be the first element of <var>staticBlocks</var>.</ins></li><li><ins>Let <var>status</var> be the result of performing ClassStaticBlockEvaluation for <var>block</var> with argument <var>F</var>.</ins></li><li><ins>If <var>status</var> is an <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">abrupt completion</a></emu-xref>, then</ins><ol><li><ins>Set the <emu-xref href="#running-execution-context"><a href="https://tc39.es/ecma262/#running-execution-context">running execution context</a></emu-xref>'s LexicalEnvironment to <var>lex</var>.</ins></li><li><ins>Set the <emu-xref href="#running-execution-context"><a href="https://tc39.es/ecma262/#running-execution-context">running execution context</a></emu-xref>'s PrivateEnvironment to <var>outerPrivateEnvironment</var>.</ins></li><li><ins>Return <emu-xref aoid="Completion" id="_ref_15"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">Completion</a></emu-xref>(<var>status</var>).</ins></li></ol></li></ol></li><li><ins>Set the <emu-xref href="#running-execution-context"><a href="https://tc39.es/ecma262/#running-execution-context">running execution context</a></emu-xref>'s LexicalEnvironment to <var>lex</var>.</ins></li><li>Set the <emu-xref href="#running-execution-context"><a href="https://tc39.es/ecma262/#running-execution-context">running execution context</a></emu-xref>'s PrivateEnvironment to <var>outerPrivateEnvironment</var>.</li><li>Return <var>F</var>.</li></ol></emu-alg>
+            using the syntactic grammar with the <emu-xref href="#sec-context-free-grammars"><a href="https://tc39.es/ecma262/#sec-context-free-grammars">goal symbol</a></emu-xref> <emu-nt params="~Yield"><a href="https://tc39.es/ecma262/#prod-MethodDefinition">MethodDefinition</a><emu-mods><emu-params>[~Yield]</emu-params></emu-mods></emu-nt>.</li></ol></li></ol></li><li>Set the <emu-xref href="#running-execution-context"><a href="https://tc39.es/ecma262/#running-execution-context">running execution context</a></emu-xref>'s LexicalEnvironment to <var>classScope</var>.</li><li>Set the <emu-xref href="#running-execution-context"><a href="https://tc39.es/ecma262/#running-execution-context">running execution context</a></emu-xref>'s PrivateEnvironment to <var>classPrivateEnvironment</var>.</li><li>Let <var>constructorInfo</var> be the result of performing DefineMethod for <var>constructor</var> with arguments <var>proto</var> and <var>constructorParent</var> as the optional <var>functionPrototype</var> argument.</li><li><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: <var>constructorInfo</var> is not an <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">abrupt completion</a></emu-xref>.</li><li>Let <var>F</var> be <var>constructorInfo</var>.[[Closure]].</li><li>If <emu-nt optional=""><a href="https://tc39.es/ecma262/#prod-ClassHeritage">ClassHeritage</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt> is present and <var>protoParent</var> is not <emu-val>null</emu-val>, then set <var>F</var>.[[ConstructorKind]] to <code>"derived"</code>.</li><li>Perform <emu-xref aoid="MakeConstructor" id="_ref_10"><a href="https://tc39.es/ecma262/#sec-makeconstructor">MakeConstructor</a></emu-xref>(<var>F</var>, <emu-val>false</emu-val>, <var>proto</var>).</li><li>Perform <emu-xref aoid="MakeClassConstructor" id="_ref_11"><a href="https://tc39.es/ecma262/#sec-makeclassconstructor">MakeClassConstructor</a></emu-xref>(<var>F</var>).</li><li>Perform <emu-xref aoid="CreateMethodProperty" id="_ref_12"><a href="https://tc39.es/ecma262/#sec-createmethodproperty">CreateMethodProperty</a></emu-xref>(<var>proto</var>, <code>"constructor"</code>, <var>F</var>).</li><li>If <emu-nt optional="" id="_ref_57"><a href="#prod-ClassBody">ClassBody</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt> is not present, let <var>elements</var> be a new empty <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref>.</li><li>Else, let <var>elements</var> be NonConstructorMethodDefinitions of <emu-nt id="_ref_58"><a href="#prod-ClassBody">ClassBody</a></emu-nt>.</li><li>Let <var>instanceFields</var> be a new empty <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref>.</li><li>For each <emu-nt id="_ref_59"><a href="#prod-ClassElement">ClassElement</a></emu-nt> <var>e</var> in order from <var>elements</var><ol><li>If IsStatic of <var>e</var> is <emu-val>false</emu-val>, then<ol><li>Let <var>field</var> be the result of performing ClassElementEvaluation for <var>e</var> with arguments <var>proto</var> and <emu-val>false</emu-val>.</li></ol></li><li>Else,<ol><li>Let <var>field</var> be the result of performing ClassElementEvaluation for <var>e</var> with arguments <var>F</var> and <emu-val>false</emu-val>.</li></ol></li><li>If <var>field</var> is an <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">abrupt completion</a></emu-xref>, then<ol><li>Set the <emu-xref href="#running-execution-context"><a href="https://tc39.es/ecma262/#running-execution-context">running execution context</a></emu-xref>'s LexicalEnvironment to <var>lex</var>.</li><li>Set the <emu-xref href="#running-execution-context"><a href="https://tc39.es/ecma262/#running-execution-context">running execution context</a></emu-xref>'s PrivateEnvironment to <var>outerPrivateEnvironment</var>.</li><li>Return <emu-xref aoid="Completion" id="_ref_13"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">Completion</a></emu-xref>(<var>field</var>).</li></ol></li><li>If <var>field</var> is not <emu-const>empty</emu-const>, append <var>field</var> to <var>instanceFields</var>.</li></ol></li><li><del>Set the <emu-xref href="#running-execution-context"><a href="https://tc39.es/ecma262/#running-execution-context">running execution context</a></emu-xref>'s LexicalEnvironment to <var>lex</var>.</del></li><li>If <var>className</var> is not <emu-val>undefined</emu-val>, then<ol><li>Perform <var>classScopeEnvRec</var>.InitializeBinding(<var>className</var>, <var>F</var>).</li></ol></li><li>Set <var>F</var>.[[Fields]] to <var>instanceFields</var>.</li><li><ins>If <emu-nt optional="" id="_ref_60"><a href="#prod-ClassBody">ClassBody</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt> is not present, let <var>staticBlocks</var> be a new empty <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref>.</ins></li><li><ins>Else, let <var>staticBlocks</var> be <emu-xref aoid="ClassStaticBlockList" id="_ref_14"><a href="#sec-static-semantics-classstaticblocklist">ClassStaticBlockList</a></emu-xref> of <emu-nt id="_ref_61"><a href="#prod-ClassBody">ClassBody</a></emu-nt>.</ins></li><li><ins>If <var>staticBlocks</var> contains a single element, then</ins><ol><li><ins>Let <var>block</var> be the first element of <var>staticBlocks</var>.</ins></li><li><ins>Let <var>status</var> be the result of performing ClassStaticBlockEvaluation for <var>block</var> with argument <var>F</var>.</ins></li><li><ins>If <var>status</var> is an <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">abrupt completion</a></emu-xref>, then</ins><ol><li><ins>Set the <emu-xref href="#running-execution-context"><a href="https://tc39.es/ecma262/#running-execution-context">running execution context</a></emu-xref>'s LexicalEnvironment to <var>lex</var>.</ins></li><li><ins>Set the <emu-xref href="#running-execution-context"><a href="https://tc39.es/ecma262/#running-execution-context">running execution context</a></emu-xref>'s PrivateEnvironment to <var>outerPrivateEnvironment</var>.</ins></li><li><ins>Return <emu-xref aoid="Completion" id="_ref_15"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">Completion</a></emu-xref>(<var>status</var>).</ins></li></ol></li></ol></li><li><ins>Set the <emu-xref href="#running-execution-context"><a href="https://tc39.es/ecma262/#running-execution-context">running execution context</a></emu-xref>'s LexicalEnvironment to <var>lex</var>.</ins></li><li>Set the <emu-xref href="#running-execution-context"><a href="https://tc39.es/ecma262/#running-execution-context">running execution context</a></emu-xref>'s PrivateEnvironment to <var>outerPrivateEnvironment</var>.</li><li>Return <var>F</var>.</li></ol></emu-alg>
   </emu-clause>
 
   <emu-clause id="sec-runtime-semantics-classstaticblockevaluation">
-    <h1><span class="secnum">4.1.11</span> <ins>Runtime Semantics: ClassStaticBlockEvaluation</ins></h1>
+    <h1><span class="secnum">4.1.14</span> <ins>Runtime Semantics: ClassStaticBlockEvaluation</ins></h1>
     <p>With parameter <var>F</var>.</p>
     <emu-grammar collapsed=""><emu-production name="ClassElement" collapsed="">
-    <emu-nt><a href="#prod-ClassElement">ClassElement</a></emu-nt><emu-geq>:</emu-geq><emu-rhs a="d948be7f"><emu-nt id="_ref_76"><a href="#prod-ClassStaticBlock">ClassStaticBlock</a></emu-nt></emu-rhs>
+    <emu-nt><a href="#prod-ClassElement">ClassElement</a></emu-nt><emu-geq>:</emu-geq><emu-rhs a="d948be7f"><emu-nt id="_ref_62"><a href="#prod-ClassStaticBlock">ClassStaticBlock</a></emu-nt></emu-rhs>
 </emu-production></emu-grammar>
-    <emu-alg><ol><li>Perform ClassStaticBlockEvaluation of <emu-nt id="_ref_77"><a href="#prod-ClassStaticBlock">ClassStaticBlock</a></emu-nt> with parameter <var>F</var>.</li></ol></emu-alg>
+    <emu-alg><ol><li>Perform ClassStaticBlockEvaluation of <emu-nt id="_ref_63"><a href="#prod-ClassStaticBlock">ClassStaticBlock</a></emu-nt> with parameter <var>F</var>.</li></ol></emu-alg>
     <emu-grammar collapsed=""><emu-production name="ClassStaticBlock" collapsed="">
-    <emu-nt><a href="#prod-ClassStaticBlock">ClassStaticBlock</a></emu-nt><emu-geq>:</emu-geq><emu-rhs a="86fea1a2"><emu-t>static</emu-t><emu-t>{</emu-t><emu-nt id="_ref_78"><a href="#prod-ClassStaticBlockBody">ClassStaticBlockBody</a></emu-nt><emu-t>}</emu-t></emu-rhs>
+    <emu-nt><a href="#prod-ClassStaticBlock">ClassStaticBlock</a></emu-nt><emu-geq>:</emu-geq><emu-rhs a="86fea1a2"><emu-t>static</emu-t><emu-t>{</emu-t><emu-nt id="_ref_64"><a href="#prod-ClassStaticBlockBody">ClassStaticBlockBody</a></emu-nt><emu-t>}</emu-t></emu-rhs>
 </emu-production></emu-grammar>
-    <emu-alg><ol><li>Let <var>outerContext</var> be the <emu-xref href="#running-execution-context"><a href="https://tc39.es/ecma262/#running-execution-context">running execution context</a></emu-xref>.</li><li>Let <var>innerContext</var> be <emu-xref aoid="PrepareForClassStaticBlockEvaluation" id="_ref_16"><a href="#sec-prepareforclassstaticblockevaluation">PrepareForClassStaticBlockEvaluation</a></emu-xref>(<var>F</var>).</li><li><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: <var>innerContext</var> is now the <emu-xref href="#running-execution-context"><a href="https://tc39.es/ecma262/#running-execution-context">running execution context</a></emu-xref>.</li><li>Perform <emu-xref aoid="ClassStaticBlockBindThis" id="_ref_17"><a href="#sec-classstaticblockbindthis">ClassStaticBlockBindThis</a></emu-xref>(<var>F</var>, <var>innerContext</var>).</li><li>Let <var>result</var> be the result of performing <emu-xref aoid="ClassStaticBlockEvaluateBody" id="_ref_18"><a href="#sec-classstaticblockevaluatebody">ClassStaticBlockEvaluateBody</a></emu-xref> for <emu-nt id="_ref_79"><a href="#prod-ClassStaticBlockBody">ClassStaticBlockBody</a></emu-nt>.</li><li>Remove <var>innerContext</var> from the <emu-xref href="#execution-context-stack"><a href="https://tc39.es/ecma262/#execution-context-stack">execution context stack</a></emu-xref> and restore <var>outerContext</var> as the <emu-xref href="#running-execution-context"><a href="https://tc39.es/ecma262/#running-execution-context">running execution context</a></emu-xref>.</li><li><emu-xref aoid="ReturnIfAbrupt" id="_ref_19"><a href="https://tc39.es/ecma262/#sec-returnifabrupt">ReturnIfAbrupt</a></emu-xref>(<var>result</var>).</li><li>Return <emu-xref aoid="NormalCompletion" id="_ref_20"><a href="https://tc39.es/ecma262/#sec-normalcompletion">NormalCompletion</a></emu-xref>(<emu-val>undefined</emu-val>).</li></ol></emu-alg>
+    <emu-alg><ol><li>Let <var>outerContext</var> be the <emu-xref href="#running-execution-context"><a href="https://tc39.es/ecma262/#running-execution-context">running execution context</a></emu-xref>.</li><li>Let <var>innerContext</var> be <emu-xref aoid="PrepareForClassStaticBlockEvaluation" id="_ref_16"><a href="#sec-prepareforclassstaticblockevaluation">PrepareForClassStaticBlockEvaluation</a></emu-xref>(<var>F</var>).</li><li><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: <var>innerContext</var> is now the <emu-xref href="#running-execution-context"><a href="https://tc39.es/ecma262/#running-execution-context">running execution context</a></emu-xref>.</li><li>Perform <emu-xref aoid="ClassStaticBlockBindThis" id="_ref_17"><a href="#sec-classstaticblockbindthis">ClassStaticBlockBindThis</a></emu-xref>(<var>F</var>, <var>innerContext</var>).</li><li>Let <var>result</var> be the result of performing <emu-xref aoid="ClassStaticBlockEvaluateBody" id="_ref_18"><a href="#sec-classstaticblockevaluatebody">ClassStaticBlockEvaluateBody</a></emu-xref> for <emu-nt id="_ref_65"><a href="#prod-ClassStaticBlockBody">ClassStaticBlockBody</a></emu-nt>.</li><li>Remove <var>innerContext</var> from the <emu-xref href="#execution-context-stack"><a href="https://tc39.es/ecma262/#execution-context-stack">execution context stack</a></emu-xref> and restore <var>outerContext</var> as the <emu-xref href="#running-execution-context"><a href="https://tc39.es/ecma262/#running-execution-context">running execution context</a></emu-xref>.</li><li><emu-xref aoid="ReturnIfAbrupt" id="_ref_19"><a href="https://tc39.es/ecma262/#sec-returnifabrupt">ReturnIfAbrupt</a></emu-xref>(<var>result</var>).</li><li>Return <emu-xref aoid="NormalCompletion" id="_ref_20"><a href="https://tc39.es/ecma262/#sec-normalcompletion">NormalCompletion</a></emu-xref>(<emu-val>undefined</emu-val>).</li></ol></emu-alg>
 
     <emu-clause id="sec-prepareforclassstaticblockevaluation" aoid="PrepareForClassStaticBlockEvaluation">
-      <h1><span class="secnum">4.1.11.1</span> <ins>PrepareForClassStaticBlockEvaluation ( <var>F</var> )</ins></h1>
+      <h1><span class="secnum">4.1.14.1</span> <ins>PrepareForClassStaticBlockEvaluation ( <var>F</var> )</ins></h1>
       <p>When the abstract operation PrepareForClassStaticBlockEvaluation is called with <emu-xref href="#function-object"><a href="https://tc39.es/ecma262/#function-object">function object</a></emu-xref> <var>F</var>, the following steps are taken:</p>
       <emu-alg><ol><li>Let <var>outerContext</var> be the <emu-xref href="#running-execution-context"><a href="https://tc39.es/ecma262/#running-execution-context">running execution context</a></emu-xref>.</li><li>Let <var>privateNameEnv</var> be the PrivateEnvironment of <var>outerContext</var>.</li><li>Let <var>innerContext</var> be a new ECMAScript code <emu-xref href="#sec-execution-contexts"><a href="https://tc39.es/ecma262/#sec-execution-contexts">execution context</a></emu-xref>.</li><li>Set the Function of <var>innerContext</var> to <emu-val>null</emu-val>.</li><li>Set the PrivateEnvironment of <var>innerContext</var> to <var>privateNameEnv</var>.</li><li>Let <var>innerRealm</var> be <var>F</var>.[[Realm]].</li><li>Set the <emu-xref href="#realm"><a href="https://tc39.es/ecma262/#realm">Realm</a></emu-xref> of <var>innerContext</var> to <var>innerRealm</var>.</li><li>Set the ScriptOrModule of <var>innerContext</var> to <var>F</var>.[[ScriptOrModule]].</li><li>Let <var>localEnv</var> be <emu-xref aoid="NewClassStaticBlockEnvironment" id="_ref_21"><a href="#sec-newclassstaticblockenvironment">NewClassStaticBlockEnvironment</a></emu-xref>(<var>F</var>).</li><li>Set the LexicalEnvironment of <var>innerContext</var> to <var>localEnv</var>.</li><li>Set the VariableEnvironment of <var>innerContext</var> to <var>localEnv</var>.</li><li>If <var>outerContext</var> is not already suspended, suspend <var>outerContext</var>.</li><li>Push <var>innerContext</var> onto the <emu-xref href="#execution-context-stack"><a href="https://tc39.es/ecma262/#execution-context-stack">execution context stack</a></emu-xref>; <var>innerContext</var> is now the <emu-xref href="#running-execution-context"><a href="https://tc39.es/ecma262/#running-execution-context">running execution context</a></emu-xref>.</li><li>NOTE: Any exception objects produced after this point are associated with <var>innerRealm</var>.</li><li>Return <var>innerContext</var>.</li></ol></emu-alg>
     </emu-clause>
 
     <emu-clause id="sec-classstaticblockbindthis" aoid="ClassStaticBlockBindThis">
-      <h1><span class="secnum">4.1.11.2</span> <ins>ClassStaticBlockBindThis ( <var>F</var>, <var>innerContext</var> )</ins></h1>
+      <h1><span class="secnum">4.1.14.2</span> <ins>ClassStaticBlockBindThis ( <var>F</var>, <var>innerContext</var> )</ins></h1>
       <p>When the abstract operation ClassStaticBlockBindThis is called with <emu-xref href="#function-object"><a href="https://tc39.es/ecma262/#function-object">function object</a></emu-xref> <var>F</var> and <emu-xref href="#sec-execution-contexts"><a href="https://tc39.es/ecma262/#sec-execution-contexts">execution context</a></emu-xref> <var>innerContext</var>, the following steps are taken:</p>
       <emu-alg><ol><li>Let <var>innerRealm</var> be <var>F</var>.[[Realm]].</li><li>Let <var>localEnv</var> be the LexicalEnvironment of <var>innerContext</var>.</li><li>Let <var>envRec</var> be <var>localEnv</var>'s <emu-xref href="#sec-lexical-environments"><a href="https://tc39.es/ecma262/#sec-lexical-environments">EnvironmentRecord</a></emu-xref>.</li><li><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: <var>envRec</var> is a <emu-xref href="#sec-class-static-block-environment-records" id="_ref_22"><a href="#sec-class-static-block-environment-records">class static block Environment Record</a></emu-xref>.</li><li><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: The next step never returns an <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">abrupt completion</a></emu-xref> because <var>envRec</var>.[[ThisBindingStatus]] is not <emu-const>initialized</emu-const>.</li><li>Perform <var>envRec</var>.BindThisValue(<var>F</var>).</li></ol></emu-alg>
     </emu-clause>
 
     <emu-clause id="sec-classstaticblockevaluatebody" aoid="ClassStaticBlockEvaluateBody">
-      <h1><span class="secnum">4.1.11.3</span> <ins>ClassStaticBlockEvaluateBody ( <var>block</var> )</ins></h1>
+      <h1><span class="secnum">4.1.14.3</span> <ins>ClassStaticBlockEvaluateBody ( <var>block</var> )</ins></h1>
       <emu-alg><ol><li>Perform ?&nbsp;<emu-xref aoid="ClassStaticBlockDeclarationInstantiation" id="_ref_23"><a href="#classstaticblockdeclarationinstantiation">ClassStaticBlockDeclarationInstantiation</a></emu-xref>(<var>block</var>).</li><li>Return the result of evaluating <var>block</var>.</li></ol></emu-alg>
     </emu-clause>
 
     <emu-clause id="classstaticblockdeclarationinstantiation" aoid="ClassStaticBlockDeclarationInstantiation">
-      <h1><span class="secnum">4.1.11.4</span> <ins>ClassStaticBlockDeclarationInstantiation ( <var>block</var> )</ins></h1>
-      <emu-alg><ol><li>NOTE: Only a single <emu-xref href="#sec-environment-records"><a href="https://tc39.es/ecma262/#sec-environment-records">Environment Record</a></emu-xref> is needed for top-level vars and lexical declarations.</li><li>Let <var>env</var> be the LexicalEnvironment of the <emu-xref href="#running-execution-context"><a href="https://tc39.es/ecma262/#running-execution-context">running execution context</a></emu-xref>.</li><li>Let <var>envRec</var> be <var>env</var>'s <emu-xref href="#sec-lexical-environments"><a href="https://tc39.es/ecma262/#sec-lexical-environments">EnvironmentRecord</a></emu-xref>.</li><li>Let <var>varNames</var> be the VarDeclaredNames of <var>block</var>.</li><li>Let <var>varDeclarations</var> be the VarScopedDeclarations of <var>block</var>.</li><li>Let <var>functionsToInitialize</var> be a new empty <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref>.</li><li>Let <var>declaredFunctionNames</var> be a new empty <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref>.</li><li>For each <var>d</var> in <var>varDeclarations</var>, in reverse list order, do<ol><li>If <var>d</var> is neither a <emu-nt><a href="https://tc39.es/ecma262/#prod-grammar-notation-VariableDeclaration">VariableDeclaration</a></emu-nt> nor a <emu-nt><a href="https://tc39.es/ecma262/#prod-ForBinding">ForBinding</a></emu-nt> nor a <emu-nt id="_ref_80"><a href="#prod-BindingIdentifier">BindingIdentifier</a></emu-nt>, then<ol><li><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: <var>d</var> is either a <emu-nt><a href="https://tc39.es/ecma262/#prod-FunctionDeclaration">FunctionDeclaration</a></emu-nt>, a <emu-nt><a href="https://tc39.es/ecma262/#prod-GeneratorDeclaration">GeneratorDeclaration</a></emu-nt>, an <emu-nt><a href="https://tc39.es/ecma262/#prod-AsyncFunctionDeclaration">AsyncFunctionDeclaration</a></emu-nt>, or an <emu-nt><a href="https://tc39.es/ecma262/#prod-AsyncGeneratorDeclaration">AsyncGeneratorDeclaration</a></emu-nt>.</li><li>Let <var>fn</var> be the sole element of the BoundNames of <var>d</var>.</li><li>If <var>fn</var> is not an element of <var>declaredFunctionNames</var>, then<ol><li>Insert <var>fn</var> as the first element of <var>declaredFunctionNames</var>.</li><li>NOTE: If there are multiple function declarations for the same name, the last declaration is used.</li><li>Insert <var>d</var> as the first element of <var>functionsToInitialize</var>.</li></ol></li></ol></li></ol></li><li>For each <var>n</var> in <var>varNames</var>, do<ol><li>Perform ! <var>envRec</var>.CreateMutableBinding(<var>n</var>, <emu-val>false</emu-val>).</li><li>Call <var>envRec</var>.InitializeBinding(<var>n</var>, <emu-val>undefined</emu-val>).</li></ol></li><li>Let <var>lexDeclarations</var> be the LexicallyScopedDeclarations of <var>block</var>.</li><li>For each element <var>d</var> in <var>lexDeclarations</var>, do<ol><li>NOTE: A lexically declared name cannot be the same as a function/generator declaration, formal parameter, or a var name. Lexically declared names are only instantiated here but not initialized.</li><li>For each element <var>dn</var> of the BoundNames of <var>d</var>, do<ol><li>If IsConstantDeclaration of <var>d</var> is <emu-val>true</emu-val>, then<ol><li>Perform ! <var>envRec</var>.CreateImmutableBinding(<var>dn</var>, <emu-val>true</emu-val>).</li></ol></li><li>Else,<ol><li>Perform ! <var>envRec</var>.CreateMutableBinding(<var>dn</var>, <emu-val>false</emu-val>).</li></ol></li></ol></li></ol></li><li>For each <emu-xref href="#sec-syntactic-grammar"><a href="https://tc39.es/ecma262/#sec-syntactic-grammar">Parse Node</a></emu-xref> <var>f</var> in <var>functionsToInitialize</var>, do<ol><li>Let <var>fn</var> be the sole element of the BoundNames of <var>f</var>.</li><li>Let <var>fo</var> be the result of performing InstantiateFunctionObject for <var>f</var> with argument <var>env</var>.</li><li>Perform ! <var>varEnvRec</var>.SetMutableBinding(<var>fn</var>, <var>fo</var>, <emu-val>false</emu-val>).</li></ol></li><li>Return <emu-xref aoid="NormalCompletion" id="_ref_24"><a href="https://tc39.es/ecma262/#sec-normalcompletion">NormalCompletion</a></emu-xref>(<emu-const>empty</emu-const>).</li></ol></emu-alg>
+      <h1><span class="secnum">4.1.14.4</span> <ins>ClassStaticBlockDeclarationInstantiation ( <var>block</var> )</ins></h1>
+      <emu-alg><ol><li>NOTE: Only a single <emu-xref href="#sec-environment-records"><a href="https://tc39.es/ecma262/#sec-environment-records">Environment Record</a></emu-xref> is needed for top-level vars and lexical declarations.</li><li>Let <var>env</var> be the LexicalEnvironment of the <emu-xref href="#running-execution-context"><a href="https://tc39.es/ecma262/#running-execution-context">running execution context</a></emu-xref>.</li><li>Let <var>envRec</var> be <var>env</var>'s <emu-xref href="#sec-lexical-environments"><a href="https://tc39.es/ecma262/#sec-lexical-environments">EnvironmentRecord</a></emu-xref>.</li><li>Let <var>varNames</var> be the VarDeclaredNames of <var>block</var>.</li><li>Let <var>varDeclarations</var> be the VarScopedDeclarations of <var>block</var>.</li><li>Let <var>functionsToInitialize</var> be a new empty <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref>.</li><li>Let <var>declaredFunctionNames</var> be a new empty <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref>.</li><li>For each <var>d</var> in <var>varDeclarations</var>, in reverse list order, do<ol><li>If <var>d</var> is neither a <emu-nt><a href="https://tc39.es/ecma262/#prod-grammar-notation-VariableDeclaration">VariableDeclaration</a></emu-nt> nor a <emu-nt><a href="https://tc39.es/ecma262/#prod-ForBinding">ForBinding</a></emu-nt> nor a <emu-nt id="_ref_66"><a href="#prod-BindingIdentifier">BindingIdentifier</a></emu-nt>, then<ol><li><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: <var>d</var> is either a <emu-nt><a href="https://tc39.es/ecma262/#prod-FunctionDeclaration">FunctionDeclaration</a></emu-nt>, a <emu-nt><a href="https://tc39.es/ecma262/#prod-GeneratorDeclaration">GeneratorDeclaration</a></emu-nt>, an <emu-nt><a href="https://tc39.es/ecma262/#prod-AsyncFunctionDeclaration">AsyncFunctionDeclaration</a></emu-nt>, or an <emu-nt><a href="https://tc39.es/ecma262/#prod-AsyncGeneratorDeclaration">AsyncGeneratorDeclaration</a></emu-nt>.</li><li>Let <var>fn</var> be the sole element of the BoundNames of <var>d</var>.</li><li>If <var>fn</var> is not an element of <var>declaredFunctionNames</var>, then<ol><li>Insert <var>fn</var> as the first element of <var>declaredFunctionNames</var>.</li><li>NOTE: If there are multiple function declarations for the same name, the last declaration is used.</li><li>Insert <var>d</var> as the first element of <var>functionsToInitialize</var>.</li></ol></li></ol></li></ol></li><li>For each <var>n</var> in <var>varNames</var>, do<ol><li>Perform ! <var>envRec</var>.CreateMutableBinding(<var>n</var>, <emu-val>false</emu-val>).</li><li>Call <var>envRec</var>.InitializeBinding(<var>n</var>, <emu-val>undefined</emu-val>).</li></ol></li><li>Let <var>lexDeclarations</var> be the LexicallyScopedDeclarations of <var>block</var>.</li><li>For each element <var>d</var> in <var>lexDeclarations</var>, do<ol><li>NOTE: A lexically declared name cannot be the same as a function/generator declaration, formal parameter, or a var name. Lexically declared names are only instantiated here but not initialized.</li><li>For each element <var>dn</var> of the BoundNames of <var>d</var>, do<ol><li>If IsConstantDeclaration of <var>d</var> is <emu-val>true</emu-val>, then<ol><li>Perform ! <var>envRec</var>.CreateImmutableBinding(<var>dn</var>, <emu-val>true</emu-val>).</li></ol></li><li>Else,<ol><li>Perform ! <var>envRec</var>.CreateMutableBinding(<var>dn</var>, <emu-val>false</emu-val>).</li></ol></li></ol></li></ol></li><li>For each <emu-xref href="#sec-syntactic-grammar"><a href="https://tc39.es/ecma262/#sec-syntactic-grammar">Parse Node</a></emu-xref> <var>f</var> in <var>functionsToInitialize</var>, do<ol><li>Let <var>fn</var> be the sole element of the BoundNames of <var>f</var>.</li><li>Let <var>fo</var> be the result of performing InstantiateFunctionObject for <var>f</var> with argument <var>env</var>.</li><li>Perform ! <var>varEnvRec</var>.SetMutableBinding(<var>fn</var>, <var>fo</var>, <emu-val>false</emu-val>).</li></ol></li><li>Return <emu-xref aoid="NormalCompletion" id="_ref_24"><a href="https://tc39.es/ecma262/#sec-normalcompletion">NormalCompletion</a></emu-xref>(<emu-const>empty</emu-const>).</li></ol></emu-alg>
     </emu-clause>
   </emu-clause>
 </emu-clause></emu-import>
diff --git a/spec/sec-class-definitions-patch.html b/spec/sec-class-definitions-patch.html
index 95b2ba8..78e3339 100644
--- a/spec/sec-class-definitions-patch.html
+++ b/spec/sec-class-definitions-patch.html
@@ -34,6 +34,32 @@ <h1>Static Semantics: Early Errors</h1>
         <p><ins>It is a Syntax Error if HasDirectSuper of |ClassStaticBlock| is *true*.</ins></p>
       </li>
     </ul>
+    <emu-grammar collapsed><ins>ClassStaticBlockBody: ClassStaticBlockStatementList</ins></emu-grammar>
+    <ul>
+      <li>
+        <p><ins>It is a Syntax Error if the LexicallyDeclaredNames of ClassStaticBlockStatementList contains any duplicate entries.</ins></p>
+      </li>
+      <li>
+        <p><ins>It is a Syntax Error if any element of the LexicallyDeclaredNames of ClassStaticBlockStatementList also occurs in the VarDeclaredNames of ClassStaticBlockStatementList.</ins></p>
+      </li>
+      <li>
+        <p><ins>It is a Syntax Error ContainsDuplicateLabels of ClassStaticBlockStatementList with argument &laquo; &raquo; is *true*.</ins></p>
+      </li>
+      <li>
+        <p><ins>It is a Syntax Error ContainsUndefinedBreakTarget of ClassStaticBlockStatementList with argument &laquo; &raquo; is *true*.</ins></p>
+      </li>
+      <li>
+        <p><ins>It is a Syntax Error ContainsUndefinedContinueTarget of ClassStaticBlockStatementList with arguments &laquo; &raquo; and &laquo; &raquo; is *true*.</ins></p>
+      </li>
+    </ul>
+  </emu-clause>
+
+  <emu-clause id="sec-static-semantics-classelementkind">
+    <h1>Static Semantics: ClassElementKind</h1>
+    <emu-grammar><ins>ClassElement : ClassStaticBlock</ins></emu-grammar>
+    <emu-alg>
+      1. Return ~ClassStaticBlock~.
+    </emu-alg>
   </emu-clause>
 
   <emu-clause id="sec-class-definitions-static-semantics-contains">
@@ -49,29 +75,38 @@ <h1>Static Semantics: Contains</h1>
     </emu-note>
   </emu-clause>
 
-  <emu-clause id="sec-class-definitions-static-semantics-hasdirectsuper">
-    <h1><ins>Static Semantics: HasDirectSuper</ins></h1>
-    <emu-grammar collapsed><ins>ClassStaticBlock: `static` `{` ClassStaticBlockBody `}`</ins></emu-grammar>
+  <emu-clause id="sec-class-definitions-static-semantics-containsduplicatelabels">
+    <h1><ins>Static Semantics: ContainsDuplicateLabels</ins></h1>
+    <p>With parameter _labelSet_.</p>
+    <emu-grammar collapsed><ins>ClassStaticBlockStatementList: [emmpty]</ins></emu-grammar>
     <emu-alg>
-      1. <ins>Return |ClassStaticBlockBody| Contains |SuperCall|.</ins>
+      1. <ins>Return *false*.</ins>
     </emu-alg>
   </emu-clause>
 
-  <emu-clause id="sec-static-semantics-nonconstructormethoddefinitions">
-    <h1>Static Semantics: NonConstructorMethodDefinitions</h1>
-    <emu-grammar collapsed>ClassElementList: ClassElement</emu-grammar>
+  <emu-clause id="sec-class-definitions-static-semantics-containsundefinedbreaktarget">
+    <h1><ins>Static Semantics: ContainsUndefinedBreakTarget</ins></h1>
+    <p>With parameter _labelSet_.</p>
+    <emu-grammar collapsed><ins>ClassStaticBlockStatementList: [emmpty]</ins></emu-grammar>
     <emu-alg>
-      1. If |ClassElement| is <emu-grammar collapsed>ClassElement : `;`</emu-grammar> <ins>or <emu-grammar>ClassElement : ClassStaticBlock</emu-grammar></ins>, return a new empty List.
-      1. If IsStatic of |ClassElement| is *false* and PropName of |ClassElement| is `"constructor"`, return a new empty List.
-      1. Return a List containing |ClassElement|.
+      1. <ins>Return *false*.</ins>
     </emu-alg>
-    <emu-grammar collapsed>ClassElementList: ClassElementList ClassElement</emu-grammar>
+  </emu-clause>
+
+  <emu-clause id="sec-class-definitions-static-semantics-containsundefinedcontinuetarget">
+    <h1><ins>Static Semantics: ContainsUndefinedContinueTarget</ins></h1>
+    <p>With parameters _iterationSet_ and _labelSet_.</p>
+    <emu-grammar collapsed><ins>ClassStaticBlockStatementList: [emmpty]</ins></emu-grammar>
     <emu-alg>
-      1. Let _list_ be NonConstructorMethodDefinitions of |ClassElementList|.
-      1. If |ClassElement| is <emu-grammar collapsed>ClassElement : `;`</emu-grammar> <ins>or <emu-grammar>ClassElement : ClassStaticBlock</emu-grammar></ins>, return _list_.
-      1. If IsStatic of |ClassElement| is *false* and PropName of |ClassElement| is `"constructor"`, return _list_.
-      1. Append |ClassElement| to the end of _list_.
-      1. Return _list_.
+      1. <ins>Return *false*.</ins>
+    </emu-alg>
+  </emu-clause>
+
+  <emu-clause id="sec-class-definitions-static-semantics-hasdirectsuper">
+    <h1><ins>Static Semantics: HasDirectSuper</ins></h1>
+    <emu-grammar collapsed><ins>ClassStaticBlock: `static` `{` ClassStaticBlockBody `}`</ins></emu-grammar>
+    <emu-alg>
+      1. <ins>Return |ClassStaticBlockBody| Contains |SuperCall|.</ins>
     </emu-alg>
   </emu-clause>
 
@@ -79,14 +114,15 @@ <h1>Static Semantics: NonConstructorMethodDefinitions</h1>
     <h1><ins>Static Semantics: ClassStaticBlockList</ins></h1>
     <emu-grammar collapsed>ClassElementList: ClassElement</emu-grammar>
     <emu-alg>
-      1. If |ClassElement| is not <emu-grammar>ClassElement : ClassStaticBlock</emu-grammar>, return a new empty List.
-      1. Return a List containing |ClassElement|.
+      1. If ClassElementKind of |ClassElement| is ~ClassStaticBlock~, then
+        1. Return a List whose sole element is |ClassElement|.
+      1. Return a new empty List.
     </emu-alg>
     <emu-grammar collapsed>ClassElementList: ClassElementList ClassElement</emu-grammar>
     <emu-alg>
       1. Let _list_ be ClassStaticBlockList of |ClassElementList|.
-      1. If |ClassElement| is not <emu-grammar>ClassElement : ClassStaticBlock</emu-grammar>, return _list_.
-      1. Append |ClassElement| to the end of _list_.
+      1. If ClassElementKind of |ClassElement| is ~ClassStaticBlock~, then
+        1. Append |ClassElement| to the end of _list_.
       1. Return _list_.
     </emu-alg>
   </emu-clause>
diff --git a/spec/sec-identifiers-static-semantics-early-errors-patch.html b/spec/sec-identifiers-static-semantics-early-errors-patch.html
index c23e346..6cfff69 100644
--- a/spec/sec-identifiers-static-semantics-early-errors-patch.html
+++ b/spec/sec-identifiers-static-semantics-early-errors-patch.html
@@ -6,19 +6,19 @@ <h1>Static Semantics: Early Errors</h1>
       It is a Syntax Error if the code matched by this production is contained in strict mode code and the StringValue of |Identifier| is *"arguments"* or *"eval"*.
     </li>
     <li>
-      <ins>It is a Syntax Error if the code matched by this production is nested, directly or indirectly (but not crossing function or `static` initialization block boundaries, excluding arrow function boundaries), within a |ClassStaticBlock| and the StringValue of |Identifier| is *"await"*.</ins>
+      <ins>It is a Syntax Error if the code matched by this production is nested, directly or indirectly (but not crossing function or `static` initialization block boundaries), within a |ClassStaticBlock| and the StringValue of |Identifier| is *"await"*.</ins>
     </li>
   </ul>
   <emu-grammar><ins>LabelIdentifier : Identifier</ins></emu-grammar>
   <ul>
     <li>
-      <ins>It is a Syntax Error if the code matched by this production is nested, directly or indirectly (but not crossing function or `static` initialization block boundaries, excluding arrow function boundaries), within a |ClassStaticBlock| and the StringValue of |Identifier| is *"await"*.</ins>
+      <ins>It is a Syntax Error if the code matched by this production is nested, directly or indirectly (but not crossing function or `static` initialization block boundaries), within a |ClassStaticBlock| and the StringValue of |Identifier| is *"await"*.</ins>
     </li>
   </ul>
   <emu-grammar><ins>IdentifierReference : Identifier</ins></emu-grammar>
   <ul>
     <li>
-      <ins>It is a Syntax Error if the code matched by this production is nested, directly or indirectly (but not crossing function or `static` initialization block boundaries, excluding arrow function boundaries), within a |ClassStaticBlock| and the StringValue of |Identifier| is *"arguments"* or *"await"*.</ins>
+      <ins>It is a Syntax Error if the code matched by this production is nested, directly or indirectly (but not crossing function or `static` initialization block boundaries), within a |ClassStaticBlock| and the StringValue of |Identifier| is *"arguments"* or *"await"*.</ins>
     </li>
   </ul>
 </emu-clause>
\ No newline at end of file
