diff --git a/index.html b/index.html
index a6b89f2..39c0299 100644
--- a/index.html
+++ b/index.html
@@ -41,7 +41,7 @@
 </ul></div><div id="menu-toggle"><svg xmlns="http://www.w3.org/2000/svg" style="width:100%; height:100%; stroke:currentColor" viewBox="0 0 120 120" width="54" height="54">
       <title>Menu</title>
       <path stroke-width="10" stroke-linecap="round" d="M30,60 h60  M30,30 m0,5 h60  M30,90 m0,-5 h60"></path>
-    </svg></div><div id="menu-spacer" class="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<button class="unpin-all">clear</button></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="#intro" title="Structs, Shared Structs, Unsafe Blocks, and Synchronization Primitives">Structs, Shared Structs, Unsafe Blocks, and Synchronization Primitives</a></li><li><span class="item-toggle">+</span><a href="#sec-structs" title="Structs"><span class="secnum">1</span> Structs</a><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-structs-syntax-and-eval" title="Syntax"><span class="secnum">1.1</span> Syntax</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-struct-definitions-static-semantics-early-errors" title="Static Semantics: Early Errors"><span class="secnum">1.1.1</span> SS: Early Errors</a></li><li><span class="item-toggle-none"></span><a href="#sec-definestructfield" title="DefineStructField ( receiver, fieldRecord )"><span class="secnum">1.1.2</span> DefineStructField ( <var>receiver</var>, <var>fieldRecord</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-initializestructinstancefieldsandbrands" title="InitializeStructInstanceFieldsAndBrand ( receiver, constructor )"><span class="secnum">1.1.3</span> InitializeStructInstanceFieldsAndBrand ( <var>receiver</var>, <var>constructor</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-runfieldinitializer" title="RunFieldInitializer ( receiver, fieldRecord )"><span class="secnum">1.1.4</span> RunFieldInitializer ( <var>receiver</var>, <var>fieldRecord</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-runstructinstancefieldinitializers" title="RunStructInstanceFieldInitializers ( receiver, constructor )"><span class="secnum">1.1.5</span> RunStructInstanceFieldInitializers ( <var>receiver</var>, <var>constructor</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-runtime-semantics-structdefinitionevaluation" title="Runtime Semantics: StructDefinitionEvaluation"><span class="secnum">1.1.6</span> RS: StructDefinitionEvaluation</a></li><li><span class="item-toggle-none"></span><a href="#sec-runtime-semantics-bindingstructdeclarationevaluation" title="Runtime Semantics: BindingStructDeclarationEvaluation"><span class="secnum">1.1.7</span> RS: BindingStructDeclarationEvaluation</a></li><li><span class="item-toggle-none"></span><a href="#sec-struct-definitions-runtime-semantics-evaluation" title="Runtime Semantics: Evaluation"><span class="secnum">1.1.8</span> RS: Evaluation</a></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-struct-method-exotic-objects" title="Struct Method Exotic Objects"><span class="secnum">1.2</span> Struct Method Exotic Objects</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-struct-method-exotic-objects-call-thisargument-argumentslist" title="[[Call]] ( thisArgument, argumentsList )"><span class="secnum">1.2.1</span> <var class="field">[[Call]]</var> ( <var>thisArgument</var>, <var>argumentsList</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-structmethodcreate" title="StructMethodCreate ( targetMethod )"><span class="secnum">1.2.2</span> StructMethodCreate ( <var>targetMethod</var> )</a></li></ol></li><li><span class="item-toggle">+</span><a href="#changes-to-language-expressions" title="Changes to ECMAScript Language: Expressions"><span class="secnum">1.3</span> Changes to ECMAScript Language: Expressions</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-super-keyword-runtime-semantics-evaluation" title="Runtime Semantics: Evaluation"><span class="secnum">1.3.1</span> RS: Evaluation</a></li></ol></li><li><span class="item-toggle">+</span><a href="#changes-to-language-functions-and-classes" title="Changes to ECMAScript Language: Functions and Classes"><span class="secnum">1.4</span> Changes to ECMAScript Language: Functions and Classes</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-runtime-semantics-definemethod" title="Runtime Semantics: DefineMethod"><span class="secnum">1.4.1</span> RS: DefineMethod</a></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-changes-to-modules" title="Changes to Modules"><span class="secnum">1.5</span> Changes to Modules</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-exports-runtime-semantics-evaluation" title="Runtime Semantics: Evaluation"><span class="secnum">1.5.1</span> RS: Evaluation</a></li></ol></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-shared-structs" title="Shared Structs"><span class="secnum">2</span> Shared Structs</a><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-shared-struct-exotic-objects" title="Shared Struct Exotic Objects"><span class="secnum">2.1</span> Shared Struct Exotic Objects</a><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-fictional-criticalsection" title="Critical Section for Shared Struct Creation"><span class="secnum">2.1.1</span> Critical Section for Shared Struct Creation</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-entersharedstructcreationcriticalsection" title="EnterSharedStructCreationCriticalSection ( )"><span class="secnum">2.1.1.1</span> EnterSharedStructCreationCriticalSection ( )</a></li><li><span class="item-toggle-none"></span><a href="#sec-leavesharedstructcreationcriticalsection" title="LeaveSharedStructCreationCriticalSection ( )"><span class="secnum">2.1.1.2</span> LeaveSharedStructCreationCriticalSection ( )</a></li></ol></li><li><span class="item-toggle-none"></span><a href="#sec-sharedstructcreate" title="SharedStructCreate ( initializer [ , internalSlotsList ] )"><span class="secnum">2.1.2</span> SharedStructCreate ( <var>initializer</var> [ , <var>internalSlotsList</var> ] )</a></li><li><span class="item-toggle-none"></span><a href="#sec-readsharedstructfield" title="ReadSharedStructField ( struct, field, order )"><span class="secnum">2.1.3</span> ReadSharedStructField ( <var>struct</var>, <var>field</var>, <var>order</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-writesharedstructfield" title="WriteSharedStructField ( struct, field, value, order )"><span class="secnum">2.1.4</span> WriteSharedStructField ( <var>struct</var>, <var>field</var>, <var>value</var>, <var>order</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-shared-struct-getownproperty" title="[[GetOwnProperty]] ( P )"><span class="secnum">2.1.5</span> <var class="field">[[GetOwnProperty]]</var> ( <var>P</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-shared-struct-defineownproperty" title="[[DefineOwnProperty]] ( P, Desc )"><span class="secnum">2.1.6</span> <var class="field">[[DefineOwnProperty]]</var> ( <var>P</var>, <var>Desc</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-shared-struct-hasproperty" title="[[HasProperty]] ( P )"><span class="secnum">2.1.7</span> <var class="field">[[HasProperty]]</var> ( <var>P</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-shared-struct-get" title="[[Get]] ( P, Receiver, unsafe )"><span class="secnum">2.1.8</span> <var class="field">[[Get]]</var> ( <var>P</var>, <var>Receiver</var>, <var>unsafe</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-shared-struct-set" title="[[Set]] ( P, V, Receiver, unsafe )"><span class="secnum">2.1.9</span> <var class="field">[[Set]]</var> ( <var>P</var>, <var>V</var>, <var>Receiver</var>, <var>unsafe</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-shared-struct-delete" title="[[Delete]] ( P )"><span class="secnum">2.1.10</span> <var class="field">[[Delete]]</var> ( <var>P</var> )</a></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-shared-structs-syntax-and-eval" title="Syntax"><span class="secnum">2.2</span> Syntax</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-struct-definitions-static-semantics-containsinstanceprivateidentifier" title="Static Semantics: ContainsInstancePrivateIdentifier"><span class="secnum">2.2.1</span> SS: ContainsInstancePrivateIdentifier</a></li><li><span class="item-toggle-none"></span><a href="#sec-struct-definitions-static-semantics-containsinstancemethod" title="Static Semantics: ContainsInstanceMethod"><span class="secnum">2.2.2</span> SS: ContainsInstanceMethod</a></li><li><span class="item-toggle-none"></span><a href="#sec-shared-struct-definitions-static-semantics-early-errors" title="Static Semantics: Early Errors"><span class="secnum">2.2.3</span> SS: Early Errors</a></li><li><span class="item-toggle-none"></span><a href="#sec-canbesharedacrossagents" title="CanBeSharedAcrossAgents ( val )"><span class="secnum">2.2.4</span> CanBeSharedAcrossAgents ( <var>val</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-definesharedstructfield" title="DefineSharedStructField ( receiver, fieldRecord )"><span class="secnum">2.2.5</span> DefineSharedStructField ( <var>receiver</var>, <var>fieldRecord</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-runtime-semantics-sharedstructdefinitionevaluation" title="Runtime Semantics: SharedStructDefinitionEvaluation"><span class="secnum">2.2.6</span> RS: SharedStructDefinitionEvaluation</a></li><li><span class="item-toggle-none"></span><a href="#sec-runtime-semantics-bindingsharedstructdeclarationevaluation" title="Runtime Semantics: BindingStructDeclarationEvaluation"><span class="secnum">2.2.7</span> RS: BindingStructDeclarationEvaluation</a></li><li><span class="item-toggle-none"></span><a href="#sec-shared-struct-definitions-runtime-semantics-evaluation" title="Runtime Semantics: Evaluation"><span class="secnum">2.2.8</span> RS: Evaluation</a></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-changes-to-atomics-object" title="Changes to the Atomics Object"><span class="secnum">2.3</span> Changes to the Atomics Object</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-atomiccompareexchangeinsharedstruct" title="AtomicCompareExchangeInSharedStruct ( struct, field, expectedValue, replacementValue )"><span class="secnum">2.3.1</span> AtomicCompareExchangeInSharedStruct ( <var>struct</var>, <var>field</var>, <var>expectedValue</var>, <var>replacementValue</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-atomicreadmodifywriteinsharedstruct" title="AtomicReadModifyWriteInSharedStruct ( struct, field, value, op )"><span class="secnum">2.3.2</span> AtomicReadModifyWriteInSharedStruct ( <var>struct</var>, <var>field</var>, <var>value</var>, <var>op</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-atomics.compareexchange-struct" title="Atomics.compareExchange ( typedArraytypedArrayOrStruct, indexindexOrField, expectedValue, replacementValue )"><span class="secnum">2.3.3</span> Atomics.compareExchange ( <del><var>typedArray</var></del><ins><var>typedArrayOrStruct</var></ins>, <del><var>index</var></del><ins><var>indexOrField</var></ins>, <var>expectedValue</var>, <var>replacementValue</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-atomics.exchange-struct" title="Atomics.exchange ( typedArraytypedArrayOrStruct, indexindexOrField, value )"><span class="secnum">2.3.4</span> Atomics.exchange ( <del><var>typedArray</var></del><ins><var>typedArrayOrStruct</var></ins>, <del><var>index</var></del><ins><var>indexOrField</var></ins>, <var>value</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-atomics.load-struct" title="Atomics.load ( typedArraytypedArrayOrStruct, indexindexOrField )"><span class="secnum">2.3.5</span> Atomics.load ( <del><var>typedArray</var></del><ins><var>typedArrayOrStruct</var></ins>, <del><var>index</var></del><ins><var>indexOrField</var></ins> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-atomics.store-struct" title="Atomics.store ( typedArraytypedArrayOrStruct, indexindexOrField, value )"><span class="secnum">2.3.6</span> Atomics.store ( <del><var>typedArray</var></del><ins><var>typedArrayOrStruct</var></ins>, <del><var>index</var></del><ins><var>indexOrField</var></ins>, <var>value</var> )</a></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-changes-to-the-reflect-object-shared-structs" title="Changes to the Reflect Object"><span class="secnum">2.4</span> Changes to the Reflect Object</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-reflect.canBeShared" title="Reflect.canBeShared ( val )"><span class="secnum">2.4.1</span> Reflect.canBeShared ( <var>val</var> )</a></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-changes-to-memory-model" title="Changes to the Memory Model"><span class="secnum">2.5</span> Changes to the Memory Model</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-memory-model-fundamentals" title="Memory Model Fundamentals"><span class="secnum">2.5.1</span> Memory Model Fundamentals</a></li></ol></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-shared-arrays" title="Shared Array Object"><span class="secnum">3</span> Shared Array Object</a><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-shared-array-constructor" title="The SharedArray Constructor"><span class="secnum">3.1</span> The SharedArray Constructor</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-sharedarraycreate" title="SharedArrayCreate ( length )"><span class="secnum">3.1.1</span> SharedArrayCreate ( <var>length</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-sharedarray" title="SharedArray ( ...values )"><span class="secnum">3.1.2</span> SharedArray ( ...<var>values</var> )</a></li></ol></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-unsafe-block" title="The unsafe Block"><span class="secnum">4</span> The <code>unsafe</code> Block</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-isunsafe" title="Static Semantics: IsUnsafe ( node )"><span class="secnum">4.1</span> SS: IsUnsafe ( <var>node</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-unsafe-block-runtime-semantics-evaluation" title="Runtime Semantics: Evaluation"><span class="secnum">4.2</span> RS: Evaluation</a></li><li><span class="item-toggle">+</span><a href="#sec-changes-to-reference-records" title="Changes to Reference Records"><span class="secnum">4.3</span> Changes to Reference Records</a><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-reference-record-specification-type" title="The Reference Record Specification Type"><span class="secnum">4.3.1</span> The Reference Record Specification Type</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-getvalue" title="GetValue ( V )"><span class="secnum">4.3.1.1</span> GetValue ( <var>V</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-putvalue" title="PutValue ( V, W )"><span class="secnum">4.3.1.2</span> PutValue ( <var>V</var>, <var>W</var> )</a></li></ol></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-changes-to-the-object-type" title="Changes to the Object Type"><span class="secnum">4.4</span> Changes to the Object Type</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-object-internal-methods-and-internal-slots" title="Object Internal Methods and Internal Slots"><span class="secnum">4.4.1</span> Object Internal Methods and Internal Slots</a></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-changes-to-ordinary-and-exotic-objects-behaviours" title="Changes to Ordinary and Exotic Objects Behaviours"><span class="secnum">4.5</span> Changes to Ordinary and Exotic Objects Behaviours</a><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-ordinary-object-internal-methods-and-internal-slots" title="Ordinary Object Internal Methods and Internal Slots"><span class="secnum">4.5.1</span> Ordinary Object Internal Methods and Internal Slots</a><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-ordinary-object-internal-methods-and-internal-slots-get-p-receiver" title="[[Get]] ( P, Receiver, unsafe )"><span class="secnum">4.5.1.1</span> <var class="field">[[Get]]</var> ( <var>P</var>, <var>Receiver</var>, <ins><var>unsafe</var></ins> )</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-ordinaryget" title="OrdinaryGet ( O, P, Receiver, unsafe )"><span class="secnum">4.5.1.1.1</span> OrdinaryGet ( <var>O</var>, <var>P</var>, <var>Receiver</var>, <ins><var>unsafe</var></ins> )</a></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-ordinary-object-internal-methods-and-internal-slots-set-p-v-receiver" title="[[Set]] ( P, V, Receiver, unsafe )"><span class="secnum">4.5.1.2</span> <var class="field">[[Set]]</var> ( <var>P</var>, <var>V</var>, <var>Receiver</var>, <ins><var>unsafe</var></ins> )</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-ordinaryset" title="OrdinarySet ( O, P, V, Receiver, unsafe )"><span class="secnum">4.5.1.2.1</span> OrdinarySet ( <var>O</var>, <var>P</var>, <var>V</var>, <var>Receiver</var>, <ins><var>unsafe</var></ins> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-ordinarysetwithowndescriptor" title="OrdinarySetWithOwnDescriptor ( O, P, V, Receiver, ownDesc, unsafe )"><span class="secnum">4.5.1.2.2</span> OrdinarySetWithOwnDescriptor ( <var>O</var>, <var>P</var>, <var>V</var>, <var>Receiver</var>, <var>ownDesc</var>, <ins><var>unsafe</var></ins> )</a></li></ol></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-built-in-exotic-object-internal-methods-and-slots" title="Built-in Exotic Object Internal Methods and Slots"><span class="secnum">4.5.2</span> Built-in Exotic Object Internal Methods and Slots</a><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-arguments-exotic-objects" title="Arguments Exotic Objects"><span class="secnum">4.5.2.1</span> Arguments Exotic Objects</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-arguments-exotic-objects-get-p-receiver" title="[[Get]] ( P, Receiver, unsafe )"><span class="secnum">4.5.2.1.1</span> <var class="field">[[Get]]</var> ( <var>P</var>, <var>Receiver</var>, <ins><var>unsafe</var></ins> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-arguments-exotic-objects-set-p-v-receiver" title="[[Set]] ( P, V, Receiver, unsafe )"><span class="secnum">4.5.2.1.2</span> <var class="field">[[Set]]</var> ( <var>P</var>, <var>V</var>, <var>Receiver</var>, <ins><var>unsafe</var></ins> )</a></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-typedarray-exotic-objects" title="TypedArray Exotic Objects"><span class="secnum">4.5.2.2</span> TypedArray Exotic Objects</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-typedarray-get" title="[[Get]] ( P, Receiver, unsafe )"><span class="secnum">4.5.2.2.1</span> <var class="field">[[Get]]</var> ( <var>P</var>, <var>Receiver</var>, <ins><var>unsafe</var></ins> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-typedarray-set" title="[[Set]] ( P, V, Receiver, unsafe )"><span class="secnum">4.5.2.2.2</span> <var class="field">[[Set]]</var> ( <var>P</var>, <var>V</var>, <var>Receiver</var>, <ins><var>unsafe</var></ins> )</a></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-module-namespace-exotic-objects" title="Module Namespace Exotic Objects"><span class="secnum">4.5.2.3</span> Module Namespace Exotic Objects</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-module-namespace-exotic-objects-get-p-receiver" title="[[Get]] ( P, Receiver, unsafe )"><span class="secnum">4.5.2.3.1</span> <var class="field">[[Get]]</var> ( <var>P</var>, <var>Receiver</var>, <ins><var>unsafe</var></ins> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-module-namespace-exotic-objects-set-p-v-receiver" title="[[Set]] ( P, V, Receiver, unsafe )"><span class="secnum">4.5.2.3.2</span> <var class="field">[[Set]]</var> ( <var>P</var>, <var>V</var>, <var>Receiver</var>, <ins><var>unsafe</var></ins> )</a></li></ol></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-proxy-object-internal-methods-and-internal-slots" title="Proxy Object Internal Methods and Internal Slots"><span class="secnum">4.5.3</span> Proxy Object Internal Methods and Internal Slots</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-proxy-object-internal-methods-and-internal-slots-get-p-receiver" title="[[Get]] ( P, Receiver, unsafe )"><span class="secnum">4.5.3.1</span> <var class="field">[[Get]]</var> ( <var>P</var>, <var>Receiver</var>, <ins><var>unsafe</var></ins> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-proxy-object-internal-methods-and-internal-slots-set-p-v-receiver" title="[[Set]] ( P, V, Receiver, unsafe )"><span class="secnum">4.5.3.2</span> <var class="field">[[Set]]</var> ( <var>P</var>, <var>V</var>, <var>Receiver</var>, <ins><var>unsafe</var></ins> )</a></li></ol></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-changes-to-ecmascript-language-expressions" title="Changes to Expressions"><span class="secnum">4.6</span> Changes to Expressions</a><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-left-hand-side-expressions" title="Left-Hand-Side Expressions"><span class="secnum">4.6.1</span> Left-Hand-Side Expressions</a><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-property-accessors" title="Property Accessors"><span class="secnum">4.6.1.1</span> Property Accessors</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-property-accessors-runtime-semantics-evaluation" title="Runtime Semantics: Evaluation"><span class="secnum">4.6.1.1.1</span> RS: Evaluation</a></li></ol></li><li><span class="item-toggle-none"></span><a href="#sec-evaluate-property-access-with-expression-key" title="EvaluatePropertyAccessWithExpressionKey ( baseValue, expression, strict, unsafe )"><span class="secnum">4.6.1.2</span> EvaluatePropertyAccessWithExpressionKey ( <var>baseValue</var>, <var>expression</var>, <var>strict</var>, <ins><var>unsafe</var></ins> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-evaluate-property-access-with-identifier-key" title="EvaluatePropertyAccessWithIdentifierKey ( baseValue, identifierName, strict, unsafe )"><span class="secnum">4.6.1.3</span> EvaluatePropertyAccessWithIdentifierKey ( <var>baseValue</var>, <var>identifierName</var>, <var>strict</var>, <ins><var>unsafe</var></ins> )</a></li><li><span class="item-toggle">+</span><a href="#sec-optional-chains" title="Optional Chains"><span class="secnum">4.6.1.4</span> Optional Chains</a><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-optional-chaining-evaluation" title="Runtime Semantics: Evaluation"><span class="secnum">4.6.1.4.1</span> RS: Evaluation</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-optional-chaining-chain-evaluation" title="Runtime Semantics: ChainEvaluation"><span class="secnum">4.6.1.4.1.1</span> RS: ChainEvaluation</a></li></ol></li></ol></li></ol></li></ol></li><li><span class="item-toggle">+</span><a href="#changes-to-reflection" title="Changes to Reflection"><span class="secnum">4.7</span> Changes to Reflection</a><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-reflect-object" title="The Reflect Object"><span class="secnum">4.7.1</span> The Reflect Object</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-reflect.get" title="Reflect.get ( target, propertyKey [ , receiver ] )"><span class="secnum">4.7.1.1</span> Reflect.get ( <var>target</var>, <var>propertyKey</var> [ , <var>receiver</var> ] )</a></li><li><span class="item-toggle-none"></span><a href="#sec-reflect.set" title="Reflect.set ( target, propertyKey, V [ , receiver ] )"><span class="secnum">4.7.1.2</span> Reflect.set ( <var>target</var>, <var>propertyKey</var>, <var>V</var> [ , <var>receiver</var> ] )</a></li></ol></li></ol></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-synchronization-primitives" title="Synchronization Primitives"><span class="secnum">5</span> Synchronization Primitives</a><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-abstract-operations-for-mutex" title="Abstract Operations for Mutex Objects"><span class="secnum">5.1</span> Abstract Operations for Mutex Objects</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-unlocktokencreateifneeded" title="UnlockTokenCreateIfNeeded ( token, mutex )"><span class="secnum">5.1.1</span> UnlockTokenCreateIfNeeded ( <var>token</var>, <var>mutex</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-lockmutex" title="LockMutex ( mutex, tMillis )"><span class="secnum">5.1.2</span> LockMutex ( <var>mutex</var>, <var>tMillis</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-unlockmutex" title="UnlockMutex ( mutex )"><span class="secnum">5.1.3</span> UnlockMutex ( <var>mutex</var> )</a></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-mutex-object" title="The Mutex Constructor"><span class="secnum">5.2</span> The Mutex Constructor</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-atomics.mutex" title="Atomics.Mutex ( )"><span class="secnum">5.2.1</span> Atomics.Mutex ( )</a></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-properties-of-the-mutex-constructor" title="Properties of the Mutex Constructor"><span class="secnum">5.3</span> Properties of the Mutex Constructor</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-atomics.mutex.unlocktoken-prop" title="Atomics.Mutex.UnlockToken ( )"><span class="secnum">5.3.1</span> Atomics.Mutex.UnlockToken ( )</a></li><li><span class="item-toggle-none"></span><a href="#sec-atomics.mutex.lock" title="Atomics.Mutex.lock ( mutex [ , unlockToken ] )"><span class="secnum">5.3.2</span> Atomics.Mutex.lock ( <var>mutex</var> [ , <var>unlockToken</var> ] )</a></li><li><span class="item-toggle-none"></span><a href="#sec-atomics.mutex.lockifavailable" title="Atomics.Mutex.lockIfAvailable ( mutex, timeout [ , unlockToken ] )"><span class="secnum">5.3.3</span> Atomics.Mutex.lockIfAvailable ( <var>mutex</var>, <var>timeout</var> [ , <var>unlockToken</var> ] )</a></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-unlocktoken-objects" title="UnlockToken Objects"><span class="secnum">5.4</span> UnlockToken Objects</a><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-unlocktoken-constructor" title="The UnlockToken Constructor"><span class="secnum">5.4.1</span> The UnlockToken Constructor</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-atomics.mutex.unlocktoken" title="Atomics.Mutex.UnlockToken ( )"><span class="secnum">5.4.1.1</span> Atomics.Mutex.UnlockToken ( )</a></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-properties-of-the-unlocktoken-constructor" title="Properties of the UnlockToken Constructor"><span class="secnum">5.4.2</span> Properties of the UnlockToken Constructor</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-atomics.mutex.unlocktoken.prototype" title="Atomics.Mutex.UnlockToken.prototype"><span class="secnum">5.4.2.1</span> Atomics.Mutex.UnlockToken.prototype</a></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-properties-of-the-unlocktoken-prototype" title="Properties of the UnlockToken Prototype Object"><span class="secnum">5.4.3</span> Properties of the UnlockToken Prototype Object</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-get-atomics.mutex.unlocktoken.prototype.locked" title="get Atomics.Mutex.UnlockToken.prototype.locked"><span class="secnum">5.4.3.1</span> get Atomics.Mutex.UnlockToken.prototype.locked</a></li><li><span class="item-toggle-none"></span><a href="#sec-atomics.mutex.unlocktoken.prototype.unlock" title="Atomics.Mutex.UnlockToken.prototype.unlock ( )"><span class="secnum">5.4.3.2</span> Atomics.Mutex.UnlockToken.prototype.unlock ( )</a></li><li><span class="item-toggle-none"></span><a href="#sec-atomics.mutex.unlocktoken.prototype.%symbol.dispose%" title="Atomics.Mutex.UnlockToken.prototype [ %Symbol.dispose% ] ( )"><span class="secnum">5.4.3.3</span> Atomics.Mutex.UnlockToken.prototype [ %Symbol.dispose% ] ( )</a></li></ol></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-condition-object" title="The Condition Constructor"><span class="secnum">5.5</span> The Condition Constructor</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-atomics.condition" title="Atomics.Condition ( )"><span class="secnum">5.5.1</span> Atomics.Condition ( )</a></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-properties-of-the-condition-constructor" title="Properties of the Condition Constructor"><span class="secnum">5.6</span> Properties of the Condition Constructor</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-atomics.condition.wait" title="Atomics.Condition.wait ( cv, mutexUnlockToken )"><span class="secnum">5.6.1</span> Atomics.Condition.wait ( <var>cv</var>, <var>mutexUnlockToken</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-atomics.condition.waitFor" title="Atomics.Condition.waitFor ( cv, mutexUnlockToken, timeout [ , predicate ] )"><span class="secnum">5.6.2</span> Atomics.Condition.waitFor ( <var>cv</var>, <var>mutexUnlockToken</var>, <var>timeout</var> [ , <var>predicate</var> ] )</a></li><li><span class="item-toggle-none"></span><a href="#sec-atomics.condition.notify" title="Atomics.Condition.notify ( cv [ , count ] )"><span class="secnum">5.6.3</span> Atomics.Condition.notify ( <var>cv</var> [ , <var>count</var> ] )</a></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">Stage 1 Draft / October 8, 2024</h1><h1 class="title">JavaScript Structs</h1>
+    </svg></div><div id="menu-spacer" class="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<button class="unpin-all">clear</button></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="#intro" title="Structs, Shared Structs, Unsafe Blocks, and Synchronization Primitives">Structs, Shared Structs, Unsafe Blocks, and Synchronization Primitives</a></li><li><span class="item-toggle">+</span><a href="#sec-structs" title="Structs"><span class="secnum">1</span> Structs</a><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-structs-syntax-and-eval" title="Syntax"><span class="secnum">1.1</span> Syntax</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-struct-definitions-static-semantics-early-errors" title="Static Semantics: Early Errors"><span class="secnum">1.1.1</span> SS: Early Errors</a></li><li><span class="item-toggle-none"></span><a href="#sec-definestructfield" title="DefineStructField ( receiver, fieldRecord )"><span class="secnum">1.1.2</span> DefineStructField ( <var>receiver</var>, <var>fieldRecord</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-initializestructinstancefieldsandbrands" title="InitializeStructInstanceFieldsAndBrand ( receiver, constructor )"><span class="secnum">1.1.3</span> InitializeStructInstanceFieldsAndBrand ( <var>receiver</var>, <var>constructor</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-runfieldinitializer" title="RunFieldInitializer ( receiver, fieldRecord )"><span class="secnum">1.1.4</span> RunFieldInitializer ( <var>receiver</var>, <var>fieldRecord</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-runstructinstancefieldinitializers" title="RunStructInstanceFieldInitializers ( receiver, constructor )"><span class="secnum">1.1.5</span> RunStructInstanceFieldInitializers ( <var>receiver</var>, <var>constructor</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-runtime-semantics-structdefinitionevaluation" title="Runtime Semantics: StructDefinitionEvaluation"><span class="secnum">1.1.6</span> RS: StructDefinitionEvaluation</a></li><li><span class="item-toggle-none"></span><a href="#sec-runtime-semantics-bindingstructdeclarationevaluation" title="Runtime Semantics: BindingStructDeclarationEvaluation"><span class="secnum">1.1.7</span> RS: BindingStructDeclarationEvaluation</a></li><li><span class="item-toggle-none"></span><a href="#sec-struct-definitions-runtime-semantics-evaluation" title="Runtime Semantics: Evaluation"><span class="secnum">1.1.8</span> RS: Evaluation</a></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-struct-method-exotic-objects" title="Struct Method Exotic Objects"><span class="secnum">1.2</span> Struct Method Exotic Objects</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-struct-method-exotic-objects-call-thisargument-argumentslist" title="[[Call]] ( thisArgument, argumentsList )"><span class="secnum">1.2.1</span> <var class="field">[[Call]]</var> ( <var>thisArgument</var>, <var>argumentsList</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-structmethodcreate" title="StructMethodCreate ( targetMethod )"><span class="secnum">1.2.2</span> StructMethodCreate ( <var>targetMethod</var> )</a></li></ol></li><li><span class="item-toggle">+</span><a href="#changes-to-language-expressions" title="Changes to ECMAScript Language: Expressions"><span class="secnum">1.3</span> Changes to ECMAScript Language: Expressions</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-super-keyword-runtime-semantics-evaluation" title="Runtime Semantics: Evaluation"><span class="secnum">1.3.1</span> RS: Evaluation</a></li></ol></li><li><span class="item-toggle">+</span><a href="#changes-to-language-functions-and-classes" title="Changes to ECMAScript Language: Functions and Classes"><span class="secnum">1.4</span> Changes to ECMAScript Language: Functions and Classes</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-runtime-semantics-definemethod" title="Runtime Semantics: DefineMethod"><span class="secnum">1.4.1</span> RS: DefineMethod</a></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-changes-to-modules" title="Changes to Modules"><span class="secnum">1.5</span> Changes to Modules</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-exports-runtime-semantics-evaluation" title="Runtime Semantics: Evaluation"><span class="secnum">1.5.1</span> RS: Evaluation</a></li></ol></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-shared-structs" title="Shared Structs"><span class="secnum">2</span> Shared Structs</a><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-shared-struct-exotic-objects" title="Shared Struct Exotic Objects"><span class="secnum">2.1</span> Shared Struct Exotic Objects</a><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-fictional-criticalsection" title="Critical Section for Shared Struct Creation"><span class="secnum">2.1.1</span> Critical Section for Shared Struct Creation</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-entersharedstructcreationcriticalsection" title="EnterSharedStructCreationCriticalSection ( )"><span class="secnum">2.1.1.1</span> EnterSharedStructCreationCriticalSection ( )</a></li><li><span class="item-toggle-none"></span><a href="#sec-leavesharedstructcreationcriticalsection" title="LeaveSharedStructCreationCriticalSection ( )"><span class="secnum">2.1.1.2</span> LeaveSharedStructCreationCriticalSection ( )</a></li></ol></li><li><span class="item-toggle-none"></span><a href="#sec-sharedstructcreate" title="SharedStructCreate ( initializer [ , internalSlotsList ] )"><span class="secnum">2.1.2</span> SharedStructCreate ( <var>initializer</var> [ , <var>internalSlotsList</var> ] )</a></li><li><span class="item-toggle-none"></span><a href="#sec-readsharedstructfield" title="ReadSharedStructField ( struct, field, order )"><span class="secnum">2.1.3</span> ReadSharedStructField ( <var>struct</var>, <var>field</var>, <var>order</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-writesharedstructfield" title="WriteSharedStructField ( struct, field, value, order )"><span class="secnum">2.1.4</span> WriteSharedStructField ( <var>struct</var>, <var>field</var>, <var>value</var>, <var>order</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-shared-struct-getownproperty" title="[[GetOwnProperty]] ( P )"><span class="secnum">2.1.5</span> <var class="field">[[GetOwnProperty]]</var> ( <var>P</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-shared-struct-defineownproperty" title="[[DefineOwnProperty]] ( P, Desc )"><span class="secnum">2.1.6</span> <var class="field">[[DefineOwnProperty]]</var> ( <var>P</var>, <var>Desc</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-shared-struct-hasproperty" title="[[HasProperty]] ( P )"><span class="secnum">2.1.7</span> <var class="field">[[HasProperty]]</var> ( <var>P</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-shared-struct-get" title="[[Get]] ( P, Receiver, unsafe )"><span class="secnum">2.1.8</span> <var class="field">[[Get]]</var> ( <var>P</var>, <var>Receiver</var>, <var>unsafe</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-shared-struct-set" title="[[Set]] ( P, V, Receiver, unsafe )"><span class="secnum">2.1.9</span> <var class="field">[[Set]]</var> ( <var>P</var>, <var>V</var>, <var>Receiver</var>, <var>unsafe</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-shared-struct-delete" title="[[Delete]] ( P )"><span class="secnum">2.1.10</span> <var class="field">[[Delete]]</var> ( <var>P</var> )</a></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-shared-structs-syntax-and-eval" title="Syntax"><span class="secnum">2.2</span> Syntax</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-struct-definitions-static-semantics-containsinstanceprivateidentifier" title="Static Semantics: ContainsInstancePrivateIdentifier"><span class="secnum">2.2.1</span> SS: ContainsInstancePrivateIdentifier</a></li><li><span class="item-toggle-none"></span><a href="#sec-struct-definitions-static-semantics-containsinstancemethod" title="Static Semantics: ContainsInstanceMethod"><span class="secnum">2.2.2</span> SS: ContainsInstanceMethod</a></li><li><span class="item-toggle-none"></span><a href="#sec-shared-struct-definitions-static-semantics-early-errors" title="Static Semantics: Early Errors"><span class="secnum">2.2.3</span> SS: Early Errors</a></li><li><span class="item-toggle-none"></span><a href="#sec-canbesharedacrossagents" title="CanBeSharedAcrossAgents ( val )"><span class="secnum">2.2.4</span> CanBeSharedAcrossAgents ( <var>val</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-definesharedstructfield" title="DefineSharedStructField ( receiver, fieldRecord )"><span class="secnum">2.2.5</span> DefineSharedStructField ( <var>receiver</var>, <var>fieldRecord</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-runtime-semantics-sharedstructdefinitionevaluation" title="Runtime Semantics: SharedStructDefinitionEvaluation"><span class="secnum">2.2.6</span> RS: SharedStructDefinitionEvaluation</a></li><li><span class="item-toggle-none"></span><a href="#sec-runtime-semantics-bindingsharedstructdeclarationevaluation" title="Runtime Semantics: BindingStructDeclarationEvaluation"><span class="secnum">2.2.7</span> RS: BindingStructDeclarationEvaluation</a></li><li><span class="item-toggle-none"></span><a href="#sec-shared-struct-definitions-runtime-semantics-evaluation" title="Runtime Semantics: Evaluation"><span class="secnum">2.2.8</span> RS: Evaluation</a></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-changes-to-atomics-object" title="Changes to the Atomics Object"><span class="secnum">2.3</span> Changes to the Atomics Object</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-atomiccompareexchangeinsharedstruct" title="AtomicCompareExchangeInSharedStruct ( struct, field, expectedValue, replacementValue )"><span class="secnum">2.3.1</span> AtomicCompareExchangeInSharedStruct ( <var>struct</var>, <var>field</var>, <var>expectedValue</var>, <var>replacementValue</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-atomicreadmodifywriteinsharedstruct" title="AtomicReadModifyWriteInSharedStruct ( struct, field, value, op )"><span class="secnum">2.3.2</span> AtomicReadModifyWriteInSharedStruct ( <var>struct</var>, <var>field</var>, <var>value</var>, <var>op</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-atomics.compareexchange-struct" title="Atomics.compareExchange ( typedArraytypedArrayOrStruct, indexindexOrField, expectedValue, replacementValue )"><span class="secnum">2.3.3</span> Atomics.compareExchange ( <del><var>typedArray</var></del><ins><var>typedArrayOrStruct</var></ins>, <del><var>index</var></del><ins><var>indexOrField</var></ins>, <var>expectedValue</var>, <var>replacementValue</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-atomics.exchange-struct" title="Atomics.exchange ( typedArraytypedArrayOrStruct, indexindexOrField, value )"><span class="secnum">2.3.4</span> Atomics.exchange ( <del><var>typedArray</var></del><ins><var>typedArrayOrStruct</var></ins>, <del><var>index</var></del><ins><var>indexOrField</var></ins>, <var>value</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-atomics.load-struct" title="Atomics.load ( typedArraytypedArrayOrStruct, indexindexOrField )"><span class="secnum">2.3.5</span> Atomics.load ( <del><var>typedArray</var></del><ins><var>typedArrayOrStruct</var></ins>, <del><var>index</var></del><ins><var>indexOrField</var></ins> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-atomics.store-struct" title="Atomics.store ( typedArraytypedArrayOrStruct, indexindexOrField, value )"><span class="secnum">2.3.6</span> Atomics.store ( <del><var>typedArray</var></del><ins><var>typedArrayOrStruct</var></ins>, <del><var>index</var></del><ins><var>indexOrField</var></ins>, <var>value</var> )</a></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-changes-to-the-reflect-object-shared-structs" title="Changes to the Reflect Object"><span class="secnum">2.4</span> Changes to the Reflect Object</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-reflect.canBeShared" title="Reflect.canBeShared ( val )"><span class="secnum">2.4.1</span> Reflect.canBeShared ( <var>val</var> )</a></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-changes-to-memory-model" title="Changes to the Memory Model"><span class="secnum">2.5</span> Changes to the Memory Model</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-memory-model-fundamentals" title="Memory Model Fundamentals"><span class="secnum">2.5.1</span> Memory Model Fundamentals</a></li></ol></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-shared-arrays" title="Shared Array Object"><span class="secnum">3</span> Shared Array Object</a><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-shared-array-constructor" title="The SharedArray Constructor"><span class="secnum">3.1</span> The SharedArray Constructor</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-sharedarraycreate" title="SharedArrayCreate ( length )"><span class="secnum">3.1.1</span> SharedArrayCreate ( <var>length</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-sharedarray" title="SharedArray ( ...values )"><span class="secnum">3.1.2</span> SharedArray ( ...<var>values</var> )</a></li></ol></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-unsafe-block" title="The unsafe Block"><span class="secnum">4</span> The <code>unsafe</code> Block</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-isunsafe" title="Static Semantics: IsUnsafe ( node )"><span class="secnum">4.1</span> SS: IsUnsafe ( <var>node</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-unsafe-block-runtime-semantics-evaluation" title="Runtime Semantics: Evaluation"><span class="secnum">4.2</span> RS: Evaluation</a></li><li><span class="item-toggle">+</span><a href="#sec-changes-to-reference-records" title="Changes to Reference Records"><span class="secnum">4.3</span> Changes to Reference Records</a><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-reference-record-specification-type" title="The Reference Record Specification Type"><span class="secnum">4.3.1</span> The Reference Record Specification Type</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-getvalue" title="GetValue ( V )"><span class="secnum">4.3.1.1</span> GetValue ( <var>V</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-putvalue" title="PutValue ( V, W )"><span class="secnum">4.3.1.2</span> PutValue ( <var>V</var>, <var>W</var> )</a></li></ol></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-changes-to-the-object-type" title="Changes to the Object Type"><span class="secnum">4.4</span> Changes to the Object Type</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-object-internal-methods-and-internal-slots" title="Object Internal Methods and Internal Slots"><span class="secnum">4.4.1</span> Object Internal Methods and Internal Slots</a></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-changes-to-ordinary-and-exotic-objects-behaviours" title="Changes to Ordinary and Exotic Objects Behaviours"><span class="secnum">4.5</span> Changes to Ordinary and Exotic Objects Behaviours</a><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-ordinary-object-internal-methods-and-internal-slots" title="Ordinary Object Internal Methods and Internal Slots"><span class="secnum">4.5.1</span> Ordinary Object Internal Methods and Internal Slots</a><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-ordinary-object-internal-methods-and-internal-slots-get-p-receiver" title="[[Get]] ( P, Receiver, unsafe )"><span class="secnum">4.5.1.1</span> <var class="field">[[Get]]</var> ( <var>P</var>, <var>Receiver</var>, <ins><var>unsafe</var></ins> )</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-ordinaryget" title="OrdinaryGet ( O, P, Receiver, unsafe )"><span class="secnum">4.5.1.1.1</span> OrdinaryGet ( <var>O</var>, <var>P</var>, <var>Receiver</var>, <ins><var>unsafe</var></ins> )</a></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-ordinary-object-internal-methods-and-internal-slots-set-p-v-receiver" title="[[Set]] ( P, V, Receiver, unsafe )"><span class="secnum">4.5.1.2</span> <var class="field">[[Set]]</var> ( <var>P</var>, <var>V</var>, <var>Receiver</var>, <ins><var>unsafe</var></ins> )</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-ordinaryset" title="OrdinarySet ( O, P, V, Receiver, unsafe )"><span class="secnum">4.5.1.2.1</span> OrdinarySet ( <var>O</var>, <var>P</var>, <var>V</var>, <var>Receiver</var>, <ins><var>unsafe</var></ins> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-ordinarysetwithowndescriptor" title="OrdinarySetWithOwnDescriptor ( O, P, V, Receiver, ownDesc, unsafe )"><span class="secnum">4.5.1.2.2</span> OrdinarySetWithOwnDescriptor ( <var>O</var>, <var>P</var>, <var>V</var>, <var>Receiver</var>, <var>ownDesc</var>, <ins><var>unsafe</var></ins> )</a></li></ol></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-built-in-exotic-object-internal-methods-and-slots" title="Built-in Exotic Object Internal Methods and Slots"><span class="secnum">4.5.2</span> Built-in Exotic Object Internal Methods and Slots</a><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-arguments-exotic-objects" title="Arguments Exotic Objects"><span class="secnum">4.5.2.1</span> Arguments Exotic Objects</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-arguments-exotic-objects-get-p-receiver" title="[[Get]] ( P, Receiver, unsafe )"><span class="secnum">4.5.2.1.1</span> <var class="field">[[Get]]</var> ( <var>P</var>, <var>Receiver</var>, <ins><var>unsafe</var></ins> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-arguments-exotic-objects-set-p-v-receiver" title="[[Set]] ( P, V, Receiver, unsafe )"><span class="secnum">4.5.2.1.2</span> <var class="field">[[Set]]</var> ( <var>P</var>, <var>V</var>, <var>Receiver</var>, <ins><var>unsafe</var></ins> )</a></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-typedarray-exotic-objects" title="TypedArray Exotic Objects"><span class="secnum">4.5.2.2</span> TypedArray Exotic Objects</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-typedarray-get" title="[[Get]] ( P, Receiver, unsafe )"><span class="secnum">4.5.2.2.1</span> <var class="field">[[Get]]</var> ( <var>P</var>, <var>Receiver</var>, <ins><var>unsafe</var></ins> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-typedarray-set" title="[[Set]] ( P, V, Receiver, unsafe )"><span class="secnum">4.5.2.2.2</span> <var class="field">[[Set]]</var> ( <var>P</var>, <var>V</var>, <var>Receiver</var>, <ins><var>unsafe</var></ins> )</a></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-module-namespace-exotic-objects" title="Module Namespace Exotic Objects"><span class="secnum">4.5.2.3</span> Module Namespace Exotic Objects</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-module-namespace-exotic-objects-get-p-receiver" title="[[Get]] ( P, Receiver, unsafe )"><span class="secnum">4.5.2.3.1</span> <var class="field">[[Get]]</var> ( <var>P</var>, <var>Receiver</var>, <ins><var>unsafe</var></ins> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-module-namespace-exotic-objects-set-p-v-receiver" title="[[Set]] ( P, V, Receiver, unsafe )"><span class="secnum">4.5.2.3.2</span> <var class="field">[[Set]]</var> ( <var>P</var>, <var>V</var>, <var>Receiver</var>, <ins><var>unsafe</var></ins> )</a></li></ol></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-proxy-object-internal-methods-and-internal-slots" title="Proxy Object Internal Methods and Internal Slots"><span class="secnum">4.5.3</span> Proxy Object Internal Methods and Internal Slots</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-proxy-object-internal-methods-and-internal-slots-get-p-receiver" title="[[Get]] ( P, Receiver, unsafe )"><span class="secnum">4.5.3.1</span> <var class="field">[[Get]]</var> ( <var>P</var>, <var>Receiver</var>, <ins><var>unsafe</var></ins> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-proxy-object-internal-methods-and-internal-slots-set-p-v-receiver" title="[[Set]] ( P, V, Receiver, unsafe )"><span class="secnum">4.5.3.2</span> <var class="field">[[Set]]</var> ( <var>P</var>, <var>V</var>, <var>Receiver</var>, <ins><var>unsafe</var></ins> )</a></li></ol></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-changes-to-ecmascript-language-expressions" title="Changes to Expressions"><span class="secnum">4.6</span> Changes to Expressions</a><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-left-hand-side-expressions" title="Left-Hand-Side Expressions"><span class="secnum">4.6.1</span> Left-Hand-Side Expressions</a><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-property-accessors" title="Property Accessors"><span class="secnum">4.6.1.1</span> Property Accessors</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-property-accessors-runtime-semantics-evaluation" title="Runtime Semantics: Evaluation"><span class="secnum">4.6.1.1.1</span> RS: Evaluation</a></li></ol></li><li><span class="item-toggle-none"></span><a href="#sec-evaluate-property-access-with-expression-key" title="EvaluatePropertyAccessWithExpressionKey ( baseValue, expression, strict, unsafe )"><span class="secnum">4.6.1.2</span> EvaluatePropertyAccessWithExpressionKey ( <var>baseValue</var>, <var>expression</var>, <var>strict</var>, <ins><var>unsafe</var></ins> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-evaluate-property-access-with-identifier-key" title="EvaluatePropertyAccessWithIdentifierKey ( baseValue, identifierName, strict, unsafe )"><span class="secnum">4.6.1.3</span> EvaluatePropertyAccessWithIdentifierKey ( <var>baseValue</var>, <var>identifierName</var>, <var>strict</var>, <ins><var>unsafe</var></ins> )</a></li><li><span class="item-toggle">+</span><a href="#sec-optional-chains" title="Optional Chains"><span class="secnum">4.6.1.4</span> Optional Chains</a><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-optional-chaining-evaluation" title="Runtime Semantics: Evaluation"><span class="secnum">4.6.1.4.1</span> RS: Evaluation</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-optional-chaining-chain-evaluation" title="Runtime Semantics: ChainEvaluation"><span class="secnum">4.6.1.4.1.1</span> RS: ChainEvaluation</a></li></ol></li></ol></li></ol></li></ol></li><li><span class="item-toggle">+</span><a href="#changes-to-reflection" title="Changes to Reflection"><span class="secnum">4.7</span> Changes to Reflection</a><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-reflect-object" title="The Reflect Object"><span class="secnum">4.7.1</span> The Reflect Object</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-reflect.get" title="Reflect.get ( target, propertyKey [ , receiver ] )"><span class="secnum">4.7.1.1</span> Reflect.get ( <var>target</var>, <var>propertyKey</var> [ , <var>receiver</var> ] )</a></li><li><span class="item-toggle-none"></span><a href="#sec-reflect.set" title="Reflect.set ( target, propertyKey, V [ , receiver ] )"><span class="secnum">4.7.1.2</span> Reflect.set ( <var>target</var>, <var>propertyKey</var>, <var>V</var> [ , <var>receiver</var> ] )</a></li></ol></li></ol></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-synchronization-primitives" title="Synchronization Primitives"><span class="secnum">5</span> Synchronization Primitives</a><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-abstract-operations-for-mutex" title="Abstract Operations for Mutex Objects"><span class="secnum">5.1</span> Abstract Operations for Mutex Objects</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-unlocktokencreateifneeded" title="UnlockTokenCreateIfNeeded ( token, mutex )"><span class="secnum">5.1.1</span> UnlockTokenCreateIfNeeded ( <var>token</var>, <var>mutex</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-lockmutex" title="LockMutex ( mutex, tMillis )"><span class="secnum">5.1.2</span> LockMutex ( <var>mutex</var>, <var>tMillis</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-unlockmutex" title="UnlockMutex ( mutex )"><span class="secnum">5.1.3</span> UnlockMutex ( <var>mutex</var> )</a></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-mutex-object" title="The Mutex Constructor"><span class="secnum">5.2</span> The Mutex Constructor</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-atomics.mutex" title="Atomics.Mutex ( )"><span class="secnum">5.2.1</span> Atomics.Mutex ( )</a></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-properties-of-the-mutex-constructor" title="Properties of the Mutex Constructor"><span class="secnum">5.3</span> Properties of the Mutex Constructor</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-atomics.mutex.unlocktoken-prop" title="Atomics.Mutex.UnlockToken ( )"><span class="secnum">5.3.1</span> Atomics.Mutex.UnlockToken ( )</a></li><li><span class="item-toggle-none"></span><a href="#sec-atomics.mutex.lock" title="Atomics.Mutex.lock ( mutex [ , unlockToken ] )"><span class="secnum">5.3.2</span> Atomics.Mutex.lock ( <var>mutex</var> [ , <var>unlockToken</var> ] )</a></li><li><span class="item-toggle-none"></span><a href="#sec-atomics.mutex.lockifavailable" title="Atomics.Mutex.lockIfAvailable ( mutex, timeout [ , unlockToken ] )"><span class="secnum">5.3.3</span> Atomics.Mutex.lockIfAvailable ( <var>mutex</var>, <var>timeout</var> [ , <var>unlockToken</var> ] )</a></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-unlocktoken-objects" title="UnlockToken Objects"><span class="secnum">5.4</span> UnlockToken Objects</a><ol class="toc"><li><span class="item-toggle">+</span><a href="#sec-unlocktoken-constructor" title="The UnlockToken Constructor"><span class="secnum">5.4.1</span> The UnlockToken Constructor</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-atomics.mutex.unlocktoken" title="Atomics.Mutex.UnlockToken ( )"><span class="secnum">5.4.1.1</span> Atomics.Mutex.UnlockToken ( )</a></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-properties-of-the-unlocktoken-constructor" title="Properties of the UnlockToken Constructor"><span class="secnum">5.4.2</span> Properties of the UnlockToken Constructor</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-atomics.mutex.unlocktoken.prototype" title="Atomics.Mutex.UnlockToken.prototype"><span class="secnum">5.4.2.1</span> Atomics.Mutex.UnlockToken.prototype</a></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-properties-of-the-unlocktoken-prototype" title="Properties of the UnlockToken Prototype Object"><span class="secnum">5.4.3</span> Properties of the UnlockToken Prototype Object</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-get-atomics.mutex.unlocktoken.prototype.locked" title="get Atomics.Mutex.UnlockToken.prototype.locked"><span class="secnum">5.4.3.1</span> get Atomics.Mutex.UnlockToken.prototype.locked</a></li><li><span class="item-toggle-none"></span><a href="#sec-atomics.mutex.unlocktoken.prototype.unlock" title="Atomics.Mutex.UnlockToken.prototype.unlock ( )"><span class="secnum">5.4.3.2</span> Atomics.Mutex.UnlockToken.prototype.unlock ( )</a></li><li><span class="item-toggle-none"></span><a href="#sec-atomics.mutex.unlocktoken.prototype.%symbol.dispose%" title="Atomics.Mutex.UnlockToken.prototype [ %Symbol.dispose% ] ( )"><span class="secnum">5.4.3.3</span> Atomics.Mutex.UnlockToken.prototype [ %Symbol.dispose% ] ( )</a></li></ol></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-condition-object" title="The Condition Constructor"><span class="secnum">5.5</span> The Condition Constructor</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-atomics.condition" title="Atomics.Condition ( )"><span class="secnum">5.5.1</span> Atomics.Condition ( )</a></li></ol></li><li><span class="item-toggle">+</span><a href="#sec-properties-of-the-condition-constructor" title="Properties of the Condition Constructor"><span class="secnum">5.6</span> Properties of the Condition Constructor</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-atomics.condition.wait" title="Atomics.Condition.wait ( cv, mutexUnlockToken )"><span class="secnum">5.6.1</span> Atomics.Condition.wait ( <var>cv</var>, <var>mutexUnlockToken</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-atomics.condition.waitFor" title="Atomics.Condition.waitFor ( cv, mutexUnlockToken, timeout [ , predicate ] )"><span class="secnum">5.6.2</span> Atomics.Condition.waitFor ( <var>cv</var>, <var>mutexUnlockToken</var>, <var>timeout</var> [ , <var>predicate</var> ] )</a></li><li><span class="item-toggle-none"></span><a href="#sec-atomics.condition.notify" title="Atomics.Condition.notify ( cv [ , count ] )"><span class="secnum">5.6.3</span> Atomics.Condition.notify ( <var>cv</var> [ , <var>count</var> ] )</a></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">Stage 2 Draft / October 18, 2024</h1><h1 class="title">JavaScript Structs</h1>
 
 <emu-intro id="intro">
   <h1>Structs, Shared Structs, Unsafe Blocks, and Synchronization Primitives</h1>