diff --git a/index.html b/index.html
index f6d6c9a..5f5d94f 100644
--- a/index.html
+++ b/index.html
@@ -1355,7 +1355,7 @@
 });
 
 let sdoMap = JSON.parse(`{"prod-k77_OH1u":{"Evaluation":{"clause":"13.3.10.1","ids":["prod-DuEmEibb","prod-4N8EtSSM"]}},"prod-nQPLRauX":{"Evaluation":{"clause":"13.3.10.1","ids":["prod-OGjeE4Nc"]}},"prod-z-GN-HIp":{"ModuleRequests":{"clause":"16.2.1.3","ids":["prod-Fii3Jv-w","prod-QB5EyLim"]}},"prod-OCPQ4qHa":{"ModuleRequests":{"clause":"16.2.1.3","ids":["prod-ipEwhMpm","prod-erfgLvxn"]}},"prod-8JZvGB0l":{"WithClauseToAttributes":{"clause":"16.2.2.2","ids":["prod-owpu72j-"]}},"prod-Vzc55M5_":{"WithClauseToAttributes":{"clause":"16.2.2.2","ids":["prod-mvubOUtc"]}},"prod-0HE4RviZ":{"WithClauseToAttributes":{"clause":"16.2.2.2","ids":["prod-_N0cbM5m"]}},"prod-oClSJ6kb":{"WithClauseToAttributes":{"clause":"16.2.2.2","ids":["prod-yNAe-CX-"]}}}`);
-let biblio = JSON.parse(`{"refsByClause":{"intro":["_ref_0"],"sec-evaluate-import-call":["_ref_1","_ref_14","_ref_15","_ref_16","_ref_17","_ref_18","_ref_19"],"sec-modulerequest-record":["_ref_2","_ref_20","_ref_21","_ref_22","_ref_23","_ref_24","_ref_25","_ref_26","_ref_27","_ref_28","_ref_29","_ref_30"],"sec-cyclic-module-records":["_ref_3","_ref_55","_ref_56","_ref_57","_ref_58","_ref_59","_ref_60"],"sec-source-text-module-records":["_ref_4","_ref_72","_ref_73","_ref_74","_ref_75","_ref_109","_ref_110"],"sec-HostLoadImportedModule":["_ref_5","_ref_76","_ref_77","_ref_78","_ref_79","_ref_80","_ref_81","_ref_82"],"sec-imports":["_ref_6","_ref_111","_ref_112","_ref_113","_ref_114","_ref_115","_ref_116","_ref_117","_ref_118"],"sec-deprecated-assert-keyword-for-import-attributes":["_ref_7","_ref_8","_ref_9","_ref_97","_ref_98","_ref_132"],"sec-conformance-deprecated":["_ref_10"],"sec-import-call-runtime-semantics-evaluation":["_ref_11","_ref_12","_ref_13"],"sec-ModuleRequestsEqual":["_ref_31","_ref_32","_ref_33","_ref_34","_ref_35","_ref_36"],"sec-static-semantics-modulerequests":["_ref_37","_ref_38","_ref_39","_ref_40","_ref_41","_ref_42","_ref_43","_ref_44","_ref_45","_ref_46","_ref_47","_ref_48","_ref_49","_ref_50","_ref_51","_ref_52","_ref_53","_ref_54","_ref_103","_ref_104","_ref_105","_ref_106","_ref_107","_ref_108"],"sec-LoadRequestedModules":["_ref_61"],"sec-InnerModuleLoading":["_ref_62","_ref_63","_ref_64","_ref_65","_ref_66","_ref_67","_ref_68","_ref_69","_ref_70","_ref_71"],"sec-FinishLoadingImportedModule":["_ref_83","_ref_84","_ref_85","_ref_86","_ref_87"],"sec-AllImportAttributesSupported":["_ref_88","_ref_89","_ref_90"],"sec-imports-static-semantics-early-errors":["_ref_91","_ref_119","_ref_120","_ref_121"],"sec-with-clause-to-attributes":["_ref_92","_ref_93","_ref_94","_ref_95","_ref_96","_ref_122","_ref_123","_ref_124","_ref_125","_ref_126","_ref_127","_ref_128","_ref_129","_ref_130","_ref_131"],"sec-host-integration":["_ref_99","_ref_100","_ref_101","_ref_102"],"sec-exports":["_ref_133"]},"entries":[{"type":"clause","id":"intro","titleHTML":"Import Attributes","number":""},{"type":"term","term":"Deprecated","refId":"sec-conformance"},{"type":"clause","id":"sec-conformance-deprecated","titleHTML":"Example Deprecated Clause Heading","number":"2.1"},{"type":"clause","id":"sec-conformance","titleHTML":"Conformance","number":"2","referencingIds":["_ref_0","_ref_10","_ref_14","_ref_15","_ref_97","_ref_98"]},{"type":"production","id":"prod-ImportCall","name":"ImportCall"},{"type":"clause","id":"sec-import-call-runtime-semantics-evaluation","titleHTML":"Runtime Semantics: Evaluation","number":"13.3.10.1"},{"type":"step","id":"step-evaluate-import-call-assert-fallback","referencingIds":["_ref_7"]},{"type":"op","aoid":"EvaluateImportCall","refId":"sec-evaluate-import-call"},{"type":"clause","id":"sec-evaluate-import-call","title":"EvaluateImportCall ( specifierExpression [ , optionsExpression ] )","titleHTML":"<ins>EvaluateImportCall ( <var>specifierExpression</var> [ , <var>optionsExpression</var> ] )</ins>","number":"13.3.10.2","referencingIds":["_ref_8","_ref_11","_ref_12"]},{"type":"clause","id":"sec-import-calls","titleHTML":"Import Calls","number":"13.3.10","referencingIds":["_ref_5"]},{"type":"clause","id":"sec-left-hand-side-expressions","titleHTML":"Left-Hand-Side Expressions","number":"13.3"},{"type":"clause","id":"sec-ecmascript-language-expressions","titleHTML":"ECMAScript Language: Expressions","number":"13"},{"type":"term","term":"ModuleRequest Record","id":"modulerequest-record","referencingIds":["_ref_18","_ref_20","_ref_22","_ref_24","_ref_25","_ref_27","_ref_31","_ref_33","_ref_37","_ref_41","_ref_42","_ref_45","_ref_47","_ref_48","_ref_50","_ref_52","_ref_54","_ref_59","_ref_63","_ref_74","_ref_75","_ref_77","_ref_84","_ref_100","_ref_101","_ref_102"]},{"type":"table","id":"table-modulerequest-fields","number":1,"caption":"Table 1: ModuleRequest Record fields","referencingIds":["_ref_2"]},{"type":"term","term":"LoadedModuleRequest Record","id":"loadedmodulerequest-record","referencingIds":["_ref_28","_ref_32","_ref_34","_ref_60","_ref_65","_ref_87"]},{"type":"table","id":"table-loadedmodulerequest-fields","number":2,"caption":"Table 2: LoadedModuleRequest Record fields"},{"type":"term","term":"ImportAttribute Record","id":"importattribute-record","referencingIds":["_ref_16","_ref_21","_ref_29","_ref_30","_ref_35","_ref_36","_ref_88","_ref_90","_ref_92","_ref_94","_ref_95"]},{"type":"table","id":"table-importattribute-fields","number":3,"caption":"Table 3: ImportAttribute Record fields"},{"type":"op","aoid":"ModuleRequestsEqual","refId":"sec-ModuleRequestsEqual"},{"type":"clause","id":"sec-ModuleRequestsEqual","title":"ModuleRequestsEqual ( left, right )","titleHTML":"<ins>ModuleRequestsEqual ( <var>left</var>, <var>right</var> )</ins>","number":"16.2.1.1.1","referencingIds":["_ref_43","_ref_66","_ref_79","_ref_85"]},{"type":"clause","id":"sec-modulerequest-record","title":"ModuleRequest and ImportAttribute Records","titleHTML":"<ins>ModuleRequest and ImportAttribute Records</ins>","number":"16.2.1.1"},{"type":"op","aoid":"ModuleRequests","refId":"sec-static-semantics-modulerequests"},{"type":"clause","id":"sec-static-semantics-modulerequests","titleHTML":"Static Semantics: ModuleRequests","number":"16.2.1.3","referencingIds":["_ref_23","_ref_38","_ref_39","_ref_40","_ref_44","_ref_51"]},{"type":"term","term":"Cyclic Module Record","id":"cyclic-module-record","referencingIds":["_ref_26","_ref_55","_ref_56","_ref_57","_ref_58","_ref_61","_ref_62","_ref_71","_ref_76","_ref_83","_ref_86"]},{"type":"table","id":"table-cyclic-module-fields","number":4,"caption":"Table 4: Additional Fields of Cyclic Module Records","referencingIds":["_ref_3"]},{"type":"op","aoid":"InnerModuleLoading","refId":"sec-InnerModuleLoading"},{"type":"clause","id":"sec-InnerModuleLoading","title":"InnerModuleLoading ( state, module )","titleHTML":"InnerModuleLoading ( <var>state</var>, <var>module</var> )","number":"16.2.1.5.1.1","referencingIds":["_ref_67"]},{"type":"clause","id":"sec-LoadRequestedModules","title":"LoadRequestedModules ( [ hostDefined ] )","titleHTML":"LoadRequestedModules ( [ <var>hostDefined</var> ] )","number":"16.2.1.5.1"},{"type":"clause","id":"sec-cyclic-module-records","titleHTML":"Cyclic Module Records","number":"16.2.1.5"},{"type":"term","term":"ImportEntry Record","id":"importentry-record","referencingIds":["_ref_72","_ref_73"]},{"type":"table","id":"table-importentry-record-fields","number":5,"caption":"Table 5: ImportEntry Record Fields","referencingIds":["_ref_4"]},{"type":"clause","id":"sec-source-text-module-records","titleHTML":"Source Text Module Records","number":"16.2.1.6"},{"type":"note","id":"note-HostLoadImportedModule-referrer-Realm-Record","number":1},{"type":"op","aoid":"HostLoadImportedModule","refId":"sec-HostLoadImportedModule"},{"type":"clause","id":"sec-HostLoadImportedModule","title":"HostLoadImportedModule ( referrer, specifier, moduleRequest, hostDefined, payload )","titleHTML":"HostLoadImportedModule ( <var>referrer</var>, <del><var>specifier</var></del>, <ins><var>moduleRequest</var></ins>, <var>hostDefined</var>, <var>payload</var> )","number":"16.2.1.8","referencingIds":["_ref_13","_ref_19","_ref_68","_ref_69","_ref_99"]},{"type":"op","aoid":"FinishLoadingImportedModule","refId":"sec-FinishLoadingImportedModule"},{"type":"clause","id":"sec-FinishLoadingImportedModule","title":"FinishLoadingImportedModule ( referrer, specifier, moduleRequest, payload, result )","titleHTML":"FinishLoadingImportedModule ( <var>referrer</var>, <del><var>specifier</var></del>, <ins><var>moduleRequest</var></ins>, <var>payload</var>, <var>result</var> )","number":"16.2.1.9","referencingIds":["_ref_70","_ref_78","_ref_80","_ref_81","_ref_82"]},{"type":"op","aoid":"HostGetSupportedImportAttributes","refId":"sec-hostgetsupportedimportattributes"},{"type":"clause","id":"sec-hostgetsupportedimportattributes","title":"HostGetSupportedImportAttributes ( )","titleHTML":"<ins>HostGetSupportedImportAttributes ( )</ins>","number":"16.2.1.10.1","referencingIds":["_ref_89"]},{"type":"op","aoid":"AllImportAttributesSupported","refId":"sec-AllImportAttributesSupported"},{"type":"clause","id":"sec-AllImportAttributesSupported","title":"AllImportAttributesSupported ( attributes )","titleHTML":"<ins>AllImportAttributesSupported ( <var>attributes</var> )</ins>","number":"16.2.1.10","referencingIds":["_ref_17","_ref_64"]},{"type":"clause","id":"sec-module-semantics","titleHTML":"Module Semantics","number":"16.2.1"},{"type":"production","id":"prod-ImportDeclaration","name":"ImportDeclaration","referencingIds":["_ref_109","_ref_110"]},{"type":"production","id":"prod-WithClause","name":"WithClause","referencingIds":["_ref_103","_ref_104","_ref_105","_ref_106","_ref_107","_ref_108","_ref_111","_ref_112","_ref_121","_ref_133"]},{"type":"production","id":"prod-AttributesKeyword","name":"AttributesKeyword","referencingIds":["_ref_113","_ref_114","_ref_119","_ref_122","_ref_123","_ref_132"]},{"type":"production","id":"prod-WithEntries","name":"WithEntries","referencingIds":["_ref_115","_ref_118","_ref_120","_ref_124","_ref_125","_ref_129","_ref_131"]},{"type":"production","id":"prod-AttributeKey","name":"AttributeKey","referencingIds":["_ref_116","_ref_117","_ref_126","_ref_127","_ref_128","_ref_130"]},{"type":"clause","id":"sec-imports-static-semantics-early-errors","titleHTML":"Static Semantics: Early Errors","number":"16.2.2.1"},{"type":"op","aoid":"WithClauseToAttributes","refId":"sec-with-clause-to-attributes"},{"type":"clause","id":"sec-with-clause-to-attributes","title":"Static Semantics: WithClauseToAttributes","titleHTML":"<ins>Static Semantics: WithClauseToAttributes</ins>","number":"16.2.2.2","referencingIds":["_ref_46","_ref_49","_ref_53","_ref_91","_ref_93","_ref_96"]},{"type":"clause","id":"sec-deprecated-assert-keyword-for-import-attributes","title":"Deprecated assert keyword for Import Attributes","titleHTML":"<ins>Deprecated <code>assert</code> keyword for Import Attributes</ins>","number":"16.2.2.3","referencingIds":["_ref_1","_ref_6"]},{"type":"clause","id":"sec-imports","titleHTML":"Imports","number":"16.2.2","referencingIds":["_ref_9"]},{"type":"clause","id":"sec-exports","titleHTML":"Exports","number":"16.2.3"},{"type":"clause","id":"sec-modules","titleHTML":"Modules","number":"16.2"},{"type":"clause","id":"sec-ecmascript-language-scripts-and-modules","titleHTML":"ECMAScript Language: Scripts and Modules","number":"16"},{"type":"clause","id":"sec-host-integration","titleHTML":"Sample host integration: The Web embedding","number":"A"}]}`);
+let biblio = JSON.parse(`{"refsByClause":{"sec-modulerequest-record":["_ref_0","_ref_11","_ref_12","_ref_13","_ref_14","_ref_15","_ref_16","_ref_17","_ref_18","_ref_19","_ref_20","_ref_21"],"sec-cyclic-module-records":["_ref_1","_ref_46","_ref_47","_ref_48","_ref_49","_ref_50","_ref_51"],"sec-source-text-module-records":["_ref_2","_ref_63","_ref_64","_ref_65","_ref_66","_ref_98","_ref_99"],"sec-HostLoadImportedModule":["_ref_3","_ref_67","_ref_68","_ref_69","_ref_70","_ref_71","_ref_72","_ref_73"],"sec-import-call-runtime-semantics-evaluation":["_ref_4","_ref_5","_ref_6"],"sec-evaluate-import-call":["_ref_7","_ref_8","_ref_9","_ref_10"],"sec-ModuleRequestsEqual":["_ref_22","_ref_23","_ref_24","_ref_25","_ref_26","_ref_27"],"sec-static-semantics-modulerequests":["_ref_28","_ref_29","_ref_30","_ref_31","_ref_32","_ref_33","_ref_34","_ref_35","_ref_36","_ref_37","_ref_38","_ref_39","_ref_40","_ref_41","_ref_42","_ref_43","_ref_44","_ref_45","_ref_92","_ref_93","_ref_94","_ref_95","_ref_96","_ref_97"],"sec-LoadRequestedModules":["_ref_52"],"sec-InnerModuleLoading":["_ref_53","_ref_54","_ref_55","_ref_56","_ref_57","_ref_58","_ref_59","_ref_60","_ref_61","_ref_62"],"sec-FinishLoadingImportedModule":["_ref_74","_ref_75","_ref_76","_ref_77","_ref_78"],"sec-AllImportAttributesSupported":["_ref_79","_ref_80","_ref_81"],"sec-imports-static-semantics-early-errors":["_ref_82","_ref_108","_ref_109","_ref_110"],"sec-with-clause-to-attributes":["_ref_83","_ref_84","_ref_85","_ref_86","_ref_87","_ref_111","_ref_112","_ref_113","_ref_114","_ref_115","_ref_116","_ref_117","_ref_118","_ref_119","_ref_120"],"sec-host-integration":["_ref_88","_ref_89","_ref_90","_ref_91"],"sec-imports":["_ref_100","_ref_101","_ref_102","_ref_103","_ref_104","_ref_105","_ref_106","_ref_107"],"sec-exports":["_ref_121"]},"entries":[{"type":"clause","id":"intro","titleHTML":"Import Attributes","number":""},{"type":"production","id":"prod-ImportCall","name":"ImportCall"},{"type":"clause","id":"sec-import-call-runtime-semantics-evaluation","titleHTML":"Runtime Semantics: Evaluation","number":"13.3.10.1"},{"type":"op","aoid":"EvaluateImportCall","refId":"sec-evaluate-import-call"},{"type":"clause","id":"sec-evaluate-import-call","title":"EvaluateImportCall ( specifierExpression [ , optionsExpression ] )","titleHTML":"<ins>EvaluateImportCall ( <var>specifierExpression</var> [ , <var>optionsExpression</var> ] )</ins>","number":"13.3.10.2","referencingIds":["_ref_4","_ref_5"]},{"type":"clause","id":"sec-import-calls","titleHTML":"Import Calls","number":"13.3.10","referencingIds":["_ref_3"]},{"type":"clause","id":"sec-left-hand-side-expressions","titleHTML":"Left-Hand-Side Expressions","number":"13.3"},{"type":"clause","id":"sec-ecmascript-language-expressions","titleHTML":"ECMAScript Language: Expressions","number":"13"},{"type":"term","term":"ModuleRequest Record","id":"modulerequest-record","referencingIds":["_ref_9","_ref_11","_ref_13","_ref_15","_ref_16","_ref_18","_ref_22","_ref_24","_ref_28","_ref_32","_ref_33","_ref_36","_ref_38","_ref_39","_ref_41","_ref_43","_ref_45","_ref_50","_ref_54","_ref_65","_ref_66","_ref_68","_ref_75","_ref_89","_ref_90","_ref_91"]},{"type":"table","id":"table-modulerequest-fields","number":1,"caption":"Table 1: ModuleRequest Record fields","referencingIds":["_ref_0"]},{"type":"term","term":"LoadedModuleRequest Record","id":"loadedmodulerequest-record","referencingIds":["_ref_19","_ref_23","_ref_25","_ref_51","_ref_56","_ref_78"]},{"type":"table","id":"table-loadedmodulerequest-fields","number":2,"caption":"Table 2: LoadedModuleRequest Record fields"},{"type":"term","term":"ImportAttribute Record","id":"importattribute-record","referencingIds":["_ref_7","_ref_12","_ref_20","_ref_21","_ref_26","_ref_27","_ref_79","_ref_81","_ref_83","_ref_85","_ref_86"]},{"type":"table","id":"table-importattribute-fields","number":3,"caption":"Table 3: ImportAttribute Record fields"},{"type":"op","aoid":"ModuleRequestsEqual","refId":"sec-ModuleRequestsEqual"},{"type":"clause","id":"sec-ModuleRequestsEqual","title":"ModuleRequestsEqual ( left, right )","titleHTML":"<ins>ModuleRequestsEqual ( <var>left</var>, <var>right</var> )</ins>","number":"16.2.1.1.1","referencingIds":["_ref_34","_ref_57","_ref_70","_ref_76"]},{"type":"clause","id":"sec-modulerequest-record","title":"ModuleRequest and ImportAttribute Records","titleHTML":"<ins>ModuleRequest and ImportAttribute Records</ins>","number":"16.2.1.1"},{"type":"op","aoid":"ModuleRequests","refId":"sec-static-semantics-modulerequests"},{"type":"clause","id":"sec-static-semantics-modulerequests","titleHTML":"Static Semantics: ModuleRequests","number":"16.2.1.3","referencingIds":["_ref_14","_ref_29","_ref_30","_ref_31","_ref_35","_ref_42"]},{"type":"term","term":"Cyclic Module Record","id":"cyclic-module-record","referencingIds":["_ref_17","_ref_46","_ref_47","_ref_48","_ref_49","_ref_52","_ref_53","_ref_62","_ref_67","_ref_74","_ref_77"]},{"type":"table","id":"table-cyclic-module-fields","number":4,"caption":"Table 4: Additional Fields of Cyclic Module Records","referencingIds":["_ref_1"]},{"type":"op","aoid":"InnerModuleLoading","refId":"sec-InnerModuleLoading"},{"type":"clause","id":"sec-InnerModuleLoading","title":"InnerModuleLoading ( state, module )","titleHTML":"InnerModuleLoading ( <var>state</var>, <var>module</var> )","number":"16.2.1.5.1.1","referencingIds":["_ref_58"]},{"type":"clause","id":"sec-LoadRequestedModules","title":"LoadRequestedModules ( [ hostDefined ] )","titleHTML":"LoadRequestedModules ( [ <var>hostDefined</var> ] )","number":"16.2.1.5.1"},{"type":"clause","id":"sec-cyclic-module-records","titleHTML":"Cyclic Module Records","number":"16.2.1.5"},{"type":"term","term":"ImportEntry Record","id":"importentry-record","referencingIds":["_ref_63","_ref_64"]},{"type":"table","id":"table-importentry-record-fields","number":5,"caption":"Table 5: ImportEntry Record Fields","referencingIds":["_ref_2"]},{"type":"clause","id":"sec-source-text-module-records","titleHTML":"Source Text Module Records","number":"16.2.1.6"},{"type":"note","id":"note-HostLoadImportedModule-referrer-Realm-Record","number":1},{"type":"op","aoid":"HostLoadImportedModule","refId":"sec-HostLoadImportedModule"},{"type":"clause","id":"sec-HostLoadImportedModule","title":"HostLoadImportedModule ( referrer, specifier, moduleRequest, hostDefined, payload )","titleHTML":"HostLoadImportedModule ( <var>referrer</var>, <del><var>specifier</var></del>, <ins><var>moduleRequest</var></ins>, <var>hostDefined</var>, <var>payload</var> )","number":"16.2.1.8","referencingIds":["_ref_6","_ref_10","_ref_59","_ref_60","_ref_88"]},{"type":"op","aoid":"FinishLoadingImportedModule","refId":"sec-FinishLoadingImportedModule"},{"type":"clause","id":"sec-FinishLoadingImportedModule","title":"FinishLoadingImportedModule ( referrer, specifier, moduleRequest, payload, result )","titleHTML":"FinishLoadingImportedModule ( <var>referrer</var>, <del><var>specifier</var></del>, <ins><var>moduleRequest</var></ins>, <var>payload</var>, <var>result</var> )","number":"16.2.1.9","referencingIds":["_ref_61","_ref_69","_ref_71","_ref_72","_ref_73"]},{"type":"op","aoid":"HostGetSupportedImportAttributes","refId":"sec-hostgetsupportedimportattributes"},{"type":"clause","id":"sec-hostgetsupportedimportattributes","title":"HostGetSupportedImportAttributes ( )","titleHTML":"<ins>HostGetSupportedImportAttributes ( )</ins>","number":"16.2.1.10.1","referencingIds":["_ref_80"]},{"type":"op","aoid":"AllImportAttributesSupported","refId":"sec-AllImportAttributesSupported"},{"type":"clause","id":"sec-AllImportAttributesSupported","title":"AllImportAttributesSupported ( attributes )","titleHTML":"<ins>AllImportAttributesSupported ( <var>attributes</var> )</ins>","number":"16.2.1.10","referencingIds":["_ref_8","_ref_55"]},{"type":"clause","id":"sec-module-semantics","titleHTML":"Module Semantics","number":"16.2.1"},{"type":"production","id":"prod-ImportDeclaration","name":"ImportDeclaration","referencingIds":["_ref_98","_ref_99"]},{"type":"production","id":"prod-WithClause","name":"WithClause","referencingIds":["_ref_92","_ref_93","_ref_94","_ref_95","_ref_96","_ref_97","_ref_100","_ref_101","_ref_110","_ref_121"]},{"type":"production","id":"prod-AttributesKeyword","name":"AttributesKeyword","referencingIds":["_ref_102","_ref_103","_ref_108","_ref_111","_ref_112"]},{"type":"production","id":"prod-WithEntries","name":"WithEntries","referencingIds":["_ref_104","_ref_107","_ref_109","_ref_113","_ref_114","_ref_118","_ref_120"]},{"type":"production","id":"prod-AttributeKey","name":"AttributeKey","referencingIds":["_ref_105","_ref_106","_ref_115","_ref_116","_ref_117","_ref_119"]},{"type":"clause","id":"sec-imports-static-semantics-early-errors","titleHTML":"Static Semantics: Early Errors","number":"16.2.2.1"},{"type":"op","aoid":"WithClauseToAttributes","refId":"sec-with-clause-to-attributes"},{"type":"clause","id":"sec-with-clause-to-attributes","title":"Static Semantics: WithClauseToAttributes","titleHTML":"<ins>Static Semantics: WithClauseToAttributes</ins>","number":"16.2.2.2","referencingIds":["_ref_37","_ref_40","_ref_44","_ref_82","_ref_84","_ref_87"]},{"type":"clause","id":"sec-imports","titleHTML":"Imports","number":"16.2.2"},{"type":"clause","id":"sec-exports","titleHTML":"Exports","number":"16.2.3"},{"type":"clause","id":"sec-modules","titleHTML":"Modules","number":"16.2"},{"type":"clause","id":"sec-ecmascript-language-scripts-and-modules","titleHTML":"ECMAScript Language: Scripts and Modules","number":"16"},{"type":"clause","id":"sec-host-integration","titleHTML":"Sample host integration: The Web embedding","number":"A"}]}`);
 ;let usesMultipage = false</script><style>body {
   display: flex;
   word-wrap: break-word;
@@ -2628,31 +2628,18 @@
 </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">
       <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</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="Import Attributes">Import Attributes</a></li><li><span class="item-toggle">◢</span><a href="#sec-conformance" title="Conformance"><span class="secnum">2</span> Conformance</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-conformance-deprecated" title="Example Deprecated Clause Heading"><span class="secnum">2.1</span> Example Deprecated Clause Heading</a></li></ol></li><li><span class="item-toggle">◢</span><a href="#sec-ecmascript-language-expressions" title="ECMAScript Language: Expressions"><span class="secnum">13</span> ECMAScript Language: 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">13.3</span> Left-Hand-Side Expressions</a><ol class="toc"><li><span class="item-toggle">◢</span><a href="#sec-import-calls" title="Import Calls"><span class="secnum">13.3.10</span> Import Calls</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-import-call-runtime-semantics-evaluation" title="Runtime Semantics: Evaluation"><span class="secnum">13.3.10.1</span> RS: Evaluation</a></li><li><span class="item-toggle-none"></span><a href="#sec-evaluate-import-call" title="EvaluateImportCall ( specifierExpression [ , optionsExpression ] )"><span class="secnum">13.3.10.2</span> <ins>EvaluateImportCall ( <var>specifierExpression</var> [ , <var>optionsExpression</var> ] )</ins></a></li></ol></li></ol></li></ol></li><li><span class="item-toggle">◢</span><a href="#sec-ecmascript-language-scripts-and-modules" title="ECMAScript Language: Scripts and Modules"><span class="secnum">16</span> ECMAScript Language: Scripts and Modules</a><ol class="toc"><li><span class="item-toggle">◢</span><a href="#sec-modules" title="Modules"><span class="secnum">16.2</span> Modules</a><ol class="toc"><li><span class="item-toggle">◢</span><a href="#sec-module-semantics" title="Module Semantics"><span class="secnum">16.2.1</span> Module Semantics</a><ol class="toc"><li><span class="item-toggle">◢</span><a href="#sec-modulerequest-record" title="ModuleRequest and ImportAttribute Records"><span class="secnum">16.2.1.1</span> <ins>ModuleRequest and ImportAttribute Records</ins></a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-ModuleRequestsEqual" title="ModuleRequestsEqual ( left, right )"><span class="secnum">16.2.1.1.1</span> <ins>ModuleRequestsEqual ( <var>left</var>, <var>right</var> )</ins></a></li></ol></li><li><span class="item-toggle-none"></span><a href="#sec-static-semantics-modulerequests" title="Static Semantics: ModuleRequests"><span class="secnum">16.2.1.3</span> SS: ModuleRequests</a></li><li><span class="item-toggle">◢</span><a href="#sec-cyclic-module-records" title="Cyclic Module Records"><span class="secnum">16.2.1.5</span> Cyclic Module Records</a><ol class="toc"><li><span class="item-toggle">◢</span><a href="#sec-LoadRequestedModules" title="LoadRequestedModules ( [ hostDefined ] )"><span class="secnum">16.2.1.5.1</span> LoadRequestedModules ( [ <var>hostDefined</var> ] )</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-InnerModuleLoading" title="InnerModuleLoading ( state, module )"><span class="secnum">16.2.1.5.1.1</span> InnerModuleLoading ( <var>state</var>, <var>module</var> )</a></li></ol></li></ol></li><li><span class="item-toggle-none"></span><a href="#sec-source-text-module-records" title="Source Text Module Records"><span class="secnum">16.2.1.6</span> Source Text Module Records</a></li><li><span class="item-toggle-none"></span><a href="#sec-HostLoadImportedModule" title="HostLoadImportedModule ( referrer, specifier, moduleRequest, hostDefined, payload )"><span class="secnum">16.2.1.8</span> HostLoadImportedModule ( <var>referrer</var>, <del><var>specifier</var></del>, <ins><var>moduleRequest</var></ins>, <var>hostDefined</var>, <var>payload</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-FinishLoadingImportedModule" title="FinishLoadingImportedModule ( referrer, specifier, moduleRequest, payload, result )"><span class="secnum">16.2.1.9</span> FinishLoadingImportedModule ( <var>referrer</var>, <del><var>specifier</var></del>, <ins><var>moduleRequest</var></ins>, <var>payload</var>, <var>result</var> )</a></li><li><span class="item-toggle">◢</span><a href="#sec-AllImportAttributesSupported" title="AllImportAttributesSupported ( attributes )"><span class="secnum">16.2.1.10</span> <ins>AllImportAttributesSupported ( <var>attributes</var> )</ins></a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-hostgetsupportedimportattributes" title="HostGetSupportedImportAttributes ( )"><span class="secnum">16.2.1.10.1</span> <ins>HostGetSupportedImportAttributes ( )</ins></a></li></ol></li></ol></li><li><span class="item-toggle">◢</span><a href="#sec-imports" title="Imports"><span class="secnum">16.2.2</span> Imports</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-imports-static-semantics-early-errors" title="Static Semantics: Early Errors"><span class="secnum">16.2.2.1</span> SS: Early Errors</a></li><li><span class="item-toggle-none"></span><a href="#sec-with-clause-to-attributes" title="Static Semantics: WithClauseToAttributes"><span class="secnum">16.2.2.2</span> <ins>SS: WithClauseToAttributes</ins></a></li><li><span class="item-toggle-none"></span><a href="#sec-deprecated-assert-keyword-for-import-attributes" title="Deprecated assert keyword for Import Attributes"><span class="secnum">16.2.2.3</span> <ins>Deprecated <code>assert</code> keyword for Import Attributes</ins></a></li></ol></li><li><span class="item-toggle-none"></span><a href="#sec-exports" title="Exports"><span class="secnum">16.2.3</span> Exports</a></li></ol></li></ol></li><li><span class="item-toggle-none"></span><a href="#sec-host-integration" title="Sample host integration: The Web embedding"><span class="secnum">A</span> Sample host integration: The Web embedding</a></li></ol></div></div><div id="spec-container"><h1 class="version">Stage 3 Draft / September 28, 2023</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</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="Import Attributes">Import Attributes</a></li><li><span class="item-toggle">◢</span><a href="#sec-ecmascript-language-expressions" title="ECMAScript Language: Expressions"><span class="secnum">13</span> ECMAScript Language: 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">13.3</span> Left-Hand-Side Expressions</a><ol class="toc"><li><span class="item-toggle">◢</span><a href="#sec-import-calls" title="Import Calls"><span class="secnum">13.3.10</span> Import Calls</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-import-call-runtime-semantics-evaluation" title="Runtime Semantics: Evaluation"><span class="secnum">13.3.10.1</span> RS: Evaluation</a></li><li><span class="item-toggle-none"></span><a href="#sec-evaluate-import-call" title="EvaluateImportCall ( specifierExpression [ , optionsExpression ] )"><span class="secnum">13.3.10.2</span> <ins>EvaluateImportCall ( <var>specifierExpression</var> [ , <var>optionsExpression</var> ] )</ins></a></li></ol></li></ol></li></ol></li><li><span class="item-toggle">◢</span><a href="#sec-ecmascript-language-scripts-and-modules" title="ECMAScript Language: Scripts and Modules"><span class="secnum">16</span> ECMAScript Language: Scripts and Modules</a><ol class="toc"><li><span class="item-toggle">◢</span><a href="#sec-modules" title="Modules"><span class="secnum">16.2</span> Modules</a><ol class="toc"><li><span class="item-toggle">◢</span><a href="#sec-module-semantics" title="Module Semantics"><span class="secnum">16.2.1</span> Module Semantics</a><ol class="toc"><li><span class="item-toggle">◢</span><a href="#sec-modulerequest-record" title="ModuleRequest and ImportAttribute Records"><span class="secnum">16.2.1.1</span> <ins>ModuleRequest and ImportAttribute Records</ins></a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-ModuleRequestsEqual" title="ModuleRequestsEqual ( left, right )"><span class="secnum">16.2.1.1.1</span> <ins>ModuleRequestsEqual ( <var>left</var>, <var>right</var> )</ins></a></li></ol></li><li><span class="item-toggle-none"></span><a href="#sec-static-semantics-modulerequests" title="Static Semantics: ModuleRequests"><span class="secnum">16.2.1.3</span> SS: ModuleRequests</a></li><li><span class="item-toggle">◢</span><a href="#sec-cyclic-module-records" title="Cyclic Module Records"><span class="secnum">16.2.1.5</span> Cyclic Module Records</a><ol class="toc"><li><span class="item-toggle">◢</span><a href="#sec-LoadRequestedModules" title="LoadRequestedModules ( [ hostDefined ] )"><span class="secnum">16.2.1.5.1</span> LoadRequestedModules ( [ <var>hostDefined</var> ] )</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-InnerModuleLoading" title="InnerModuleLoading ( state, module )"><span class="secnum">16.2.1.5.1.1</span> InnerModuleLoading ( <var>state</var>, <var>module</var> )</a></li></ol></li></ol></li><li><span class="item-toggle-none"></span><a href="#sec-source-text-module-records" title="Source Text Module Records"><span class="secnum">16.2.1.6</span> Source Text Module Records</a></li><li><span class="item-toggle-none"></span><a href="#sec-HostLoadImportedModule" title="HostLoadImportedModule ( referrer, specifier, moduleRequest, hostDefined, payload )"><span class="secnum">16.2.1.8</span> HostLoadImportedModule ( <var>referrer</var>, <del><var>specifier</var></del>, <ins><var>moduleRequest</var></ins>, <var>hostDefined</var>, <var>payload</var> )</a></li><li><span class="item-toggle-none"></span><a href="#sec-FinishLoadingImportedModule" title="FinishLoadingImportedModule ( referrer, specifier, moduleRequest, payload, result )"><span class="secnum">16.2.1.9</span> FinishLoadingImportedModule ( <var>referrer</var>, <del><var>specifier</var></del>, <ins><var>moduleRequest</var></ins>, <var>payload</var>, <var>result</var> )</a></li><li><span class="item-toggle">◢</span><a href="#sec-AllImportAttributesSupported" title="AllImportAttributesSupported ( attributes )"><span class="secnum">16.2.1.10</span> <ins>AllImportAttributesSupported ( <var>attributes</var> )</ins></a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-hostgetsupportedimportattributes" title="HostGetSupportedImportAttributes ( )"><span class="secnum">16.2.1.10.1</span> <ins>HostGetSupportedImportAttributes ( )</ins></a></li></ol></li></ol></li><li><span class="item-toggle">◢</span><a href="#sec-imports" title="Imports"><span class="secnum">16.2.2</span> Imports</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-imports-static-semantics-early-errors" title="Static Semantics: Early Errors"><span class="secnum">16.2.2.1</span> SS: Early Errors</a></li><li><span class="item-toggle-none"></span><a href="#sec-with-clause-to-attributes" title="Static Semantics: WithClauseToAttributes"><span class="secnum">16.2.2.2</span> <ins>SS: WithClauseToAttributes</ins></a></li></ol></li><li><span class="item-toggle-none"></span><a href="#sec-exports" title="Exports"><span class="secnum">16.2.3</span> Exports</a></li></ol></li></ol></li><li><span class="item-toggle-none"></span><a href="#sec-host-integration" title="Sample host integration: The Web embedding"><span class="secnum">A</span> Sample host integration: The Web embedding</a></li></ol></div></div><div id="spec-container"><h1 class="version">Stage 3 Draft / July 4, 2024</h1>
 
 <emu-intro id="intro">
   <h1>Import Attributes</h1>
   <p>See <a href="https://github.com/tc39/proposal-import-attributes/blob/master/README.md">the explainer</a> for information.</p>
   <p>The relevant syntax changes are in the <a href="#sec-left-hand-side-expressions">Import Calls</a> and <a href="#sec-imports">Imports</a> sections.</p>
 
-  <p>This feature would ideally use the <code>with</code> <emu-xref href="#sec-keywords-and-reserved-words"><a href="https://tc39.es/ecma262/#sec-keywords-and-reserved-words">keyword</a></emu-xref> to denote attributes, but there are existing implementations based on a previous version of the proposal using the <code>assert</code> <emu-xref href="#sec-keywords-and-reserved-words"><a href="https://tc39.es/ecma262/#sec-keywords-and-reserved-words">keyword</a></emu-xref>. Due to potential web compatibility risks, the proposal still includes <code>assert</code> marked as <emu-xref href="#sec-conformance" id="_ref_0"><a href="#sec-conformance">deprecated</a></emu-xref>. Usage of the old syntax is discouraged, and its removal is being investigated.</p>
-
   <emu-note type="editor" style="background:#ffeedd"><span class="note">Editor's Note</span><div class="note-contents">
     <p><strong>This document might be out of date</strong>. Please refer to <a href="https://ci.tc39.es/preview/tc39/ecma262/pull/3057">the tc39/ecma262#3057 preview</a> for the latest version.</p>
   </div></emu-note>
 </emu-intro>
 
-<emu-clause id="sec-conformance" number="2">
-  <h1><span class="secnum">2</span> Conformance</h1>
-
-  <p><ins>A conforming implementation of ECMAScript should not implement <dfn>Deprecated</dfn> subclauses or algorithm steps, unless necessary for compatibility with existing applications that already run in such implementation before the deprecation of the given language feature. All of the language features and behaviours specified within Deprecated subclauses or algorithm steps have one or more undesirable characteristics. However, their use in existing applications currently prevents their removal from this specification. These features are not considered part of the core ECMAScript language. Programmers should not use or assume the existence of these features and behaviours when writing new ECMAScript code.</ins></p>
-
-  <emu-clause id="sec-conformance-deprecated" example="" deprecated=""><div class="attributes-tag"><emu-xref href="#sec-conformance" id="_ref_10"><a href="#sec-conformance">Deprecated</a></emu-xref></div>
-    <h1><span class="secnum">2.1</span> Example Deprecated Clause Heading</h1>
-    <p>Example clause contents.</p>
-  </emu-clause>
-</emu-clause>
-
 <emu-clause id="sec-ecmascript-language-expressions" number="13">
   <h1><span class="secnum">13</span> ECMAScript Language: Expressions</h1>
 
@@ -2695,7 +2682,7 @@ <h1><span class="secnum">13.3.10.1</span> Runtime Semantics: Evaluation</h1>
     </emu-rhs>
 </emu-production></ins>
 </emu-grammar>
-        <emu-alg><ol><li><ins>Return ?&nbsp;<emu-xref aoid="EvaluateImportCall" id="_ref_11"><a href="#sec-evaluate-import-call">EvaluateImportCall</a></emu-xref>(<emu-nt><a href="https://tc39.es/ecma262/#prod-AssignmentExpression">AssignmentExpression</a></emu-nt>).</ins></li></ol></emu-alg>
+        <emu-alg><ol><li><ins>Return ?&nbsp;<emu-xref aoid="EvaluateImportCall" id="_ref_4"><a href="#sec-evaluate-import-call">EvaluateImportCall</a></emu-xref>(<emu-nt><a href="https://tc39.es/ecma262/#prod-AssignmentExpression">AssignmentExpression</a></emu-nt>).</ins></li></ol></emu-alg>
 
         <emu-grammar><ins><emu-production name="ImportCall" collapsed="">
     <emu-nt><a href="#prod-ImportCall">ImportCall</a></emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="7jkmc6eq" id="prod-OGjeE4Nc">
@@ -2709,7 +2696,7 @@ <h1><span class="secnum">13.3.10.1</span> Runtime Semantics: Evaluation</h1>
     </emu-rhs>
 </emu-production></ins>
 </emu-grammar>
-        <emu-alg><ol><li><ins>Return ?&nbsp;<emu-xref aoid="EvaluateImportCall" id="_ref_12"><a href="#sec-evaluate-import-call">EvaluateImportCall</a></emu-xref>(the first <emu-nt><a href="https://tc39.es/ecma262/#prod-AssignmentExpression">AssignmentExpression</a></emu-nt>, the second <emu-nt><a href="https://tc39.es/ecma262/#prod-AssignmentExpression">AssignmentExpression</a></emu-nt>).</ins></li></ol></emu-alg>
+        <emu-alg><ol><li><ins>Return ?&nbsp;<emu-xref aoid="EvaluateImportCall" id="_ref_5"><a href="#sec-evaluate-import-call">EvaluateImportCall</a></emu-xref>(the first <emu-nt><a href="https://tc39.es/ecma262/#prod-AssignmentExpression">AssignmentExpression</a></emu-nt>, the second <emu-nt><a href="https://tc39.es/ecma262/#prod-AssignmentExpression">AssignmentExpression</a></emu-nt>).</ins></li></ol></emu-alg>
 
         <emu-grammar><del><emu-production name="ImportCall" collapsed="">
     <emu-nt><a href="#prod-ImportCall">ImportCall</a></emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="jskt5mpw" id="prod-4N8EtSSM">
@@ -2720,17 +2707,13 @@ <h1><span class="secnum">13.3.10.1</span> Runtime Semantics: Evaluation</h1>
     </emu-rhs>
 </emu-production></del>
 </emu-grammar>
-        <emu-alg><ol><li><del>Let <var>referrer</var> be <emu-xref aoid="GetActiveScriptOrModule"><a href="https://tc39.es/ecma262/#sec-getactivescriptormodule">GetActiveScriptOrModule</a></emu-xref>().</del></li><li><del>If <var>referrer</var> is <emu-val>null</emu-val>, set <var>referrer</var> to <emu-xref href="#current-realm"><a href="https://tc39.es/ecma262/#current-realm">the current Realm Record</a></emu-xref>.</del></li><li><del>Let <var>argRef</var> be ?&nbsp;<emu-xref aoid="Evaluation"><a href="https://tc39.es/ecma262/#sec-evaluation">Evaluation</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-AssignmentExpression">AssignmentExpression</a></emu-nt>.</del></li><li><del>Let <var>specifier</var> be ?&nbsp;<emu-xref aoid="GetValue"><a href="https://tc39.es/ecma262/#sec-getvalue">GetValue</a></emu-xref>(<var>argRef</var>).</del></li><li><del>Let <var>promiseCapability</var> be !&nbsp;<emu-xref aoid="NewPromiseCapability"><a href="https://tc39.es/ecma262/#sec-newpromisecapability">NewPromiseCapability</a></emu-xref>(<emu-xref href="#sec-promise-constructor"><a href="https://tc39.es/ecma262/#sec-promise-constructor">%Promise%</a></emu-xref>).</del></li><li><del>Let <var>specifierString</var> be <emu-xref aoid="Completion"><a href="https://tc39.es/ecma262/#sec-completion-ao">Completion</a></emu-xref>(<emu-xref aoid="ToString"><a href="https://tc39.es/ecma262/#sec-tostring">ToString</a></emu-xref>(<var>specifier</var>)).</del></li><li><del><emu-xref aoid="IfAbruptRejectPromise"><a href="https://tc39.es/ecma262/#sec-ifabruptrejectpromise">IfAbruptRejectPromise</a></emu-xref>(<var>specifierString</var>, <var>promiseCapability</var>).</del></li><li><del>Perform <emu-xref aoid="HostLoadImportedModule" id="_ref_13"><a href="#sec-HostLoadImportedModule">HostLoadImportedModule</a></emu-xref>(<var>referrer</var>, <var>specifierString</var>, <emu-const>empty</emu-const>, <var>promiseCapability</var>).</del></li><li><del>Return <var>promiseCapability</var>.<var class="field">[[Promise]]</var>.</del></li></ol></emu-alg>
+        <emu-alg><ol><li><del>Let <var>referrer</var> be <emu-xref aoid="GetActiveScriptOrModule"><a href="https://tc39.es/ecma262/#sec-getactivescriptormodule">GetActiveScriptOrModule</a></emu-xref>().</del></li><li><del>If <var>referrer</var> is <emu-val>null</emu-val>, set <var>referrer</var> to <emu-xref href="#current-realm"><a href="https://tc39.es/ecma262/#current-realm">the current Realm Record</a></emu-xref>.</del></li><li><del>Let <var>argRef</var> be ?&nbsp;<emu-xref aoid="Evaluation"><a href="https://tc39.es/ecma262/#sec-evaluation">Evaluation</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-AssignmentExpression">AssignmentExpression</a></emu-nt>.</del></li><li><del>Let <var>specifier</var> be ?&nbsp;<emu-xref aoid="GetValue"><a href="https://tc39.es/ecma262/#sec-getvalue">GetValue</a></emu-xref>(<var>argRef</var>).</del></li><li><del>Let <var>promiseCapability</var> be !&nbsp;<emu-xref aoid="NewPromiseCapability"><a href="https://tc39.es/ecma262/#sec-newpromisecapability">NewPromiseCapability</a></emu-xref>(<emu-xref href="#sec-promise-constructor"><a href="https://tc39.es/ecma262/#sec-promise-constructor">%Promise%</a></emu-xref>).</del></li><li><del>Let <var>specifierString</var> be <emu-xref aoid="Completion"><a href="https://tc39.es/ecma262/#sec-completion-ao">Completion</a></emu-xref>(<emu-xref aoid="ToString"><a href="https://tc39.es/ecma262/#sec-tostring">ToString</a></emu-xref>(<var>specifier</var>)).</del></li><li><del><emu-xref aoid="IfAbruptRejectPromise"><a href="https://tc39.es/ecma262/#sec-ifabruptrejectpromise">IfAbruptRejectPromise</a></emu-xref>(<var>specifierString</var>, <var>promiseCapability</var>).</del></li><li><del>Perform <emu-xref aoid="HostLoadImportedModule" id="_ref_6"><a href="#sec-HostLoadImportedModule">HostLoadImportedModule</a></emu-xref>(<var>referrer</var>, <var>specifierString</var>, <emu-const>empty</emu-const>, <var>promiseCapability</var>).</del></li><li><del>Return <var>promiseCapability</var>.<var class="field">[[Promise]]</var>.</del></li></ol></emu-alg>
       </emu-clause>
 
       <emu-clause id="sec-evaluate-import-call" type="abstract operation" aoid="EvaluateImportCall">
         <h1><span class="secnum">13.3.10.2</span> <ins>EvaluateImportCall ( <var>specifierExpression</var> [ , <var>optionsExpression</var> ] )</ins></h1>
         <p>The abstract operation EvaluateImportCall takes argument <var>specifierExpression</var> (a ParseNode) and optional argument <var>optionsExpression</var> (a ParseNode) and returns either a <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">normal completion containing</a></emu-xref> a Promise or a <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">throw completion</a></emu-xref>. It performs the following steps when called:</p>
-        <emu-alg><ol><li>Let <var>referrer</var> be <emu-xref aoid="GetActiveScriptOrModule"><a href="https://tc39.es/ecma262/#sec-getactivescriptormodule">GetActiveScriptOrModule</a></emu-xref>().</li><li>If <var>referrer</var> is <emu-val>null</emu-val>, set <var>referrer</var> to <emu-xref href="#current-realm"><a href="https://tc39.es/ecma262/#current-realm">the current Realm Record</a></emu-xref>.</li><li>Let <var>specifierRef</var> be the result of evaluating <var>specifierExpression</var>.</li><li>Let <var>specifier</var> be ?&nbsp;<emu-xref aoid="GetValue"><a href="https://tc39.es/ecma262/#sec-getvalue">GetValue</a></emu-xref>(<var>specifierRef</var>).</li><li>If <var>optionsExpression</var> is present, then<ol><li>Let <var>optionsRef</var> be the result of evaluating <var>optionsExpression</var>.</li><li>Let <var>options</var> be ?&nbsp;<emu-xref aoid="GetValue"><a href="https://tc39.es/ecma262/#sec-getvalue">GetValue</a></emu-xref>(<var>optionsRef</var>).</li></ol></li><li>Else,<ol><li>Let <var>options</var> be <emu-val>undefined</emu-val>.</li></ol></li><li>Let <var>promiseCapability</var> be !&nbsp;<emu-xref aoid="NewPromiseCapability"><a href="https://tc39.es/ecma262/#sec-newpromisecapability">NewPromiseCapability</a></emu-xref>(<emu-xref href="#sec-promise-constructor"><a href="https://tc39.es/ecma262/#sec-promise-constructor">%Promise%</a></emu-xref>).</li><li>Let <var>specifierString</var> be <emu-xref aoid="Completion"><a href="https://tc39.es/ecma262/#sec-completion-ao">Completion</a></emu-xref>(<emu-xref aoid="ToString"><a href="https://tc39.es/ecma262/#sec-tostring">ToString</a></emu-xref>(<var>specifier</var>)).</li><li><emu-xref aoid="IfAbruptRejectPromise"><a href="https://tc39.es/ecma262/#sec-ifabruptrejectpromise">IfAbruptRejectPromise</a></emu-xref>(<var>specifierString</var>, <var>promiseCapability</var>).</li><li>Let <var>attributes</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>If <var>options</var> is not <emu-val>undefined</emu-val>, then<ol><li>If <emu-xref aoid="Type"><a href="https://tc39.es/ecma262/#sec-ecmascript-data-types-and-values">Type</a></emu-xref>(<var>options</var>) is not Object, then<ol><li>Perform !&nbsp;<emu-xref aoid="Call"><a href="https://tc39.es/ecma262/#sec-call">Call</a></emu-xref>(<var>promiseCapability</var>.<var class="field">[[Reject]]</var>, <emu-val>undefined</emu-val>, « a newly created <emu-val>TypeError</emu-val> object »).</li><li>Return <var>promiseCapability</var>.<var class="field">[[Promise]]</var>.</li></ol></li><li>Let <var>attributesObj</var> be <emu-xref aoid="Completion"><a href="https://tc39.es/ecma262/#sec-completion-ao">Completion</a></emu-xref>(<emu-xref aoid="Get"><a href="https://tc39.es/ecma262/#sec-get-o-p">Get</a></emu-xref>(<var>options</var>, <emu-val>"with"</emu-val>)).</li><li><emu-xref aoid="IfAbruptRejectPromise"><a href="https://tc39.es/ecma262/#sec-ifabruptrejectpromise">IfAbruptRejectPromise</a></emu-xref>(<var>attributesObj</var>, <var>promiseCapability</var>).</li><li id="step-evaluate-import-call-assert-fallback" deprecated="" normative-optional=""><div class="attributes-tag"><emu-xref href="#sec-conformance" id="_ref_14"><a href="#sec-conformance">Normative Optional</a></emu-xref>, <emu-xref href="#sec-conformance" id="_ref_15"><a href="#sec-conformance">Deprecated</a></emu-xref></div>If the <emu-xref href="#host"><a href="https://tc39.es/ecma262/#host">host</a></emu-xref> supports the <emu-xref href="#sec-deprecated-assert-keyword-for-import-attributes" id="_ref_1"><a href="#sec-deprecated-assert-keyword-for-import-attributes">deprecated <code>assert</code> keyword for import attributes</a></emu-xref> and <var>attributesObj</var> is <emu-val>undefined</emu-val>, then<ol><li>Set <var>attributesObj</var> to <emu-xref aoid="Completion"><a href="https://tc39.es/ecma262/#sec-completion-ao">Completion</a></emu-xref>(<emu-xref aoid="Get"><a href="https://tc39.es/ecma262/#sec-get-o-p">Get</a></emu-xref>(<var>options</var>, <emu-val>"assert"</emu-val>)).</li><li><emu-xref aoid="IfAbruptRejectPromise"><a href="https://tc39.es/ecma262/#sec-ifabruptrejectpromise">IfAbruptRejectPromise</a></emu-xref>(<var>attributesObj</var>, <var>promiseCapability</var>).</li></ol></li><li>If <var>attributesObj</var> is not <emu-val>undefined</emu-val>, then<ol><li>If <emu-xref aoid="Type"><a href="https://tc39.es/ecma262/#sec-ecmascript-data-types-and-values">Type</a></emu-xref>(<var>attributesObj</var>) is not Object, then<ol><li>Perform !&nbsp;<emu-xref aoid="Call"><a href="https://tc39.es/ecma262/#sec-call">Call</a></emu-xref>(<var>promiseCapability</var>.<var class="field">[[Reject]]</var>, <emu-val>undefined</emu-val>, « a newly created <emu-val>TypeError</emu-val> object »).</li><li>Return <var>promiseCapability</var>.<var class="field">[[Promise]]</var>.</li></ol></li><li>Let <var>entries</var> be <emu-xref aoid="Completion"><a href="https://tc39.es/ecma262/#sec-completion-ao">Completion</a></emu-xref>(<emu-xref aoid="EnumerableOwnProperties"><a href="https://tc39.es/ecma262/#sec-enumerableownproperties">EnumerableOwnProperties</a></emu-xref>(<var>attributesObj</var>, <emu-const>key+value</emu-const>)).</li><li><emu-xref aoid="IfAbruptRejectPromise"><a href="https://tc39.es/ecma262/#sec-ifabruptrejectpromise">IfAbruptRejectPromise</a></emu-xref>(<var>entries</var>, <var>promiseCapability</var>).</li><li>For each <var>entry</var> of <var>entries</var>, do<ol><li>Let <var>key</var> be !&nbsp;<emu-xref aoid="Get"><a href="https://tc39.es/ecma262/#sec-get-o-p">Get</a></emu-xref>(<var>entry</var>, <emu-val>"0"</emu-val>).</li><li>Let <var>value</var> be !&nbsp;<emu-xref aoid="Get"><a href="https://tc39.es/ecma262/#sec-get-o-p">Get</a></emu-xref>(<var>entry</var>, <emu-val>"1"</emu-val>).</li><li>If <emu-xref aoid="Type"><a href="https://tc39.es/ecma262/#sec-ecmascript-data-types-and-values">Type</a></emu-xref>(<var>value</var>) is not String, then<ol><li>Perform !&nbsp;<emu-xref aoid="Call"><a href="https://tc39.es/ecma262/#sec-call">Call</a></emu-xref>(<var>promiseCapability</var>.<var class="field">[[Reject]]</var>, <emu-val>undefined</emu-val>, « a newly created <emu-val>TypeError</emu-val> object »).</li><li>Return <var>promiseCapability</var>.<var class="field">[[Promise]]</var>.</li></ol></li><li>Append the <emu-xref href="#importattribute-record" id="_ref_16"><a href="#importattribute-record">ImportAttribute Record</a></emu-xref> { <var class="field">[[Key]]</var>: <var>key</var>, <var class="field">[[Value]]</var>: <var>value</var> } to <var>attributes</var>.</li></ol></li></ol></li><li>If <emu-xref aoid="AllImportAttributesSupported" id="_ref_17"><a href="#sec-AllImportAttributesSupported">AllImportAttributesSupported</a></emu-xref>(<var>attributes</var>) is <emu-val>false</emu-val>, then<ol><li>Perform !&nbsp;<emu-xref aoid="Call"><a href="https://tc39.es/ecma262/#sec-call">Call</a></emu-xref>(<var>promiseCapability</var>.<var class="field">[[Reject]]</var>, <emu-val>undefined</emu-val>, « a newly created <emu-val>TypeError</emu-val> object »).</li><li>Return <var>promiseCapability</var>.<var class="field">[[Promise]]</var>.</li></ol></li><li>Sort <var>attributes</var> according to the lexicographic order of their <var class="field">[[Key]]</var> fields, treating the value of each such field as a sequence of UTF-16 code unit values. NOTE: This sorting is observable only in that <emu-xref href="#host"><a href="https://tc39.es/ecma262/#host">hosts</a></emu-xref> are prohibited from distinguishing among attributes by the order they occur in.</li></ol></li><li>Let <var>moduleRequest</var> be a new <emu-xref href="#modulerequest-record" id="_ref_18"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> { <var class="field">[[Specifier]]</var>: <var>specifierString</var>, <var class="field">[[Attributes]]</var>: <var>attributes</var> }.</li><li>Perform <emu-xref aoid="HostLoadImportedModule" id="_ref_19"><a href="#sec-HostLoadImportedModule">HostLoadImportedModule</a></emu-xref>(<var>referrer</var>, <var>moduleRequest</var>, <emu-const>empty</emu-const>, <var>promiseCapability</var>).</li><li>Return <var>promiseCapability</var>.<var class="field">[[Promise]]</var>.</li></ol></emu-alg>
-
-        <emu-note><span class="note">Note</span><div class="note-contents">
-          Removal of the <code>assert</code> fallback when <var>options</var>'s <code>with</code> property is <emu-val>undefined</emu-val> is being investigated.
-        </div></emu-note>
+        <emu-alg><ol><li>Let <var>referrer</var> be <emu-xref aoid="GetActiveScriptOrModule"><a href="https://tc39.es/ecma262/#sec-getactivescriptormodule">GetActiveScriptOrModule</a></emu-xref>().</li><li>If <var>referrer</var> is <emu-val>null</emu-val>, set <var>referrer</var> to <emu-xref href="#current-realm"><a href="https://tc39.es/ecma262/#current-realm">the current Realm Record</a></emu-xref>.</li><li>Let <var>specifierRef</var> be the result of evaluating <var>specifierExpression</var>.</li><li>Let <var>specifier</var> be ?&nbsp;<emu-xref aoid="GetValue"><a href="https://tc39.es/ecma262/#sec-getvalue">GetValue</a></emu-xref>(<var>specifierRef</var>).</li><li>If <var>optionsExpression</var> is present, then<ol><li>Let <var>optionsRef</var> be the result of evaluating <var>optionsExpression</var>.</li><li>Let <var>options</var> be ?&nbsp;<emu-xref aoid="GetValue"><a href="https://tc39.es/ecma262/#sec-getvalue">GetValue</a></emu-xref>(<var>optionsRef</var>).</li></ol></li><li>Else,<ol><li>Let <var>options</var> be <emu-val>undefined</emu-val>.</li></ol></li><li>Let <var>promiseCapability</var> be !&nbsp;<emu-xref aoid="NewPromiseCapability"><a href="https://tc39.es/ecma262/#sec-newpromisecapability">NewPromiseCapability</a></emu-xref>(<emu-xref href="#sec-promise-constructor"><a href="https://tc39.es/ecma262/#sec-promise-constructor">%Promise%</a></emu-xref>).</li><li>Let <var>specifierString</var> be <emu-xref aoid="Completion"><a href="https://tc39.es/ecma262/#sec-completion-ao">Completion</a></emu-xref>(<emu-xref aoid="ToString"><a href="https://tc39.es/ecma262/#sec-tostring">ToString</a></emu-xref>(<var>specifier</var>)).</li><li><emu-xref aoid="IfAbruptRejectPromise"><a href="https://tc39.es/ecma262/#sec-ifabruptrejectpromise">IfAbruptRejectPromise</a></emu-xref>(<var>specifierString</var>, <var>promiseCapability</var>).</li><li>Let <var>attributes</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>If <var>options</var> is not <emu-val>undefined</emu-val>, then<ol><li>If <emu-xref aoid="Type"><a href="https://tc39.es/ecma262/#sec-ecmascript-data-types-and-values">Type</a></emu-xref>(<var>options</var>) is not Object, then<ol><li>Perform !&nbsp;<emu-xref aoid="Call"><a href="https://tc39.es/ecma262/#sec-call">Call</a></emu-xref>(<var>promiseCapability</var>.<var class="field">[[Reject]]</var>, <emu-val>undefined</emu-val>, « a newly created <emu-val>TypeError</emu-val> object »).</li><li>Return <var>promiseCapability</var>.<var class="field">[[Promise]]</var>.</li></ol></li><li>Let <var>attributesObj</var> be <emu-xref aoid="Completion"><a href="https://tc39.es/ecma262/#sec-completion-ao">Completion</a></emu-xref>(<emu-xref aoid="Get"><a href="https://tc39.es/ecma262/#sec-get-o-p">Get</a></emu-xref>(<var>options</var>, <emu-val>"with"</emu-val>)).</li><li><emu-xref aoid="IfAbruptRejectPromise"><a href="https://tc39.es/ecma262/#sec-ifabruptrejectpromise">IfAbruptRejectPromise</a></emu-xref>(<var>attributesObj</var>, <var>promiseCapability</var>).</li><li>If <var>attributesObj</var> is not <emu-val>undefined</emu-val>, then<ol><li>If <emu-xref aoid="Type"><a href="https://tc39.es/ecma262/#sec-ecmascript-data-types-and-values">Type</a></emu-xref>(<var>attributesObj</var>) is not Object, then<ol><li>Perform !&nbsp;<emu-xref aoid="Call"><a href="https://tc39.es/ecma262/#sec-call">Call</a></emu-xref>(<var>promiseCapability</var>.<var class="field">[[Reject]]</var>, <emu-val>undefined</emu-val>, « a newly created <emu-val>TypeError</emu-val> object »).</li><li>Return <var>promiseCapability</var>.<var class="field">[[Promise]]</var>.</li></ol></li><li>Let <var>entries</var> be <emu-xref aoid="Completion"><a href="https://tc39.es/ecma262/#sec-completion-ao">Completion</a></emu-xref>(<emu-xref aoid="EnumerableOwnProperties"><a href="https://tc39.es/ecma262/#sec-enumerableownproperties">EnumerableOwnProperties</a></emu-xref>(<var>attributesObj</var>, <emu-const>key+value</emu-const>)).</li><li><emu-xref aoid="IfAbruptRejectPromise"><a href="https://tc39.es/ecma262/#sec-ifabruptrejectpromise">IfAbruptRejectPromise</a></emu-xref>(<var>entries</var>, <var>promiseCapability</var>).</li><li>For each <var>entry</var> of <var>entries</var>, do<ol><li>Let <var>key</var> be !&nbsp;<emu-xref aoid="Get"><a href="https://tc39.es/ecma262/#sec-get-o-p">Get</a></emu-xref>(<var>entry</var>, <emu-val>"0"</emu-val>).</li><li>Let <var>value</var> be !&nbsp;<emu-xref aoid="Get"><a href="https://tc39.es/ecma262/#sec-get-o-p">Get</a></emu-xref>(<var>entry</var>, <emu-val>"1"</emu-val>).</li><li>If <emu-xref aoid="Type"><a href="https://tc39.es/ecma262/#sec-ecmascript-data-types-and-values">Type</a></emu-xref>(<var>value</var>) is not String, then<ol><li>Perform !&nbsp;<emu-xref aoid="Call"><a href="https://tc39.es/ecma262/#sec-call">Call</a></emu-xref>(<var>promiseCapability</var>.<var class="field">[[Reject]]</var>, <emu-val>undefined</emu-val>, « a newly created <emu-val>TypeError</emu-val> object »).</li><li>Return <var>promiseCapability</var>.<var class="field">[[Promise]]</var>.</li></ol></li><li>Append the <emu-xref href="#importattribute-record" id="_ref_7"><a href="#importattribute-record">ImportAttribute Record</a></emu-xref> { <var class="field">[[Key]]</var>: <var>key</var>, <var class="field">[[Value]]</var>: <var>value</var> } to <var>attributes</var>.</li></ol></li></ol></li><li>If <emu-xref aoid="AllImportAttributesSupported" id="_ref_8"><a href="#sec-AllImportAttributesSupported">AllImportAttributesSupported</a></emu-xref>(<var>attributes</var>) is <emu-val>false</emu-val>, then<ol><li>Perform !&nbsp;<emu-xref aoid="Call"><a href="https://tc39.es/ecma262/#sec-call">Call</a></emu-xref>(<var>promiseCapability</var>.<var class="field">[[Reject]]</var>, <emu-val>undefined</emu-val>, « a newly created <emu-val>TypeError</emu-val> object »).</li><li>Return <var>promiseCapability</var>.<var class="field">[[Promise]]</var>.</li></ol></li><li>Sort <var>attributes</var> according to the lexicographic order of their <var class="field">[[Key]]</var> fields, treating the value of each such field as a sequence of UTF-16 code unit values. NOTE: This sorting is observable only in that <emu-xref href="#host"><a href="https://tc39.es/ecma262/#host">hosts</a></emu-xref> are prohibited from distinguishing among attributes by the order they occur in.</li></ol></li><li>Let <var>moduleRequest</var> be a new <emu-xref href="#modulerequest-record" id="_ref_9"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> { <var class="field">[[Specifier]]</var>: <var>specifierString</var>, <var class="field">[[Attributes]]</var>: <var>attributes</var> }.</li><li>Perform <emu-xref aoid="HostLoadImportedModule" id="_ref_10"><a href="#sec-HostLoadImportedModule">HostLoadImportedModule</a></emu-xref>(<var>referrer</var>, <var>moduleRequest</var>, <emu-const>empty</emu-const>, <var>promiseCapability</var>).</li><li>Return <var>promiseCapability</var>.<var class="field">[[Promise]]</var>.</li></ol></emu-alg>
       </emu-clause>
     </emu-clause>
   </emu-clause>
@@ -2749,7 +2732,7 @@ <h1><span class="secnum">16.2.1</span> Module Semantics</h1>
         <h1><span class="secnum">16.2.1.1</span> <ins>ModuleRequest and ImportAttribute Records</ins></h1>
 
         <p>A <dfn id="modulerequest-record" variants="ModuleRequest Records">ModuleRequest Record</dfn> represents the request to import a module with given import attributes. It consists of the following fields:</p>
-        <emu-table id="table-modulerequest-fields" caption="ModuleRequest Record fields"><figure><figcaption>Table 1: <emu-xref href="#modulerequest-record" id="_ref_20"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> fields</figcaption>
+        <emu-table id="table-modulerequest-fields" caption="ModuleRequest Record fields"><figure><figcaption>Table 1: <emu-xref href="#modulerequest-record" id="_ref_11"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> fields</figcaption>
           <table>
             <tbody>
               <tr>
@@ -2779,7 +2762,7 @@ <h1><span class="secnum">16.2.1.1</span> <ins>ModuleRequest and ImportAttribute
                   <var class="field">[[Attributes]]</var>
                 </td>
                 <td>
-                  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> of <emu-xref href="#importattribute-record" id="_ref_21"><a href="#importattribute-record">ImportAttribute Records</a></emu-xref>
+                  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> of <emu-xref href="#importattribute-record" id="_ref_12"><a href="#importattribute-record">ImportAttribute Records</a></emu-xref>
                 </td>
                 <td>
                   The import attributes
@@ -2789,10 +2772,10 @@ <h1><span class="secnum">16.2.1.1</span> <ins>ModuleRequest and ImportAttribute
           </table>
         </figure></emu-table>
 
-        <emu-note type="editor"><span class="note">Editor's Note</span><div class="note-contents">In general, this proposal replaces places where module specifiers are passed around with <emu-xref href="#modulerequest-record" id="_ref_22"><a href="#modulerequest-record">ModuleRequest Records</a></emu-xref>. For example, several <emu-xref href="#sec-algorithm-conventions-syntax-directed-operations"><a href="https://tc39.es/ecma262/#sec-algorithm-conventions-syntax-directed-operations">syntax-directed operations</a></emu-xref>, such as <emu-xref aoid="ModuleRequests" id="_ref_23"><a href="#sec-static-semantics-modulerequests">ModuleRequests</a></emu-xref> produce <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Lists</a></emu-xref> of <emu-xref href="#modulerequest-record" id="_ref_24"><a href="#modulerequest-record">ModuleRequest Records</a></emu-xref> rather than <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Lists</a></emu-xref> of Strings which are interpreted as module specifiers. Some algorithms like <emu-xref aoid="ImportEntries"><a href="https://tc39.es/ecma262/#sec-static-semantics-importentries">ImportEntries</a></emu-xref> and <emu-xref aoid="ImportEntriesForModule"><a href="https://tc39.es/ecma262/#sec-static-semantics-importentriesformodule">ImportEntriesForModule</a></emu-xref> pass around <emu-xref href="#modulerequest-record" id="_ref_25"><a href="#modulerequest-record">ModuleRequest Records</a></emu-xref> rather than Strings, in a way which doesn't require any particular textual change. Additionally, record fields in <emu-xref href="#cyclic-module-record" id="_ref_26"><a href="#cyclic-module-record">Cyclic Module Records</a></emu-xref> and <emu-xref href="#sourctextmodule-record"><a href="https://tc39.es/ecma262/#sourctextmodule-record">Source Text Module Records</a></emu-xref> which contained <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Lists</a></emu-xref> of Strings are replaced by <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Lists</a></emu-xref> of <emu-xref href="#modulerequest-record" id="_ref_27"><a href="#modulerequest-record">ModuleRequest Records</a></emu-xref>, as indicated above.</div></emu-note>
+        <emu-note type="editor"><span class="note">Editor's Note</span><div class="note-contents">In general, this proposal replaces places where module specifiers are passed around with <emu-xref href="#modulerequest-record" id="_ref_13"><a href="#modulerequest-record">ModuleRequest Records</a></emu-xref>. For example, several <emu-xref href="#sec-algorithm-conventions-syntax-directed-operations"><a href="https://tc39.es/ecma262/#sec-algorithm-conventions-syntax-directed-operations">syntax-directed operations</a></emu-xref>, such as <emu-xref aoid="ModuleRequests" id="_ref_14"><a href="#sec-static-semantics-modulerequests">ModuleRequests</a></emu-xref> produce <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Lists</a></emu-xref> of <emu-xref href="#modulerequest-record" id="_ref_15"><a href="#modulerequest-record">ModuleRequest Records</a></emu-xref> rather than <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Lists</a></emu-xref> of Strings which are interpreted as module specifiers. Some algorithms like <emu-xref aoid="ImportEntries"><a href="https://tc39.es/ecma262/#sec-static-semantics-importentries">ImportEntries</a></emu-xref> and <emu-xref aoid="ImportEntriesForModule"><a href="https://tc39.es/ecma262/#sec-static-semantics-importentriesformodule">ImportEntriesForModule</a></emu-xref> pass around <emu-xref href="#modulerequest-record" id="_ref_16"><a href="#modulerequest-record">ModuleRequest Records</a></emu-xref> rather than Strings, in a way which doesn't require any particular textual change. Additionally, record fields in <emu-xref href="#cyclic-module-record" id="_ref_17"><a href="#cyclic-module-record">Cyclic Module Records</a></emu-xref> and <emu-xref href="#sourctextmodule-record"><a href="https://tc39.es/ecma262/#sourctextmodule-record">Source Text Module Records</a></emu-xref> which contained <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Lists</a></emu-xref> of Strings are replaced by <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Lists</a></emu-xref> of <emu-xref href="#modulerequest-record" id="_ref_18"><a href="#modulerequest-record">ModuleRequest Records</a></emu-xref>, as indicated above.</div></emu-note>
 
-        <p><ins>A <dfn id="loadedmodulerequest-record" variants="LoadedModuleRequest Records">LoadedModuleRequest Record</dfn> represents the request to import a module together with the resulting <emu-xref href="#sec-abstract-module-records"><a href="https://tc39.es/ecma262/#sec-abstract-module-records">Module Record</a></emu-xref>. It consists of the same fields defined in table <emu-xref href="#table-modulerequest-fields" id="_ref_2"><a href="#table-modulerequest-fields">Table 1</a></emu-xref>, with the addition of <var class="field">[[Module]]</var>:</ins></p>
-        <emu-table id="table-loadedmodulerequest-fields" caption="LoadedModuleRequest Record fields"><figure><figcaption>Table 2: <emu-xref href="#loadedmodulerequest-record" id="_ref_28"><a href="#loadedmodulerequest-record">LoadedModuleRequest Record</a></emu-xref> fields</figcaption>
+        <p><ins>A <dfn id="loadedmodulerequest-record" variants="LoadedModuleRequest Records">LoadedModuleRequest Record</dfn> represents the request to import a module together with the resulting <emu-xref href="#sec-abstract-module-records"><a href="https://tc39.es/ecma262/#sec-abstract-module-records">Module Record</a></emu-xref>. It consists of the same fields defined in table <emu-xref href="#table-modulerequest-fields" id="_ref_0"><a href="#table-modulerequest-fields">Table 1</a></emu-xref>, with the addition of <var class="field">[[Module]]</var>:</ins></p>
+        <emu-table id="table-loadedmodulerequest-fields" caption="LoadedModuleRequest Record fields"><figure><figcaption>Table 2: <emu-xref href="#loadedmodulerequest-record" id="_ref_19"><a href="#loadedmodulerequest-record">LoadedModuleRequest Record</a></emu-xref> fields</figcaption>
           <table>
             <tbody><tr>
               <th>
@@ -2821,7 +2804,7 @@ <h1><span class="secnum">16.2.1.1</span> <ins>ModuleRequest and ImportAttribute
                 <var class="field">[[Attributes]]</var>
               </td>
               <td>
-                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> of <emu-xref href="#importattribute-record" id="_ref_29"><a href="#importattribute-record">ImportAttribute Records</a></emu-xref>
+                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> of <emu-xref href="#importattribute-record" id="_ref_20"><a href="#importattribute-record">ImportAttribute Records</a></emu-xref>
               </td>
               <td>
                 The import attributes
@@ -2842,7 +2825,7 @@ <h1><span class="secnum">16.2.1.1</span> <ins>ModuleRequest and ImportAttribute
         </figure></emu-table>
 
         <p><ins>An <dfn id="importattribute-record" variants="ImportAttribute Records">ImportAttribute Record</dfn> consists of the following fields:</ins></p>
-        <emu-table id="table-importattribute-fields" caption="ImportAttribute Record fields"><figure><figcaption>Table 3: <emu-xref href="#importattribute-record" id="_ref_30"><a href="#importattribute-record">ImportAttribute Record</a></emu-xref> fields</figcaption>
+        <emu-table id="table-importattribute-fields" caption="ImportAttribute Record fields"><figure><figcaption>Table 3: <emu-xref href="#importattribute-record" id="_ref_21"><a href="#importattribute-record">ImportAttribute Record</a></emu-xref> fields</figcaption>
           <table>
             <tbody>
               <tr>
@@ -2884,15 +2867,15 @@ <h1><span class="secnum">16.2.1.1</span> <ins>ModuleRequest and ImportAttribute
 
         <emu-clause id="sec-ModuleRequestsEqual" type="abstract operation" aoid="ModuleRequestsEqual">
           <h1><span class="secnum">16.2.1.1.1</span> <ins>ModuleRequestsEqual ( <var>left</var>, <var>right</var> )</ins></h1>
-          <p>The abstract operation ModuleRequestsEqual takes arguments <var>left</var> (a <emu-xref href="#modulerequest-record" id="_ref_31"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> or a <emu-xref href="#loadedmodulerequest-record" id="_ref_32"><a href="#loadedmodulerequest-record">LoadedModuleRequest Record</a></emu-xref>) and <var>right</var> (a <emu-xref href="#modulerequest-record" id="_ref_33"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> or a <emu-xref href="#loadedmodulerequest-record" id="_ref_34"><a href="#loadedmodulerequest-record">LoadedModuleRequest Record</a></emu-xref>) and returns a Boolean. It performs the following steps when called:</p>
+          <p>The abstract operation ModuleRequestsEqual takes arguments <var>left</var> (a <emu-xref href="#modulerequest-record" id="_ref_22"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> or a <emu-xref href="#loadedmodulerequest-record" id="_ref_23"><a href="#loadedmodulerequest-record">LoadedModuleRequest Record</a></emu-xref>) and <var>right</var> (a <emu-xref href="#modulerequest-record" id="_ref_24"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> or a <emu-xref href="#loadedmodulerequest-record" id="_ref_25"><a href="#loadedmodulerequest-record">LoadedModuleRequest Record</a></emu-xref>) and returns a Boolean. It performs the following steps when called:</p>
 
-          <emu-alg><ol><li>If <var>left</var>.<var class="field">[[Specifier]]</var> is not <var>right</var>.<var class="field">[[Specifier]]</var>, return <emu-val>false</emu-val>.</li><li>Let <var>leftAttrs</var> be <var>left</var>.<var class="field">[[Attributes]]</var>.</li><li>Let <var>rightAttrs</var> be <var>right</var>.<var class="field">[[Attributes]]</var>.</li><li>Let <var>leftAttrsCount</var> be the number of elements in <var>leftAttrs</var>.</li><li>Let <var>rightAttrsCount</var> be the number of elements in <var>rightAttrs</var>.</li><li>If <var>leftAttrsCount</var> ≠ <var>rightAttrsCount</var>, return <emu-val>false</emu-val>.</li><li>For each <emu-xref href="#importattribute-record" id="_ref_35"><a href="#importattribute-record">ImportAttribute Record</a></emu-xref> <var>l</var> of <var>leftAttrs</var>, do<ol><li>Let <var>found</var> be <emu-val>false</emu-val>.</li><li>For each <emu-xref href="#importattribute-record" id="_ref_36"><a href="#importattribute-record">ImportAttribute Record</a></emu-xref> <var>r</var> of <var>rightAttrs</var>, do<ol><li>If <var>l</var>.<var class="field">[[Key]]</var> is <var>r</var>.<var class="field">[[Key]]</var>, then<ol><li>If <var>l</var>.<var class="field">[[Value]]</var> is <var>r</var>.<var class="field">[[Value]]</var>, then<ol><li><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: <var>found</var> is <emu-val>false</emu-val>.</li><li>Set <var>found</var> to <emu-val>true</emu-val>.</li></ol></li><li>Else,<ol><li>Return <emu-val>false</emu-val>.</li></ol></li></ol></li></ol></li><li>If <var>found</var> is <emu-val>false</emu-val>, return <emu-val>false</emu-val>.</li></ol></li><li>Return <emu-val>true</emu-val>.</li></ol></emu-alg>
+          <emu-alg><ol><li>If <var>left</var>.<var class="field">[[Specifier]]</var> is not <var>right</var>.<var class="field">[[Specifier]]</var>, return <emu-val>false</emu-val>.</li><li>Let <var>leftAttrs</var> be <var>left</var>.<var class="field">[[Attributes]]</var>.</li><li>Let <var>rightAttrs</var> be <var>right</var>.<var class="field">[[Attributes]]</var>.</li><li>Let <var>leftAttrsCount</var> be the number of elements in <var>leftAttrs</var>.</li><li>Let <var>rightAttrsCount</var> be the number of elements in <var>rightAttrs</var>.</li><li>If <var>leftAttrsCount</var> ≠ <var>rightAttrsCount</var>, return <emu-val>false</emu-val>.</li><li>For each <emu-xref href="#importattribute-record" id="_ref_26"><a href="#importattribute-record">ImportAttribute Record</a></emu-xref> <var>l</var> of <var>leftAttrs</var>, do<ol><li>Let <var>found</var> be <emu-val>false</emu-val>.</li><li>For each <emu-xref href="#importattribute-record" id="_ref_27"><a href="#importattribute-record">ImportAttribute Record</a></emu-xref> <var>r</var> of <var>rightAttrs</var>, do<ol><li>If <var>l</var>.<var class="field">[[Key]]</var> is <var>r</var>.<var class="field">[[Key]]</var>, then<ol><li>If <var>l</var>.<var class="field">[[Value]]</var> is <var>r</var>.<var class="field">[[Value]]</var>, then<ol><li><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: <var>found</var> is <emu-val>false</emu-val>.</li><li>Set <var>found</var> to <emu-val>true</emu-val>.</li></ol></li><li>Else,<ol><li>Return <emu-val>false</emu-val>.</li></ol></li></ol></li></ol></li><li>If <var>found</var> is <emu-val>false</emu-val>, return <emu-val>false</emu-val>.</li></ol></li><li>Return <emu-val>true</emu-val>.</li></ol></emu-alg>
         </emu-clause>
       </emu-clause>
 
       <emu-clause id="sec-static-semantics-modulerequests" type="sdo" number="3" aoid="ModuleRequests">
         <h1><span class="secnum">16.2.1.3</span> Static Semantics: ModuleRequests</h1>
-        <p>The <emu-xref href="#sec-algorithm-conventions-syntax-directed-operations"><a href="https://tc39.es/ecma262/#sec-algorithm-conventions-syntax-directed-operations">syntax-directed operation</a></emu-xref> ModuleRequests takes no arguments and returns 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> of <del>Strings</del><ins><emu-xref href="#modulerequest-record" id="_ref_37"><a href="#modulerequest-record">ModuleRequest Records</a></emu-xref></ins>. It is defined piecewise over the following productions:</p>
+        <p>The <emu-xref href="#sec-algorithm-conventions-syntax-directed-operations"><a href="https://tc39.es/ecma262/#sec-algorithm-conventions-syntax-directed-operations">syntax-directed operation</a></emu-xref> ModuleRequests takes no arguments and returns 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> of <del>Strings</del><ins><emu-xref href="#modulerequest-record" id="_ref_28"><a href="#modulerequest-record">ModuleRequest Records</a></emu-xref></ins>. It is defined piecewise over the following productions:</p>
         <emu-grammar><emu-production name="Module" collapsed="">
     <emu-nt><a href="https://tc39.es/ecma262/#prod-Module">Module</a></emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="n7nathbb"><emu-gann>[empty]</emu-gann></emu-rhs>
 </emu-production>
@@ -2902,7 +2885,7 @@ <h1><span class="secnum">16.2.1.3</span> Static Semantics: ModuleRequests</h1>
     <emu-nt><a href="https://tc39.es/ecma262/#prod-ModuleItemList">ModuleItemList</a></emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="ap7dhqxm"><emu-nt><a href="https://tc39.es/ecma262/#prod-ModuleItem">ModuleItem</a></emu-nt></emu-rhs>
 </emu-production>
 </emu-grammar>
-        <emu-alg><ol><li>Return <emu-xref aoid="ModuleRequests" id="_ref_38"><a href="#sec-static-semantics-modulerequests">ModuleRequests</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-ModuleItem">ModuleItem</a></emu-nt>.</li></ol></emu-alg>
+        <emu-alg><ol><li>Return <emu-xref aoid="ModuleRequests" id="_ref_29"><a href="#sec-static-semantics-modulerequests">ModuleRequests</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-ModuleItem">ModuleItem</a></emu-nt>.</li></ol></emu-alg>
         <emu-grammar><emu-production name="ModuleItemList" collapsed="">
     <emu-nt><a href="https://tc39.es/ecma262/#prod-ModuleItemList">ModuleItemList</a></emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="dd23jrxs">
         <emu-nt><a href="https://tc39.es/ecma262/#prod-ModuleItemList">ModuleItemList</a></emu-nt>
@@ -2910,7 +2893,7 @@ <h1><span class="secnum">16.2.1.3</span> Static Semantics: ModuleRequests</h1>
     </emu-rhs>
 </emu-production>
 </emu-grammar>
-        <emu-alg><ol><li>Let <del><var>moduleNames</var></del><ins><var>requests</var></ins> be <emu-xref aoid="ModuleRequests" id="_ref_39"><a href="#sec-static-semantics-modulerequests">ModuleRequests</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-ModuleItemList">ModuleItemList</a></emu-nt>.</li><li>Let <del><var>additionalNames</var></del><ins><var>additionalRequests</var></ins> be <emu-xref aoid="ModuleRequests" id="_ref_40"><a href="#sec-static-semantics-modulerequests">ModuleRequests</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-ModuleItem">ModuleItem</a></emu-nt>.</li><li><del>For each String <var>name</var> of <var>additionalNames</var>, do</del></li><li><ins>For each <emu-xref href="#modulerequest-record" id="_ref_41"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> <var>mr</var> of <var>additionalRequests</var>, do</ins><ol><li>If <del><var>moduleNames</var></del><ins><var>requests</var></ins> does not contain <del><var>name</var></del> <ins>a <emu-xref href="#modulerequest-record" id="_ref_42"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> <var>mr2</var> such that <emu-xref aoid="ModuleRequestsEqual" id="_ref_43"><a href="#sec-ModuleRequestsEqual">ModuleRequestsEqual</a></emu-xref>(<var>mr</var>, <var>mr2</var>) is <emu-val>true</emu-val></ins>, then<ol><li>Append <del><var>name</var></del><ins><var>mr</var></ins> to <del><var>moduleNames</var></del><ins><var>requests</var></ins>.</li></ol></li></ol></li><li>Return <del><var>moduleNames</var></del><ins><var>requests</var></ins>.</li></ol></emu-alg>
+        <emu-alg><ol><li>Let <del><var>moduleNames</var></del><ins><var>requests</var></ins> be <emu-xref aoid="ModuleRequests" id="_ref_30"><a href="#sec-static-semantics-modulerequests">ModuleRequests</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-ModuleItemList">ModuleItemList</a></emu-nt>.</li><li>Let <del><var>additionalNames</var></del><ins><var>additionalRequests</var></ins> be <emu-xref aoid="ModuleRequests" id="_ref_31"><a href="#sec-static-semantics-modulerequests">ModuleRequests</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-ModuleItem">ModuleItem</a></emu-nt>.</li><li><del>For each String <var>name</var> of <var>additionalNames</var>, do</del></li><li><ins>For each <emu-xref href="#modulerequest-record" id="_ref_32"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> <var>mr</var> of <var>additionalRequests</var>, do</ins><ol><li>If <del><var>moduleNames</var></del><ins><var>requests</var></ins> does not contain <del><var>name</var></del> <ins>a <emu-xref href="#modulerequest-record" id="_ref_33"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> <var>mr2</var> such that <emu-xref aoid="ModuleRequestsEqual" id="_ref_34"><a href="#sec-ModuleRequestsEqual">ModuleRequestsEqual</a></emu-xref>(<var>mr</var>, <var>mr2</var>) is <emu-val>true</emu-val></ins>, then<ol><li>Append <del><var>name</var></del><ins><var>mr</var></ins> to <del><var>moduleNames</var></del><ins><var>requests</var></ins>.</li></ol></li></ol></li><li>Return <del><var>moduleNames</var></del><ins><var>requests</var></ins>.</li></ol></emu-alg>
         <emu-grammar><emu-production name="ModuleItem" collapsed="">
     <emu-nt><a href="https://tc39.es/ecma262/#prod-ModuleItem">ModuleItem</a></emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="15hryu6r"><emu-nt><a href="https://tc39.es/ecma262/#prod-StatementListItem">StatementListItem</a></emu-nt></emu-rhs>
 </emu-production>
@@ -2925,18 +2908,18 @@ <h1><span class="secnum">16.2.1.3</span> Static Semantics: ModuleRequests</h1>
     </emu-rhs>
 </emu-production>
 </emu-grammar>
-        <emu-alg><ol><li><del>Return <emu-xref aoid="ModuleRequests" id="_ref_44"><a href="#sec-static-semantics-modulerequests">ModuleRequests</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-FromClause">FromClause</a></emu-nt>.</del></li><li><ins>Let <var>specifier</var> be <emu-xref aoid="SV"><a href="https://tc39.es/ecma262/#sec-static-semantics-sv">SV</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-FromClause">FromClause</a></emu-nt>.</ins></li><li><ins>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 the <emu-xref href="#modulerequest-record" id="_ref_45"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> { <var class="field">[[Specifer]]</var>: <var>specifier</var>, <var class="field">[[Attributes]]</var>: « » }.</ins></li></ol></emu-alg>
+        <emu-alg><ol><li><del>Return <emu-xref aoid="ModuleRequests" id="_ref_35"><a href="#sec-static-semantics-modulerequests">ModuleRequests</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-FromClause">FromClause</a></emu-nt>.</del></li><li><ins>Let <var>specifier</var> be <emu-xref aoid="SV"><a href="https://tc39.es/ecma262/#sec-static-semantics-sv">SV</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-FromClause">FromClause</a></emu-nt>.</ins></li><li><ins>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 the <emu-xref href="#modulerequest-record" id="_ref_36"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> { <var class="field">[[Specifer]]</var>: <var>specifier</var>, <var class="field">[[Attributes]]</var>: « » }.</ins></li></ol></emu-alg>
         <emu-grammar><ins><emu-production name="ImportDeclaration" collapsed="">
     <emu-nt><a href="#prod-ImportDeclaration">ImportDeclaration</a></emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="ffrp3frd" id="prod-QB5EyLim">
         <emu-t>import</emu-t>
         <emu-nt><a href="https://tc39.es/ecma262/#prod-ImportClause">ImportClause</a></emu-nt>
         <emu-nt><a href="https://tc39.es/ecma262/#prod-FromClause">FromClause</a></emu-nt>
-        <emu-nt id="_ref_103"><a href="#prod-WithClause">WithClause</a></emu-nt>
+        <emu-nt id="_ref_92"><a href="#prod-WithClause">WithClause</a></emu-nt>
         <emu-t>;</emu-t>
     </emu-rhs>
 </emu-production></ins>
 </emu-grammar>
-        <emu-alg><ol><li><ins>Let <var>specifier</var> be the <emu-xref aoid="SV"><a href="https://tc39.es/ecma262/#sec-static-semantics-sv">SV</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-FromClause">FromClause</a></emu-nt>.</ins></li><li><ins>Let <var>attributes</var> be <emu-xref aoid="WithClauseToAttributes" id="_ref_46"><a href="#sec-with-clause-to-attributes">WithClauseToAttributes</a></emu-xref> of <emu-nt id="_ref_104"><a href="#prod-WithClause">WithClause</a></emu-nt>.</ins></li><li><ins>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 the <emu-xref href="#modulerequest-record" id="_ref_47"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> { <var class="field">[[Specifer]]</var>: <var>specifier</var>, <var class="field">[[Attributes]]</var>: <var>attributes</var> }.</ins></li></ol></emu-alg>
+        <emu-alg><ol><li><ins>Let <var>specifier</var> be the <emu-xref aoid="SV"><a href="https://tc39.es/ecma262/#sec-static-semantics-sv">SV</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-FromClause">FromClause</a></emu-nt>.</ins></li><li><ins>Let <var>attributes</var> be <emu-xref aoid="WithClauseToAttributes" id="_ref_37"><a href="#sec-with-clause-to-attributes">WithClauseToAttributes</a></emu-xref> of <emu-nt id="_ref_93"><a href="#prod-WithClause">WithClause</a></emu-nt>.</ins></li><li><ins>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 the <emu-xref href="#modulerequest-record" id="_ref_38"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> { <var class="field">[[Specifer]]</var>: <var>specifier</var>, <var class="field">[[Attributes]]</var>: <var>attributes</var> }.</ins></li></ol></emu-alg>
         <emu-grammar><ins><emu-production name="ImportDeclaration" collapsed="">
     <emu-nt><a href="#prod-ImportDeclaration">ImportDeclaration</a></emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="odcuzpbi" id="prod-ipEwhMpm">
         <emu-t>import</emu-t>
@@ -2945,17 +2928,17 @@ <h1><span class="secnum">16.2.1.3</span> Static Semantics: ModuleRequests</h1>
     </emu-rhs>
 </emu-production></ins>
 </emu-grammar>
-        <emu-alg><ol><li><ins>Let <var>specifier</var> be the <emu-xref aoid="SV"><a href="https://tc39.es/ecma262/#sec-static-semantics-sv">SV</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-ModuleSpecifier">ModuleSpecifier</a></emu-nt>.</ins></li><li><ins>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 the <emu-xref href="#modulerequest-record" id="_ref_48"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> { <var class="field">[[Specifer]]</var>: <var>specifier</var>, <var class="field">[[Attributes]]</var>: « » }.</ins></li></ol></emu-alg>
+        <emu-alg><ol><li><ins>Let <var>specifier</var> be the <emu-xref aoid="SV"><a href="https://tc39.es/ecma262/#sec-static-semantics-sv">SV</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-ModuleSpecifier">ModuleSpecifier</a></emu-nt>.</ins></li><li><ins>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 the <emu-xref href="#modulerequest-record" id="_ref_39"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> { <var class="field">[[Specifer]]</var>: <var>specifier</var>, <var class="field">[[Attributes]]</var>: « » }.</ins></li></ol></emu-alg>
         <emu-grammar><ins><emu-production name="ImportDeclaration" collapsed="">
     <emu-nt><a href="#prod-ImportDeclaration">ImportDeclaration</a></emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="kvjq5ssp" id="prod-erfgLvxn">
         <emu-t>import</emu-t>
         <emu-nt><a href="https://tc39.es/ecma262/#prod-ModuleSpecifier">ModuleSpecifier</a></emu-nt>
-        <emu-nt id="_ref_105"><a href="#prod-WithClause">WithClause</a></emu-nt>
+        <emu-nt id="_ref_94"><a href="#prod-WithClause">WithClause</a></emu-nt>
         <emu-t>;</emu-t>
     </emu-rhs>
 </emu-production></ins>
 </emu-grammar>
-        <emu-alg><ol><li><ins>Let <var>specifier</var> be the <emu-xref aoid="SV"><a href="https://tc39.es/ecma262/#sec-static-semantics-sv">SV</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-ModuleSpecifier">ModuleSpecifier</a></emu-nt>.</ins></li><li><ins>Let <var>attributes</var> be <emu-xref aoid="WithClauseToAttributes" id="_ref_49"><a href="#sec-with-clause-to-attributes">WithClauseToAttributes</a></emu-xref> of <emu-nt id="_ref_106"><a href="#prod-WithClause">WithClause</a></emu-nt>.</ins></li><li><ins>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 the <emu-xref href="#modulerequest-record" id="_ref_50"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> { <var class="field">[[Specifer]]</var>: <var>specifier</var>, <var class="field">[[Attributes]]</var>: <var>attributes</var> }.</ins></li></ol></emu-alg>
+        <emu-alg><ol><li><ins>Let <var>specifier</var> be the <emu-xref aoid="SV"><a href="https://tc39.es/ecma262/#sec-static-semantics-sv">SV</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-ModuleSpecifier">ModuleSpecifier</a></emu-nt>.</ins></li><li><ins>Let <var>attributes</var> be <emu-xref aoid="WithClauseToAttributes" id="_ref_40"><a href="#sec-with-clause-to-attributes">WithClauseToAttributes</a></emu-xref> of <emu-nt id="_ref_95"><a href="#prod-WithClause">WithClause</a></emu-nt>.</ins></li><li><ins>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 the <emu-xref href="#modulerequest-record" id="_ref_41"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> { <var class="field">[[Specifer]]</var>: <var>specifier</var>, <var class="field">[[Attributes]]</var>: <var>attributes</var> }.</ins></li></ol></emu-alg>
         <emu-grammar><del><emu-production name="ModuleSpecifier" collapsed="">
     <emu-nt><a href="https://tc39.es/ecma262/#prod-ModuleSpecifier">ModuleSpecifier</a></emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="xhtltz00"><emu-nt><a href="https://tc39.es/ecma262/#prod-StringLiteral">StringLiteral</a></emu-nt></emu-rhs>
 </emu-production></del>
@@ -2970,18 +2953,18 @@ <h1><span class="secnum">16.2.1.3</span> Static Semantics: ModuleRequests</h1>
     </emu-rhs>
 </emu-production>
 </emu-grammar>
-        <emu-alg><ol><li><del>Return <emu-xref aoid="ModuleRequests" id="_ref_51"><a href="#sec-static-semantics-modulerequests">ModuleRequests</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-FromClause">FromClause</a></emu-nt>.</del></li><li><ins>Let <var>specifier</var> be <emu-xref aoid="SV"><a href="https://tc39.es/ecma262/#sec-static-semantics-sv">SV</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-FromClause">FromClause</a></emu-nt>.</ins></li><li><ins>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 the <emu-xref href="#modulerequest-record" id="_ref_52"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> { <var class="field">[[Specifer]]</var>: <var>specifier</var>, <var class="field">[[Attributes]]</var>: « » }.</ins></li></ol></emu-alg>
+        <emu-alg><ol><li><del>Return <emu-xref aoid="ModuleRequests" id="_ref_42"><a href="#sec-static-semantics-modulerequests">ModuleRequests</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-FromClause">FromClause</a></emu-nt>.</del></li><li><ins>Let <var>specifier</var> be <emu-xref aoid="SV"><a href="https://tc39.es/ecma262/#sec-static-semantics-sv">SV</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-FromClause">FromClause</a></emu-nt>.</ins></li><li><ins>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 the <emu-xref href="#modulerequest-record" id="_ref_43"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> { <var class="field">[[Specifer]]</var>: <var>specifier</var>, <var class="field">[[Attributes]]</var>: « » }.</ins></li></ol></emu-alg>
         <emu-grammar><ins><emu-production name="ExportDeclaration" collapsed="">
     <emu-nt><a href="https://tc39.es/ecma262/#prod-ExportDeclaration">ExportDeclaration</a></emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="-zhwypbp">
         <emu-t>export</emu-t>
         <emu-nt><a href="https://tc39.es/ecma262/#prod-ExportFromClause">ExportFromClause</a></emu-nt>
         <emu-nt><a href="https://tc39.es/ecma262/#prod-FromClause">FromClause</a></emu-nt>
-        <emu-nt id="_ref_107"><a href="#prod-WithClause">WithClause</a></emu-nt>
+        <emu-nt id="_ref_96"><a href="#prod-WithClause">WithClause</a></emu-nt>
         <emu-t>;</emu-t>
     </emu-rhs>
 </emu-production></ins>
 </emu-grammar>
-        <emu-alg><ol><li><ins>Let <var>specifier</var> be <emu-xref aoid="SV"><a href="https://tc39.es/ecma262/#sec-static-semantics-sv">SV</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-FromClause">FromClause</a></emu-nt>.</ins></li><li><ins>Let <var>attributes</var> be <emu-xref aoid="WithClauseToAttributes" id="_ref_53"><a href="#sec-with-clause-to-attributes">WithClauseToAttributes</a></emu-xref> of <emu-nt id="_ref_108"><a href="#prod-WithClause">WithClause</a></emu-nt>.</ins></li><li><ins>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 the <emu-xref href="#modulerequest-record" id="_ref_54"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> { <var class="field">[[Specifer]]</var>: <var>specifier</var>, <var class="field">[[Attributes]]</var>: <var>attributes</var> }.</ins></li></ol></emu-alg>
+        <emu-alg><ol><li><ins>Let <var>specifier</var> be <emu-xref aoid="SV"><a href="https://tc39.es/ecma262/#sec-static-semantics-sv">SV</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-FromClause">FromClause</a></emu-nt>.</ins></li><li><ins>Let <var>attributes</var> be <emu-xref aoid="WithClauseToAttributes" id="_ref_44"><a href="#sec-with-clause-to-attributes">WithClauseToAttributes</a></emu-xref> of <emu-nt id="_ref_97"><a href="#prod-WithClause">WithClause</a></emu-nt>.</ins></li><li><ins>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 the <emu-xref href="#modulerequest-record" id="_ref_45"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> { <var class="field">[[Specifer]]</var>: <var>specifier</var>, <var class="field">[[Attributes]]</var>: <var>attributes</var> }.</ins></li></ol></emu-alg>
         <emu-grammar><emu-production name="ExportDeclaration">
     <emu-nt><a href="https://tc39.es/ecma262/#prod-ExportDeclaration">ExportDeclaration</a></emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="j2lh_kda">
         <emu-t>export</emu-t>
@@ -3019,9 +3002,9 @@ <h1><span class="secnum">16.2.1.3</span> Static Semantics: ModuleRequests</h1>
 
       <emu-clause id="sec-cyclic-module-records" number="5">
         <h1><span class="secnum">16.2.1.5</span> Cyclic Module Records</h1>
-        <p>A <dfn id="cyclic-module-record" variants="Cyclic Module Records">Cyclic Module Record</dfn> is used to represent information about a module that can participate in dependency cycles with other modules that are subclasses of the <emu-xref href="#cyclic-module-record" id="_ref_55"><a href="#cyclic-module-record">Cyclic Module Record</a></emu-xref> type. <emu-xref href="#sec-abstract-module-records"><a href="https://tc39.es/ecma262/#sec-abstract-module-records">Module Records</a></emu-xref> that are not subclasses of the <emu-xref href="#cyclic-module-record" id="_ref_56"><a href="#cyclic-module-record">Cyclic Module Record</a></emu-xref> type must not participate in dependency cycles with <emu-xref href="#sourctextmodule-record"><a href="https://tc39.es/ecma262/#sourctextmodule-record">Source Text Module Records</a></emu-xref>.</p>
-        <p>In addition to the fields defined in <emu-xref href="#table-module-record-fields"><a href="https://tc39.es/ecma262/#table-module-record-fields">Table 40</a></emu-xref> <emu-xref href="#cyclic-module-record" id="_ref_57"><a href="#cyclic-module-record">Cyclic Module Records</a></emu-xref> have the additional fields listed in <emu-xref href="#table-cyclic-module-fields" id="_ref_3"><a href="#table-cyclic-module-fields">Table 4</a></emu-xref></p>
-        <emu-table id="table-cyclic-module-fields" caption="Additional Fields of Cyclic Module Records"><figure><figcaption>Table 4: Additional Fields of <emu-xref href="#cyclic-module-record" id="_ref_58"><a href="#cyclic-module-record">Cyclic Module Records</a></emu-xref></figcaption>
+        <p>A <dfn id="cyclic-module-record" variants="Cyclic Module Records">Cyclic Module Record</dfn> is used to represent information about a module that can participate in dependency cycles with other modules that are subclasses of the <emu-xref href="#cyclic-module-record" id="_ref_46"><a href="#cyclic-module-record">Cyclic Module Record</a></emu-xref> type. <emu-xref href="#sec-abstract-module-records"><a href="https://tc39.es/ecma262/#sec-abstract-module-records">Module Records</a></emu-xref> that are not subclasses of the <emu-xref href="#cyclic-module-record" id="_ref_47"><a href="#cyclic-module-record">Cyclic Module Record</a></emu-xref> type must not participate in dependency cycles with <emu-xref href="#sourctextmodule-record"><a href="https://tc39.es/ecma262/#sourctextmodule-record">Source Text Module Records</a></emu-xref>.</p>
+        <p>In addition to the fields defined in <emu-xref href="#table-module-record-fields"><a href="https://tc39.es/ecma262/#table-module-record-fields">Table 40</a></emu-xref> <emu-xref href="#cyclic-module-record" id="_ref_48"><a href="#cyclic-module-record">Cyclic Module Records</a></emu-xref> have the additional fields listed in <emu-xref href="#table-cyclic-module-fields" id="_ref_1"><a href="#table-cyclic-module-fields">Table 4</a></emu-xref></p>
+        <emu-table id="table-cyclic-module-fields" caption="Additional Fields of Cyclic Module Records"><figure><figcaption>Table 4: Additional Fields of <emu-xref href="#cyclic-module-record" id="_ref_49"><a href="#cyclic-module-record">Cyclic Module Records</a></emu-xref></figcaption>
           <table>
             <tbody><tr>
               <th>
@@ -3067,7 +3050,7 @@ <h1><span class="secnum">16.2.1.5</span> Cyclic Module Records</h1>
                 <var class="field">[[RequestedModules]]</var>
               </td>
               <td>
-                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> of <del>Strings</del><ins><emu-xref href="#modulerequest-record" id="_ref_59"><a href="#modulerequest-record">ModuleRequest Records</a></emu-xref></ins>
+                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> of <del>Strings</del><ins><emu-xref href="#modulerequest-record" id="_ref_50"><a href="#modulerequest-record">ModuleRequest Records</a></emu-xref></ins>
               </td>
               <td>
                 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> of all the <emu-nt><a href="https://tc39.es/ecma262/#prod-ModuleSpecifier">ModuleSpecifier</a></emu-nt> strings <ins>and import attributes</ins> used by the module represented by this record to request the importation of a module. The <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> is in source text occurrence order.
@@ -3078,7 +3061,7 @@ <h1><span class="secnum">16.2.1.5</span> Cyclic Module Records</h1>
                 <var class="field">[[LoadedModules]]</var>
               </td>
               <td>
-                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> of <del><emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Records</a></emu-xref> with fields <var class="field">[[Specifier]]</var> (a String) and <var class="field">[[Module]]</var> (a <emu-xref href="#sec-abstract-module-records"><a href="https://tc39.es/ecma262/#sec-abstract-module-records">Module Record</a></emu-xref>)</del><ins><emu-xref href="#loadedmodulerequest-record" id="_ref_60"><a href="#loadedmodulerequest-record">LoadedModuleRequest Records</a></emu-xref></ins>
+                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> of <del><emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Records</a></emu-xref> with fields <var class="field">[[Specifier]]</var> (a String) and <var class="field">[[Module]]</var> (a <emu-xref href="#sec-abstract-module-records"><a href="https://tc39.es/ecma262/#sec-abstract-module-records">Module Record</a></emu-xref>)</del><ins><emu-xref href="#loadedmodulerequest-record" id="_ref_51"><a href="#loadedmodulerequest-record">LoadedModuleRequest Records</a></emu-xref></ins>
               </td>
               <td>
                 A map from the specifier strings used by the module represented by this record to request the importation of a module <ins>with the relative attributes</ins> to the resolved <emu-xref href="#sec-abstract-module-records"><a href="https://tc39.es/ecma262/#sec-abstract-module-records">Module Record</a></emu-xref>. The list does not contain two different <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Records</a></emu-xref> with the same <del><var class="field">[[Specifier]]</var></del><ins>(<var class="field">[[Specifier]]</var>, <var class="field">[[Attributes]]</var>) pair</ins>.
@@ -3131,13 +3114,13 @@ <h1><span class="secnum">16.2.1.5</span> Cyclic Module Records</h1>
 
         <emu-clause id="sec-LoadRequestedModules" type="concrete method">
           <h1><span class="secnum">16.2.1.5.1</span> LoadRequestedModules ( [ <var>hostDefined</var> ] )</h1>
-          <p>The LoadRequestedModules concrete method of a <emu-xref href="#cyclic-module-record" id="_ref_61"><a href="#cyclic-module-record">Cyclic Module Record</a></emu-xref> <var>module</var> takes optional argument <var>hostDefined</var> (anything) and returns a Promise.</p>
+          <p>The LoadRequestedModules concrete method of a <emu-xref href="#cyclic-module-record" id="_ref_52"><a href="#cyclic-module-record">Cyclic Module Record</a></emu-xref> <var>module</var> takes optional argument <var>hostDefined</var> (anything) and returns a Promise.</p>
 
           <emu-clause id="sec-InnerModuleLoading" type="abstract operation" aoid="InnerModuleLoading">
             <h1><span class="secnum">16.2.1.5.1.1</span> InnerModuleLoading ( <var>state</var>, <var>module</var> )</h1>
             <p>The abstract operation InnerModuleLoading takes arguments <var>state</var> (a <emu-xref href="#graphloadingstate-record"><a href="https://tc39.es/ecma262/#graphloadingstate-record">GraphLoadingState Record</a></emu-xref>) and <var>module</var> (a <emu-xref href="#sec-abstract-module-records"><a href="https://tc39.es/ecma262/#sec-abstract-module-records">Module Record</a></emu-xref>) and returns <emu-const>unused</emu-const>. It is used by LoadRequestedModules to recursively perform the actual loading process for <var>module</var>'s dependency graph. It performs the following steps when called:</p>
 
-            <emu-alg><ol><li><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: <var>state</var>.<var class="field">[[IsLoading]]</var> is <emu-val>true</emu-val>.</li><li>If <var>module</var> is a <emu-xref href="#cyclic-module-record" id="_ref_62"><a href="#cyclic-module-record">Cyclic Module Record</a></emu-xref>, <var>module</var>.<var class="field">[[Status]]</var> is <emu-const>new</emu-const>, and <var>state</var>.<var class="field">[[Visited]]</var> does not contain <var>module</var>, then<ol><li>Append <var>module</var> to <var>state</var>.<var class="field">[[Visited]]</var>.</li><li>Let <var>requestedModulesCount</var> be the number of elements in <var>module</var>.<var class="field">[[RequestedModules]]</var>.</li><li>Set <var>state</var>.<var class="field">[[PendingModulesCount]]</var> to <var>state</var>.<var class="field">[[PendingModulesCount]]</var> + <var>requestedModulesCount</var>.</li><li>For each <del>String</del><ins><emu-xref href="#modulerequest-record" id="_ref_63"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref></ins> <var>request</var> of <var>module</var>.<var class="field">[[RequestedModules]]</var>, do<ol><li><ins>If <emu-xref aoid="AllImportAttributesSupported" id="_ref_64"><a href="#sec-AllImportAttributesSupported">AllImportAttributesSupported</a></emu-xref>(<var>request</var>.<var class="field">[[Attributes]]</var>) is <emu-val>false</emu-val>, then</ins><ol><li><ins>Let <var>error</var> be <emu-xref aoid="ThrowCompletion"><a href="https://tc39.es/ecma262/#sec-throwcompletion">ThrowCompletion</a></emu-xref>(a newly created <emu-val>SyntaxError</emu-val> object).</ins></li><li><ins>Perform <emu-xref aoid="ContinueModuleLoading"><a href="https://tc39.es/ecma262/#sec-ContinueModuleLoading">ContinueModuleLoading</a></emu-xref>(<var>state</var>, <var>error</var>).</ins></li></ol></li><li><ins>Else</ins> if <var>module</var>.<var class="field">[[LoadedModules]]</var> contains a <del><emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Record</a></emu-xref> <var>record</var> such that <var>record</var>.<var class="field">[[Specifier]]</var> is <var>request</var></del> <ins><emu-xref href="#loadedmodulerequest-record" id="_ref_65"><a href="#loadedmodulerequest-record">LoadedModuleRequest Record</a></emu-xref> <var>record</var> such that <emu-xref aoid="ModuleRequestsEqual" id="_ref_66"><a href="#sec-ModuleRequestsEqual">ModuleRequestsEqual</a></emu-xref>(<var>record</var>, <var>request</var>) is <emu-val>true</emu-val></ins>, then<ol><li>Perform <emu-xref aoid="InnerModuleLoading" id="_ref_67"><a href="#sec-InnerModuleLoading">InnerModuleLoading</a></emu-xref>(<var>state</var>, <var>record</var>.<var class="field">[[Module]]</var>).</li></ol></li><li>Else,<ol><li>Perform <emu-xref aoid="HostLoadImportedModule" id="_ref_68"><a href="#sec-HostLoadImportedModule">HostLoadImportedModule</a></emu-xref>(<var>module</var>, <var>request</var>, <var>state</var>.<var class="field">[[HostDefined]]</var>, <var>state</var>).</li><li>NOTE: <emu-xref aoid="HostLoadImportedModule" id="_ref_69"><a href="#sec-HostLoadImportedModule">HostLoadImportedModule</a></emu-xref> will call <emu-xref aoid="FinishLoadingImportedModule" id="_ref_70"><a href="#sec-FinishLoadingImportedModule">FinishLoadingImportedModule</a></emu-xref>, which re-enters the graph loading process through <emu-xref aoid="ContinueModuleLoading"><a href="https://tc39.es/ecma262/#sec-ContinueModuleLoading">ContinueModuleLoading</a></emu-xref>.</li></ol></li><li>If <var>state</var>.<var class="field">[[IsLoading]]</var> is <emu-val>false</emu-val>, return <emu-const>unused</emu-const>.</li></ol></li></ol></li><li><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: <var>state</var>.<var class="field">[[PendingModulesCount]]</var> ≥ 1.</li><li>Set <var>state</var>.<var class="field">[[PendingModulesCount]]</var> to <var>state</var>.<var class="field">[[PendingModulesCount]]</var> - 1.</li><li>If <var>state</var>.<var class="field">[[PendingModulesCount]]</var> = 0, then<ol><li>Set <var>state</var>.<var class="field">[[IsLoading]]</var> to <emu-val>false</emu-val>.</li><li>For each <emu-xref href="#cyclic-module-record" id="_ref_71"><a href="#cyclic-module-record">Cyclic Module Record</a></emu-xref> <var>loaded</var> of <var>state</var>.<var class="field">[[Visited]]</var>, do<ol><li>If <var>loaded</var>.<var class="field">[[Status]]</var> is <emu-const>new</emu-const>, set <var>loaded</var>.<var class="field">[[Status]]</var> to <emu-const>unlinked</emu-const>.</li></ol></li><li>Perform !&nbsp;<emu-xref aoid="Call"><a href="https://tc39.es/ecma262/#sec-call">Call</a></emu-xref>(<var>state</var>.<var class="field">[[PromiseCapability]]</var>.<var class="field">[[Resolve]]</var>, <emu-val>undefined</emu-val>, « <emu-val>undefined</emu-val> »).</li></ol></li><li>Return <emu-const>unused</emu-const>.</li></ol></emu-alg>
+            <emu-alg><ol><li><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: <var>state</var>.<var class="field">[[IsLoading]]</var> is <emu-val>true</emu-val>.</li><li>If <var>module</var> is a <emu-xref href="#cyclic-module-record" id="_ref_53"><a href="#cyclic-module-record">Cyclic Module Record</a></emu-xref>, <var>module</var>.<var class="field">[[Status]]</var> is <emu-const>new</emu-const>, and <var>state</var>.<var class="field">[[Visited]]</var> does not contain <var>module</var>, then<ol><li>Append <var>module</var> to <var>state</var>.<var class="field">[[Visited]]</var>.</li><li>Let <var>requestedModulesCount</var> be the number of elements in <var>module</var>.<var class="field">[[RequestedModules]]</var>.</li><li>Set <var>state</var>.<var class="field">[[PendingModulesCount]]</var> to <var>state</var>.<var class="field">[[PendingModulesCount]]</var> + <var>requestedModulesCount</var>.</li><li>For each <del>String</del><ins><emu-xref href="#modulerequest-record" id="_ref_54"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref></ins> <var>request</var> of <var>module</var>.<var class="field">[[RequestedModules]]</var>, do<ol><li><ins>If <emu-xref aoid="AllImportAttributesSupported" id="_ref_55"><a href="#sec-AllImportAttributesSupported">AllImportAttributesSupported</a></emu-xref>(<var>request</var>.<var class="field">[[Attributes]]</var>) is <emu-val>false</emu-val>, then</ins><ol><li><ins>Let <var>error</var> be <emu-xref aoid="ThrowCompletion"><a href="https://tc39.es/ecma262/#sec-throwcompletion">ThrowCompletion</a></emu-xref>(a newly created <emu-val>SyntaxError</emu-val> object).</ins></li><li><ins>Perform <emu-xref aoid="ContinueModuleLoading"><a href="https://tc39.es/ecma262/#sec-ContinueModuleLoading">ContinueModuleLoading</a></emu-xref>(<var>state</var>, <var>error</var>).</ins></li></ol></li><li><ins>Else</ins> if <var>module</var>.<var class="field">[[LoadedModules]]</var> contains a <del><emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Record</a></emu-xref> <var>record</var> such that <var>record</var>.<var class="field">[[Specifier]]</var> is <var>request</var></del> <ins><emu-xref href="#loadedmodulerequest-record" id="_ref_56"><a href="#loadedmodulerequest-record">LoadedModuleRequest Record</a></emu-xref> <var>record</var> such that <emu-xref aoid="ModuleRequestsEqual" id="_ref_57"><a href="#sec-ModuleRequestsEqual">ModuleRequestsEqual</a></emu-xref>(<var>record</var>, <var>request</var>) is <emu-val>true</emu-val></ins>, then<ol><li>Perform <emu-xref aoid="InnerModuleLoading" id="_ref_58"><a href="#sec-InnerModuleLoading">InnerModuleLoading</a></emu-xref>(<var>state</var>, <var>record</var>.<var class="field">[[Module]]</var>).</li></ol></li><li>Else,<ol><li>Perform <emu-xref aoid="HostLoadImportedModule" id="_ref_59"><a href="#sec-HostLoadImportedModule">HostLoadImportedModule</a></emu-xref>(<var>module</var>, <var>request</var>, <var>state</var>.<var class="field">[[HostDefined]]</var>, <var>state</var>).</li><li>NOTE: <emu-xref aoid="HostLoadImportedModule" id="_ref_60"><a href="#sec-HostLoadImportedModule">HostLoadImportedModule</a></emu-xref> will call <emu-xref aoid="FinishLoadingImportedModule" id="_ref_61"><a href="#sec-FinishLoadingImportedModule">FinishLoadingImportedModule</a></emu-xref>, which re-enters the graph loading process through <emu-xref aoid="ContinueModuleLoading"><a href="https://tc39.es/ecma262/#sec-ContinueModuleLoading">ContinueModuleLoading</a></emu-xref>.</li></ol></li><li>If <var>state</var>.<var class="field">[[IsLoading]]</var> is <emu-val>false</emu-val>, return <emu-const>unused</emu-const>.</li></ol></li></ol></li><li><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: <var>state</var>.<var class="field">[[PendingModulesCount]]</var> ≥ 1.</li><li>Set <var>state</var>.<var class="field">[[PendingModulesCount]]</var> to <var>state</var>.<var class="field">[[PendingModulesCount]]</var> - 1.</li><li>If <var>state</var>.<var class="field">[[PendingModulesCount]]</var> = 0, then<ol><li>Set <var>state</var>.<var class="field">[[IsLoading]]</var> to <emu-val>false</emu-val>.</li><li>For each <emu-xref href="#cyclic-module-record" id="_ref_62"><a href="#cyclic-module-record">Cyclic Module Record</a></emu-xref> <var>loaded</var> of <var>state</var>.<var class="field">[[Visited]]</var>, do<ol><li>If <var>loaded</var>.<var class="field">[[Status]]</var> is <emu-const>new</emu-const>, set <var>loaded</var>.<var class="field">[[Status]]</var> to <emu-const>unlinked</emu-const>.</li></ol></li><li>Perform !&nbsp;<emu-xref aoid="Call"><a href="https://tc39.es/ecma262/#sec-call">Call</a></emu-xref>(<var>state</var>.<var class="field">[[PromiseCapability]]</var>.<var class="field">[[Resolve]]</var>, <emu-val>undefined</emu-val>, « <emu-val>undefined</emu-val> »).</li></ol></li><li>Return <emu-const>unused</emu-const>.</li></ol></emu-alg>
           </emu-clause>
         </emu-clause>
       </emu-clause>
@@ -3145,8 +3128,8 @@ <h1><span class="secnum">16.2.1.5.1.1</span> InnerModuleLoading ( <var>state</va
       <emu-clause id="sec-source-text-module-records" number="6">
         <h1><span class="secnum">16.2.1.6</span> Source Text Module Records</h1>
 
-        <p>An <dfn id="importentry-record" variants="ImportEntry Records">ImportEntry Record</dfn> is a <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Record</a></emu-xref> that digests information about a single declarative import. Each <emu-xref href="#importentry-record" id="_ref_72"><a href="#importentry-record">ImportEntry Record</a></emu-xref> has the fields defined in <emu-xref href="#table-importentry-record-fields" id="_ref_4"><a href="#table-importentry-record-fields">Table 5</a></emu-xref>:</p>
-        <emu-table id="table-importentry-record-fields" caption="ImportEntry Record Fields" oldids="table-39"><figure><figcaption>Table 5: <emu-xref href="#importentry-record" id="_ref_73"><a href="#importentry-record">ImportEntry Record</a></emu-xref> Fields</figcaption><span id="table-39"></span>
+        <p>An <dfn id="importentry-record" variants="ImportEntry Records">ImportEntry Record</dfn> is a <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Record</a></emu-xref> that digests information about a single declarative import. Each <emu-xref href="#importentry-record" id="_ref_63"><a href="#importentry-record">ImportEntry Record</a></emu-xref> has the fields defined in <emu-xref href="#table-importentry-record-fields" id="_ref_2"><a href="#table-importentry-record-fields">Table 5</a></emu-xref>:</p>
+        <emu-table id="table-importentry-record-fields" caption="ImportEntry Record Fields" oldids="table-39"><figure><figcaption>Table 5: <emu-xref href="#importentry-record" id="_ref_64"><a href="#importentry-record">ImportEntry Record</a></emu-xref> Fields</figcaption><span id="table-39"></span>
           <table>
             <tbody><tr>
               <th>
@@ -3165,11 +3148,11 @@ <h1><span class="secnum">16.2.1.6</span> Source Text Module Records</h1>
               </td>
               <td>
                 <del>String</del>
-                <ins><emu-xref href="#modulerequest-record" id="_ref_74"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref></ins>
+                <ins><emu-xref href="#modulerequest-record" id="_ref_65"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref></ins>
               </td>
               <td>
-                <del>String value of the <emu-nt><a href="https://tc39.es/ecma262/#prod-ModuleSpecifier">ModuleSpecifier</a></emu-nt> of the <emu-nt id="_ref_109"><a href="#prod-ImportDeclaration">ImportDeclaration</a></emu-nt>.</del>
-                <ins><emu-xref href="#modulerequest-record" id="_ref_75"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> representing the <emu-nt><a href="https://tc39.es/ecma262/#prod-ModuleSpecifier">ModuleSpecifier</a></emu-nt> and import attributes of the <emu-nt id="_ref_110"><a href="#prod-ImportDeclaration">ImportDeclaration</a></emu-nt>.</ins>
+                <del>String value of the <emu-nt><a href="https://tc39.es/ecma262/#prod-ModuleSpecifier">ModuleSpecifier</a></emu-nt> of the <emu-nt id="_ref_98"><a href="#prod-ImportDeclaration">ImportDeclaration</a></emu-nt>.</del>
+                <ins><emu-xref href="#modulerequest-record" id="_ref_66"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> representing the <emu-nt><a href="https://tc39.es/ecma262/#prod-ModuleSpecifier">ModuleSpecifier</a></emu-nt> and import attributes of the <emu-nt id="_ref_99"><a href="#prod-ImportDeclaration">ImportDeclaration</a></emu-nt>.</ins>
               </td>
             </tr>
             <tr>
@@ -3192,32 +3175,32 @@ <h1><span class="secnum">16.2.1.6</span> Source Text Module Records</h1>
 
       <emu-clause id="sec-HostLoadImportedModule" type="host-defined abstract operation" number="8" aoid="HostLoadImportedModule">
         <h1><span class="secnum">16.2.1.8</span> HostLoadImportedModule ( <var>referrer</var>, <del><var>specifier</var></del>, <ins><var>moduleRequest</var></ins>, <var>hostDefined</var>, <var>payload</var> )</h1>
-        <p>The <emu-xref href="#host-defined"><a href="https://tc39.es/ecma262/#host-defined">host-defined</a></emu-xref> abstract operation HostLoadImportedModule takes arguments <var>referrer</var> (a <emu-xref href="#script-record"><a href="https://tc39.es/ecma262/#script-record">Script Record</a></emu-xref>, a <emu-xref href="#cyclic-module-record" id="_ref_76"><a href="#cyclic-module-record">Cyclic Module Record</a></emu-xref>, or a <emu-xref href="#realm-record"><a href="https://tc39.es/ecma262/#realm-record">Realm Record</a></emu-xref>), <del><var>specifier</var> (a String)</del>, <ins><var>moduleRequest</var> (a <emu-xref href="#modulerequest-record" id="_ref_77"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref>)</ins>, <var>hostDefined</var> (anything), and <var>payload</var> (a <emu-xref href="#graphloadingstate-record"><a href="https://tc39.es/ecma262/#graphloadingstate-record">GraphLoadingState Record</a></emu-xref> or a <emu-xref href="#sec-promisecapability-records"><a href="https://tc39.es/ecma262/#sec-promisecapability-records">PromiseCapability Record</a></emu-xref>) and returns <emu-const>unused</emu-const>.</p>
+        <p>The <emu-xref href="#host-defined"><a href="https://tc39.es/ecma262/#host-defined">host-defined</a></emu-xref> abstract operation HostLoadImportedModule takes arguments <var>referrer</var> (a <emu-xref href="#script-record"><a href="https://tc39.es/ecma262/#script-record">Script Record</a></emu-xref>, a <emu-xref href="#cyclic-module-record" id="_ref_67"><a href="#cyclic-module-record">Cyclic Module Record</a></emu-xref>, or a <emu-xref href="#realm-record"><a href="https://tc39.es/ecma262/#realm-record">Realm Record</a></emu-xref>), <del><var>specifier</var> (a String)</del>, <ins><var>moduleRequest</var> (a <emu-xref href="#modulerequest-record" id="_ref_68"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref>)</ins>, <var>hostDefined</var> (anything), and <var>payload</var> (a <emu-xref href="#graphloadingstate-record"><a href="https://tc39.es/ecma262/#graphloadingstate-record">GraphLoadingState Record</a></emu-xref> or a <emu-xref href="#sec-promisecapability-records"><a href="https://tc39.es/ecma262/#sec-promisecapability-records">PromiseCapability Record</a></emu-xref>) and returns <emu-const>unused</emu-const>.</p>
 
         <emu-note id="note-HostLoadImportedModule-referrer-Realm-Record"><span class="note"><a href="#note-HostLoadImportedModule-referrer-Realm-Record">Note</a></span><div class="note-contents">
           <p>An example of when <var>referrer</var> can be a <emu-xref href="#realm-record"><a href="https://tc39.es/ecma262/#realm-record">Realm Record</a></emu-xref> is in a web browser <emu-xref href="#host"><a href="https://tc39.es/ecma262/#host">host</a></emu-xref>. There, if a user clicks on a control given by</p>
 
           <pre><code class="html hljs"><span class="hljs-tag">&lt;<span class="hljs-name">button</span> <span class="hljs-attr">type</span>=<span class="hljs-string">"button"</span> <span class="hljs-attr">onclick</span>=<span class="hljs-string">"import('./foo.mjs')"</span>&gt;</span>Click me<span class="hljs-tag">&lt;/<span class="hljs-name">button</span>&gt;</span></code></pre>
 
-          <p>there will be no <emu-xref href="#job-activescriptormodule"><a href="https://tc39.es/ecma262/#job-activescriptormodule">active script or module</a></emu-xref> at the time the <emu-xref href="#sec-import-calls" id="_ref_5"><a href="#sec-import-calls"><code>import()</code></a></emu-xref> expression runs. More generally, this can happen in any situation where the <emu-xref href="#host"><a href="https://tc39.es/ecma262/#host">host</a></emu-xref> pushes <emu-xref href="#sec-execution-contexts"><a href="https://tc39.es/ecma262/#sec-execution-contexts">execution contexts</a></emu-xref> with <emu-val>null</emu-val> ScriptOrModule components onto the <emu-xref href="#execution-context-stack"><a href="https://tc39.es/ecma262/#execution-context-stack">execution context stack</a></emu-xref>.</p>
+          <p>there will be no <emu-xref href="#job-activescriptormodule"><a href="https://tc39.es/ecma262/#job-activescriptormodule">active script or module</a></emu-xref> at the time the <emu-xref href="#sec-import-calls" id="_ref_3"><a href="#sec-import-calls"><code>import()</code></a></emu-xref> expression runs. More generally, this can happen in any situation where the <emu-xref href="#host"><a href="https://tc39.es/ecma262/#host">host</a></emu-xref> pushes <emu-xref href="#sec-execution-contexts"><a href="https://tc39.es/ecma262/#sec-execution-contexts">execution contexts</a></emu-xref> with <emu-val>null</emu-val> ScriptOrModule components onto the <emu-xref href="#execution-context-stack"><a href="https://tc39.es/ecma262/#execution-context-stack">execution context stack</a></emu-xref>.</p>
         </div></emu-note>
 
         <p>An implementation of HostLoadImportedModule must conform to the following requirements:</p>
         <ul>
           <li>
-            The <emu-xref href="#host-environment"><a href="https://tc39.es/ecma262/#host-environment">host environment</a></emu-xref> must perform <emu-xref aoid="FinishLoadingImportedModule" id="_ref_78"><a href="#sec-FinishLoadingImportedModule">FinishLoadingImportedModule</a></emu-xref>(<var>referrer</var>, <del><var>specifier</var></del><ins><var>moduleRequest</var></ins>, <var>payload</var>, <var>result</var>), where <var>result</var> is either a <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">normal completion containing</a></emu-xref> the loaded <emu-xref href="#sec-abstract-module-records"><a href="https://tc39.es/ecma262/#sec-abstract-module-records">Module Record</a></emu-xref> or a <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">throw completion</a></emu-xref>, either synchronously or asynchronously.
+            The <emu-xref href="#host-environment"><a href="https://tc39.es/ecma262/#host-environment">host environment</a></emu-xref> must perform <emu-xref aoid="FinishLoadingImportedModule" id="_ref_69"><a href="#sec-FinishLoadingImportedModule">FinishLoadingImportedModule</a></emu-xref>(<var>referrer</var>, <del><var>specifier</var></del><ins><var>moduleRequest</var></ins>, <var>payload</var>, <var>result</var>), where <var>result</var> is either a <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">normal completion containing</a></emu-xref> the loaded <emu-xref href="#sec-abstract-module-records"><a href="https://tc39.es/ecma262/#sec-abstract-module-records">Module Record</a></emu-xref> or a <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">throw completion</a></emu-xref>, either synchronously or asynchronously.
           </li>
           <li>
             <p>If this operation is called multiple times with <del>the same</del><ins>two</ins> (<var>referrer</var>, <del><var>specifier</var></del><ins><var>moduleRequest</var></ins>) pair<ins>s</ins> such that:</p>
             <ul>
               <li><ins>the first <var>referrer</var> is the same as the second <var>referrer</var>;</ins></li>
-              <li><ins><emu-xref aoid="ModuleRequestsEqual" id="_ref_79"><a href="#sec-ModuleRequestsEqual">ModuleRequestsEqual</a></emu-xref>(the first <var>moduleRequest</var>, the second <var>moduleRequest</var>) is <emu-val>true</emu-val>;</ins></li>
-              <li>it performs <emu-xref aoid="FinishLoadingImportedModule" id="_ref_80"><a href="#sec-FinishLoadingImportedModule">FinishLoadingImportedModule</a></emu-xref>(<var>referrer</var>, <del><var>specifier</var></del><ins><var>moduleRequest</var></ins>, <var>payload</var>, <var>result</var>) where <var>result</var> is a <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">normal completion</a></emu-xref>,</li>
+              <li><ins><emu-xref aoid="ModuleRequestsEqual" id="_ref_70"><a href="#sec-ModuleRequestsEqual">ModuleRequestsEqual</a></emu-xref>(the first <var>moduleRequest</var>, the second <var>moduleRequest</var>) is <emu-val>true</emu-val>;</ins></li>
+              <li>it performs <emu-xref aoid="FinishLoadingImportedModule" id="_ref_71"><a href="#sec-FinishLoadingImportedModule">FinishLoadingImportedModule</a></emu-xref>(<var>referrer</var>, <del><var>specifier</var></del><ins><var>moduleRequest</var></ins>, <var>payload</var>, <var>result</var>) where <var>result</var> is a <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">normal completion</a></emu-xref>,</li>
             </ul>
-            <p>then it must perform <emu-xref aoid="FinishLoadingImportedModule" id="_ref_81"><a href="#sec-FinishLoadingImportedModule">FinishLoadingImportedModule</a></emu-xref>(<var>referrer</var>, <del><var>specifier</var></del><ins><var>moduleRequest</var></ins>, <var>payload</var>, <var>result</var>) with the same <var>result</var> each time.</p>
+            <p>then it must perform <emu-xref aoid="FinishLoadingImportedModule" id="_ref_72"><a href="#sec-FinishLoadingImportedModule">FinishLoadingImportedModule</a></emu-xref>(<var>referrer</var>, <del><var>specifier</var></del><ins><var>moduleRequest</var></ins>, <var>payload</var>, <var>result</var>) with the same <var>result</var> each time.</p>
           </li>
           <li>
-            The operation must treat <var>payload</var> as an opaque value to be passed through to <emu-xref aoid="FinishLoadingImportedModule" id="_ref_82"><a href="#sec-FinishLoadingImportedModule">FinishLoadingImportedModule</a></emu-xref>.
+            The operation must treat <var>payload</var> as an opaque value to be passed through to <emu-xref aoid="FinishLoadingImportedModule" id="_ref_73"><a href="#sec-FinishLoadingImportedModule">FinishLoadingImportedModule</a></emu-xref>.
           </li>
         </ul>
 
@@ -3226,18 +3209,18 @@ <h1><span class="secnum">16.2.1.8</span> HostLoadImportedModule ( <var>referrer<
 
       <emu-clause id="sec-FinishLoadingImportedModule" type="abstract operation" aoid="FinishLoadingImportedModule">
         <h1><span class="secnum">16.2.1.9</span> FinishLoadingImportedModule ( <var>referrer</var>, <del><var>specifier</var></del>, <ins><var>moduleRequest</var></ins>, <var>payload</var>, <var>result</var> )</h1>
-        <p>The abstract operation FinishLoadingImportedModule takes arguments <var>referrer</var> (a <emu-xref href="#script-record"><a href="https://tc39.es/ecma262/#script-record">Script Record</a></emu-xref>, a <emu-xref href="#cyclic-module-record" id="_ref_83"><a href="#cyclic-module-record">Cyclic Module Record</a></emu-xref>, or a <emu-xref href="#realm-record"><a href="https://tc39.es/ecma262/#realm-record">Realm Record</a></emu-xref>), <del><var>specifier</var> (a String)</del>, <ins><var>moduleRequest</var> (a <emu-xref href="#modulerequest-record" id="_ref_84"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref>)</ins>, <var>payload</var> (a <emu-xref href="#graphloadingstate-record"><a href="https://tc39.es/ecma262/#graphloadingstate-record">GraphLoadingState Record</a></emu-xref> or a <emu-xref href="#sec-promisecapability-records"><a href="https://tc39.es/ecma262/#sec-promisecapability-records">PromiseCapability Record</a></emu-xref>), and <var>result</var> (either a <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">normal completion containing</a></emu-xref> a <emu-xref href="#sec-abstract-module-records"><a href="https://tc39.es/ecma262/#sec-abstract-module-records">Module Record</a></emu-xref> or a <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">throw completion</a></emu-xref>) and returns <emu-const>unused</emu-const>. It performs the following steps when called:</p>
-        <emu-alg><ol><li>If <var>result</var> is a <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">normal completion</a></emu-xref>, then<ol><li>If <var>referrer</var>.<var class="field">[[LoadedModules]]</var> contains a <del><emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Record</a></emu-xref></del><ins>LoadedModuleRequest</ins> <var>record</var> such that <del><var>record</var>.<var class="field">[[Specifier]]</var> is <var>specifier</var></del><ins><emu-xref aoid="ModuleRequestsEqual" id="_ref_85"><a href="#sec-ModuleRequestsEqual">ModuleRequestsEqual</a></emu-xref>(<var>record</var>, <var>moduleRequest</var>) is <emu-val>true</emu-val></ins>, then<ol><li><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: <var>record</var>.<var class="field">[[Module]]</var> is <var>result</var>.<var class="field">[[Value]]</var>.</li></ol></li><li>Else, append the <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Record</a></emu-xref> { <var class="field">[[Specifier]]</var>: <del><var>specifier</var></del><ins><var>moduleRequest</var>.<var class="field">[[Specifer]]</var></ins>, <ins><var class="field">[[Attributes]]</var>: <var>moduleRequest</var>.<var class="field">[[Attributes]]</var></ins>, <var class="field">[[Module]]</var>: <var>result</var>.<var class="field">[[Value]]</var> } to <var>referrer</var>.<var class="field">[[LoadedModules]]</var>.</li></ol></li><li>If <var>payload</var> is a <emu-xref href="#graphloadingstate-record"><a href="https://tc39.es/ecma262/#graphloadingstate-record">GraphLoadingState Record</a></emu-xref>, then<ol><li>Perform <emu-xref aoid="ContinueModuleLoading"><a href="https://tc39.es/ecma262/#sec-ContinueModuleLoading">ContinueModuleLoading</a></emu-xref>(<var>payload</var>, <var>result</var>).</li></ol></li><li>Else,<ol><li>Perform <emu-xref aoid="ContinueDynamicImport"><a href="https://tc39.es/ecma262/#sec-ContinueDynamicImport">ContinueDynamicImport</a></emu-xref>(<var>payload</var>, <var>result</var>).</li></ol></li><li>Return <emu-const>unused</emu-const>.</li></ol></emu-alg>
+        <p>The abstract operation FinishLoadingImportedModule takes arguments <var>referrer</var> (a <emu-xref href="#script-record"><a href="https://tc39.es/ecma262/#script-record">Script Record</a></emu-xref>, a <emu-xref href="#cyclic-module-record" id="_ref_74"><a href="#cyclic-module-record">Cyclic Module Record</a></emu-xref>, or a <emu-xref href="#realm-record"><a href="https://tc39.es/ecma262/#realm-record">Realm Record</a></emu-xref>), <del><var>specifier</var> (a String)</del>, <ins><var>moduleRequest</var> (a <emu-xref href="#modulerequest-record" id="_ref_75"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref>)</ins>, <var>payload</var> (a <emu-xref href="#graphloadingstate-record"><a href="https://tc39.es/ecma262/#graphloadingstate-record">GraphLoadingState Record</a></emu-xref> or a <emu-xref href="#sec-promisecapability-records"><a href="https://tc39.es/ecma262/#sec-promisecapability-records">PromiseCapability Record</a></emu-xref>), and <var>result</var> (either a <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">normal completion containing</a></emu-xref> a <emu-xref href="#sec-abstract-module-records"><a href="https://tc39.es/ecma262/#sec-abstract-module-records">Module Record</a></emu-xref> or a <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">throw completion</a></emu-xref>) and returns <emu-const>unused</emu-const>. It performs the following steps when called:</p>
+        <emu-alg><ol><li>If <var>result</var> is a <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">normal completion</a></emu-xref>, then<ol><li>If <var>referrer</var>.<var class="field">[[LoadedModules]]</var> contains a <del><emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Record</a></emu-xref></del><ins>LoadedModuleRequest</ins> <var>record</var> such that <del><var>record</var>.<var class="field">[[Specifier]]</var> is <var>specifier</var></del><ins><emu-xref aoid="ModuleRequestsEqual" id="_ref_76"><a href="#sec-ModuleRequestsEqual">ModuleRequestsEqual</a></emu-xref>(<var>record</var>, <var>moduleRequest</var>) is <emu-val>true</emu-val></ins>, then<ol><li><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: <var>record</var>.<var class="field">[[Module]]</var> is <var>result</var>.<var class="field">[[Value]]</var>.</li></ol></li><li>Else, append the <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Record</a></emu-xref> { <var class="field">[[Specifier]]</var>: <del><var>specifier</var></del><ins><var>moduleRequest</var>.<var class="field">[[Specifer]]</var></ins>, <ins><var class="field">[[Attributes]]</var>: <var>moduleRequest</var>.<var class="field">[[Attributes]]</var></ins>, <var class="field">[[Module]]</var>: <var>result</var>.<var class="field">[[Value]]</var> } to <var>referrer</var>.<var class="field">[[LoadedModules]]</var>.</li></ol></li><li>If <var>payload</var> is a <emu-xref href="#graphloadingstate-record"><a href="https://tc39.es/ecma262/#graphloadingstate-record">GraphLoadingState Record</a></emu-xref>, then<ol><li>Perform <emu-xref aoid="ContinueModuleLoading"><a href="https://tc39.es/ecma262/#sec-ContinueModuleLoading">ContinueModuleLoading</a></emu-xref>(<var>payload</var>, <var>result</var>).</li></ol></li><li>Else,<ol><li>Perform <emu-xref aoid="ContinueDynamicImport"><a href="https://tc39.es/ecma262/#sec-ContinueDynamicImport">ContinueDynamicImport</a></emu-xref>(<var>payload</var>, <var>result</var>).</li></ol></li><li>Return <emu-const>unused</emu-const>.</li></ol></emu-alg>
 
         <emu-note type="editor"><span class="note">Editor's Note</span><div class="note-contents">
-          <p>The description of the <var class="field">[[LoadedModules]]</var> field of <emu-xref href="#realm-record"><a href="https://tc39.es/ecma262/#realm-record">Realm Record</a></emu-xref>, <emu-xref href="#script-record"><a href="https://tc39.es/ecma262/#script-record">Script Record</a></emu-xref>, and <emu-xref href="#cyclic-module-record" id="_ref_86"><a href="#cyclic-module-record">Cyclic Module Record</a></emu-xref> should be updated to use <emu-xref href="#loadedmodulerequest-record" id="_ref_87"><a href="#loadedmodulerequest-record">LoadedModuleRequest Records</a></emu-xref>.</p>
+          <p>The description of the <var class="field">[[LoadedModules]]</var> field of <emu-xref href="#realm-record"><a href="https://tc39.es/ecma262/#realm-record">Realm Record</a></emu-xref>, <emu-xref href="#script-record"><a href="https://tc39.es/ecma262/#script-record">Script Record</a></emu-xref>, and <emu-xref href="#cyclic-module-record" id="_ref_77"><a href="#cyclic-module-record">Cyclic Module Record</a></emu-xref> should be updated to use <emu-xref href="#loadedmodulerequest-record" id="_ref_78"><a href="#loadedmodulerequest-record">LoadedModuleRequest Records</a></emu-xref>.</p>
         </div></emu-note>
       </emu-clause>
 
       <emu-clause id="sec-AllImportAttributesSupported" type="abstract operation" aoid="AllImportAttributesSupported">
         <h1><span class="secnum">16.2.1.10</span> <ins>AllImportAttributesSupported ( <var>attributes</var> )</ins></h1>
-        <p>The abstract operation AllImportAttributesSupported takes argument <var>attributes</var> (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> of <emu-xref href="#importattribute-record" id="_ref_88"><a href="#importattribute-record">ImportAttribute Records</a></emu-xref>) and returns a Boolean. It performs the following steps when called:</p>
-        <emu-alg><ol><li>Let <var>supported</var> be <emu-xref aoid="HostGetSupportedImportAttributes" id="_ref_89"><a href="#sec-hostgetsupportedimportattributes">HostGetSupportedImportAttributes</a></emu-xref>().</li><li>For each <emu-xref href="#importattribute-record" id="_ref_90"><a href="#importattribute-record">ImportAttribute Record</a></emu-xref> <var>attribute</var> of <var>attributes</var>, do<ol><li>If <var>supported</var> does not contain <var>attribute</var>.<var class="field">[[Key]]</var>, return <emu-val>false</emu-val>.</li></ol></li><li>Return <emu-val>true</emu-val>.</li></ol></emu-alg>
+        <p>The abstract operation AllImportAttributesSupported takes argument <var>attributes</var> (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> of <emu-xref href="#importattribute-record" id="_ref_79"><a href="#importattribute-record">ImportAttribute Records</a></emu-xref>) and returns a Boolean. It performs the following steps when called:</p>
+        <emu-alg><ol><li>Let <var>supported</var> be <emu-xref aoid="HostGetSupportedImportAttributes" id="_ref_80"><a href="#sec-hostgetsupportedimportattributes">HostGetSupportedImportAttributes</a></emu-xref>().</li><li>For each <emu-xref href="#importattribute-record" id="_ref_81"><a href="#importattribute-record">ImportAttribute Record</a></emu-xref> <var>attribute</var> of <var>attributes</var>, do<ol><li>If <var>supported</var> does not contain <var>attribute</var>.<var class="field">[[Key]]</var>, return <emu-val>false</emu-val>.</li></ol></li><li>Return <emu-val>true</emu-val>.</li></ol></emu-alg>
 
         <emu-clause id="sec-hostgetsupportedimportattributes" type="host-defined abstract operation" aoid="HostGetSupportedImportAttributes">
           <h1><span class="secnum">16.2.1.10.1</span> <ins>HostGetSupportedImportAttributes ( )</ins></h1>
@@ -3268,26 +3251,26 @@ <h1><span class="secnum">16.2.2</span> Imports</h1>
         <emu-t>import</emu-t>
         <emu-nt><a href="https://tc39.es/ecma262/#prod-ImportClause">ImportClause</a></emu-nt>
         <emu-nt><a href="https://tc39.es/ecma262/#prod-FromClause">FromClause</a></emu-nt>
-        <ins><emu-nt optional="" id="_ref_111"><a href="#prod-WithClause">WithClause</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt></ins>
+        <ins><emu-nt optional="" id="_ref_100"><a href="#prod-WithClause">WithClause</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt></ins>
         <emu-t>;</emu-t>
     </emu-rhs>
     <emu-rhs a="wzi3qp4_" id="prod-OCPQ4qHa">
         <emu-t>import</emu-t>
         <emu-nt><a href="https://tc39.es/ecma262/#prod-ModuleSpecifier">ModuleSpecifier</a></emu-nt>
-        <ins><emu-nt optional="" id="_ref_112"><a href="#prod-WithClause">WithClause</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt></ins>
+        <ins><emu-nt optional="" id="_ref_101"><a href="#prod-WithClause">WithClause</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt></ins>
         <emu-t>;</emu-t>
     </emu-rhs>
 </emu-production>
 <ins><emu-production name="WithClause" id="prod-WithClause">
     <emu-nt><a href="#prod-WithClause">WithClause</a></emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="msqlrhx-" id="prod-8JZvGB0l">
-        <emu-nt id="_ref_113"><a href="#prod-AttributesKeyword">AttributesKeyword</a></emu-nt>
+        <emu-nt id="_ref_102"><a href="#prod-AttributesKeyword">AttributesKeyword</a></emu-nt>
         <emu-t>{</emu-t>
         <emu-t>}</emu-t>
     </emu-rhs>
     <emu-rhs a="wvk7fk7b" id="prod-Vzc55M5_">
-        <emu-nt id="_ref_114"><a href="#prod-AttributesKeyword">AttributesKeyword</a></emu-nt>
+        <emu-nt id="_ref_103"><a href="#prod-AttributesKeyword">AttributesKeyword</a></emu-nt>
         <emu-t>{</emu-t>
-        <emu-nt id="_ref_115"><a href="#prod-WithEntries">WithEntries</a></emu-nt>
+        <emu-nt id="_ref_104"><a href="#prod-WithEntries">WithEntries</a></emu-nt>
         <emu-t optional="">,<emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-t>
         <emu-t>}</emu-t>
     </emu-rhs>
@@ -3299,16 +3282,16 @@ <h1><span class="secnum">16.2.2</span> Imports</h1>
 </emu-production>
 <emu-production name="WithEntries" id="prod-WithEntries">
     <emu-nt><a href="#prod-WithEntries">WithEntries</a></emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="km78hpv7" id="prod-0HE4RviZ">
-        <emu-nt id="_ref_116"><a href="#prod-AttributeKey">AttributeKey</a></emu-nt>
+        <emu-nt id="_ref_105"><a href="#prod-AttributeKey">AttributeKey</a></emu-nt>
         <emu-t>:</emu-t>
         <emu-nt><a href="https://tc39.es/ecma262/#prod-StringLiteral">StringLiteral</a></emu-nt>
     </emu-rhs>
     <emu-rhs a="eu8tt0zo" id="prod-oClSJ6kb">
-        <emu-nt id="_ref_117"><a href="#prod-AttributeKey">AttributeKey</a></emu-nt>
+        <emu-nt id="_ref_106"><a href="#prod-AttributeKey">AttributeKey</a></emu-nt>
         <emu-t>:</emu-t>
         <emu-nt><a href="https://tc39.es/ecma262/#prod-StringLiteral">StringLiteral</a></emu-nt>
         <emu-t>,</emu-t>
-        <emu-nt id="_ref_118"><a href="#prod-WithEntries">WithEntries</a></emu-nt>
+        <emu-nt id="_ref_107"><a href="#prod-WithEntries">WithEntries</a></emu-nt>
     </emu-rhs>
 </emu-production>
 <emu-production name="AttributeKey" id="prod-AttributeKey">
@@ -3321,35 +3304,31 @@ <h1><span class="secnum">16.2.2</span> Imports</h1>
 </emu-production></ins>
 </emu-grammar>
 
-      <emu-note><span class="note">Note</span><div class="note-contents">
-        <p><ins>This section is extended by <emu-xref href="#sec-deprecated-assert-keyword-for-import-attributes" id="_ref_6"><a href="#sec-deprecated-assert-keyword-for-import-attributes">16.2.2.3</a></emu-xref>.</ins></p>
-      </div></emu-note>
-
       <emu-clause id="sec-imports-static-semantics-early-errors">
         <h1><span class="secnum">16.2.2.1</span> Static Semantics: Early Errors</h1>
 
         <emu-grammar><ins><emu-production name="WithClause" collapsed="">
     <emu-nt><a href="#prod-WithClause">WithClause</a></emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="wvk7fk7b">
-        <emu-nt id="_ref_119"><a href="#prod-AttributesKeyword">AttributesKeyword</a></emu-nt>
+        <emu-nt id="_ref_108"><a href="#prod-AttributesKeyword">AttributesKeyword</a></emu-nt>
         <emu-t>{</emu-t>
-        <emu-nt id="_ref_120"><a href="#prod-WithEntries">WithEntries</a></emu-nt>
+        <emu-nt id="_ref_109"><a href="#prod-WithEntries">WithEntries</a></emu-nt>
         <emu-t optional="">,<emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-t>
         <emu-t>}</emu-t>
     </emu-rhs>
 </emu-production></ins>
 </emu-grammar>
         <ul>
-          <li><ins>It is a Syntax Error if <emu-xref aoid="WithClauseToAttributes" id="_ref_91"><a href="#sec-with-clause-to-attributes">WithClauseToAttributes</a></emu-xref> of <emu-nt id="_ref_121"><a href="#prod-WithClause">WithClause</a></emu-nt> has two entries <var>a</var> and <var>b</var> such that <var>a</var>.<var class="field">[[Key]]</var> is <var>b</var>.<var class="field">[[Key]]</var>.</ins></li>
+          <li><ins>It is a Syntax Error if <emu-xref aoid="WithClauseToAttributes" id="_ref_82"><a href="#sec-with-clause-to-attributes">WithClauseToAttributes</a></emu-xref> of <emu-nt id="_ref_110"><a href="#prod-WithClause">WithClause</a></emu-nt> has two entries <var>a</var> and <var>b</var> such that <var>a</var>.<var class="field">[[Key]]</var> is <var>b</var>.<var class="field">[[Key]]</var>.</ins></li>
         </ul>
       </emu-clause>
 
       <emu-clause id="sec-with-clause-to-attributes" type="sdo" aoid="WithClauseToAttributes">
         <h1><span class="secnum">16.2.2.2</span> <ins>Static Semantics: WithClauseToAttributes</ins></h1>
-        <p>The <emu-xref href="#sec-algorithm-conventions-syntax-directed-operations"><a href="https://tc39.es/ecma262/#sec-algorithm-conventions-syntax-directed-operations">syntax-directed operation</a></emu-xref> WithClauseToAttributes takes no arguments and returns 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> of <emu-xref href="#importattribute-record" id="_ref_92"><a href="#importattribute-record">ImportAttribute Records</a></emu-xref>. It is defined piecewise over the following productions:</p>
+        <p>The <emu-xref href="#sec-algorithm-conventions-syntax-directed-operations"><a href="https://tc39.es/ecma262/#sec-algorithm-conventions-syntax-directed-operations">syntax-directed operation</a></emu-xref> WithClauseToAttributes takes no arguments and returns 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> of <emu-xref href="#importattribute-record" id="_ref_83"><a href="#importattribute-record">ImportAttribute Records</a></emu-xref>. It is defined piecewise over the following productions:</p>
 
         <emu-grammar><emu-production name="WithClause" collapsed="">
     <emu-nt><a href="#prod-WithClause">WithClause</a></emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="msqlrhx-" id="prod-owpu72j-">
-        <emu-nt id="_ref_122"><a href="#prod-AttributesKeyword">AttributesKeyword</a></emu-nt>
+        <emu-nt id="_ref_111"><a href="#prod-AttributesKeyword">AttributesKeyword</a></emu-nt>
         <emu-t>{</emu-t>
         <emu-t>}</emu-t>
     </emu-rhs>
@@ -3359,59 +3338,37 @@ <h1><span class="secnum">16.2.2.2</span> <ins>Static Semantics: WithClauseToAttr
 
         <emu-grammar><emu-production name="WithClause" collapsed="">
     <emu-nt><a href="#prod-WithClause">WithClause</a></emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="wvk7fk7b" id="prod-mvubOUtc">
-        <emu-nt id="_ref_123"><a href="#prod-AttributesKeyword">AttributesKeyword</a></emu-nt>
+        <emu-nt id="_ref_112"><a href="#prod-AttributesKeyword">AttributesKeyword</a></emu-nt>
         <emu-t>{</emu-t>
-        <emu-nt id="_ref_124"><a href="#prod-WithEntries">WithEntries</a></emu-nt>
+        <emu-nt id="_ref_113"><a href="#prod-WithEntries">WithEntries</a></emu-nt>
         <emu-t optional="">,<emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-t>
         <emu-t>}</emu-t>
     </emu-rhs>
 </emu-production>
 </emu-grammar>
-        <emu-alg><ol><li>Let <var>attributes</var> be <emu-xref aoid="WithClauseToAttributes" id="_ref_93"><a href="#sec-with-clause-to-attributes">WithClauseToAttributes</a></emu-xref> of <emu-nt id="_ref_125"><a href="#prod-WithEntries">WithEntries</a></emu-nt>.</li><li>Sort <var>attributes</var> according to the lexicographic order of their <var class="field">[[Key]]</var> fields, treating the value of each such field as a sequence of UTF-16 code unit values. NOTE: This sorting is observable only in that <emu-xref href="#host"><a href="https://tc39.es/ecma262/#host">hosts</a></emu-xref> are prohibited from distinguishing among attributes by the order they occur in.</li><li>Return <var>attributes</var>.</li></ol></emu-alg>
+        <emu-alg><ol><li>Let <var>attributes</var> be <emu-xref aoid="WithClauseToAttributes" id="_ref_84"><a href="#sec-with-clause-to-attributes">WithClauseToAttributes</a></emu-xref> of <emu-nt id="_ref_114"><a href="#prod-WithEntries">WithEntries</a></emu-nt>.</li><li>Sort <var>attributes</var> according to the lexicographic order of their <var class="field">[[Key]]</var> fields, treating the value of each such field as a sequence of UTF-16 code unit values. NOTE: This sorting is observable only in that <emu-xref href="#host"><a href="https://tc39.es/ecma262/#host">hosts</a></emu-xref> are prohibited from distinguishing among attributes by the order they occur in.</li><li>Return <var>attributes</var>.</li></ol></emu-alg>
 
         <emu-grammar><emu-production name="WithEntries" collapsed="">
     <emu-nt><a href="#prod-WithEntries">WithEntries</a></emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="km78hpv7" id="prod-_N0cbM5m">
-        <emu-nt id="_ref_126"><a href="#prod-AttributeKey">AttributeKey</a></emu-nt>
+        <emu-nt id="_ref_115"><a href="#prod-AttributeKey">AttributeKey</a></emu-nt>
         <emu-t>:</emu-t>
         <emu-nt><a href="https://tc39.es/ecma262/#prod-StringLiteral">StringLiteral</a></emu-nt>
     </emu-rhs>
 </emu-production>
 </emu-grammar>
-        <emu-alg><ol><li>Let <var>key</var> be the <emu-xref aoid="PropName"><a href="https://tc39.es/ecma262/#sec-static-semantics-propname">PropName</a></emu-xref> of <emu-nt id="_ref_127"><a href="#prod-AttributeKey">AttributeKey</a></emu-nt>.</li><li>Let <var>entry</var> be the <emu-xref href="#importattribute-record" id="_ref_94"><a href="#importattribute-record">ImportAttribute Record</a></emu-xref> { <var class="field">[[Key]]</var>: <var>key</var>, <var class="field">[[Value]]</var>: <emu-xref aoid="SV"><a href="https://tc39.es/ecma262/#sec-static-semantics-sv">SV</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-StringLiteral">StringLiteral</a></emu-nt> }.</li><li>Return « <var>entry</var> ».</li></ol></emu-alg>
+        <emu-alg><ol><li>Let <var>key</var> be the <emu-xref aoid="PropName"><a href="https://tc39.es/ecma262/#sec-static-semantics-propname">PropName</a></emu-xref> of <emu-nt id="_ref_116"><a href="#prod-AttributeKey">AttributeKey</a></emu-nt>.</li><li>Let <var>entry</var> be the <emu-xref href="#importattribute-record" id="_ref_85"><a href="#importattribute-record">ImportAttribute Record</a></emu-xref> { <var class="field">[[Key]]</var>: <var>key</var>, <var class="field">[[Value]]</var>: <emu-xref aoid="SV"><a href="https://tc39.es/ecma262/#sec-static-semantics-sv">SV</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-StringLiteral">StringLiteral</a></emu-nt> }.</li><li>Return « <var>entry</var> ».</li></ol></emu-alg>
 
         <emu-grammar><emu-production name="WithEntries" collapsed="">
     <emu-nt><a href="#prod-WithEntries">WithEntries</a></emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="eu8tt0zo" id="prod-yNAe-CX-">
-        <emu-nt id="_ref_128"><a href="#prod-AttributeKey">AttributeKey</a></emu-nt>
+        <emu-nt id="_ref_117"><a href="#prod-AttributeKey">AttributeKey</a></emu-nt>
         <emu-t>:</emu-t>
         <emu-nt><a href="https://tc39.es/ecma262/#prod-StringLiteral">StringLiteral</a></emu-nt>
         <emu-t>,</emu-t>
-        <emu-nt id="_ref_129"><a href="#prod-WithEntries">WithEntries</a></emu-nt>
-    </emu-rhs>
-</emu-production>
-</emu-grammar>
-        <emu-alg><ol><li>Let <var>key</var> be the <emu-xref aoid="PropName"><a href="https://tc39.es/ecma262/#sec-static-semantics-propname">PropName</a></emu-xref> of <emu-nt id="_ref_130"><a href="#prod-AttributeKey">AttributeKey</a></emu-nt>.</li><li>Let <var>entry</var> be the <emu-xref href="#importattribute-record" id="_ref_95"><a href="#importattribute-record">ImportAttribute Record</a></emu-xref> { <var class="field">[[Key]]</var>: <var>key</var>, <var class="field">[[Value]]</var>: <emu-xref aoid="SV"><a href="https://tc39.es/ecma262/#sec-static-semantics-sv">SV</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-StringLiteral">StringLiteral</a></emu-nt> }.</li><li>Let <var>rest</var> be <emu-xref aoid="WithClauseToAttributes" id="_ref_96"><a href="#sec-with-clause-to-attributes">WithClauseToAttributes</a></emu-xref> of <emu-nt id="_ref_131"><a href="#prod-WithEntries">WithEntries</a></emu-nt>.</li><li>Return the <emu-xref href="#list-concatenation"><a href="https://tc39.es/ecma262/#list-concatenation">list-concatenation</a></emu-xref> of « <var>entry</var> » and <var>rest</var>.</li></ol></emu-alg>
-
-      </emu-clause>
-
-      <emu-clause id="sec-deprecated-assert-keyword-for-import-attributes" deprecated="" normative-optional=""><div class="attributes-tag"><emu-xref href="#sec-conformance" id="_ref_97"><a href="#sec-conformance">Normative Optional</a></emu-xref>, <emu-xref href="#sec-conformance" id="_ref_98"><a href="#sec-conformance">Deprecated</a></emu-xref></div>
-        <h1><span class="secnum">16.2.2.3</span> <ins>Deprecated <code>assert</code> keyword for Import Attributes</ins></h1>
-
-        <p>Import Attributes are denoted using the <code>with</code> <emu-xref href="#sec-keywords-and-reserved-words"><a href="https://tc39.es/ecma262/#sec-keywords-and-reserved-words">keyword</a></emu-xref>. However, there are existing implementations based on a previous version of the proposal using the <code>assert</code> <emu-xref href="#sec-keywords-and-reserved-words"><a href="https://tc39.es/ecma262/#sec-keywords-and-reserved-words">keyword</a></emu-xref>. Due to potential web compatibility risks, the <code>assert</code> <emu-xref href="#sec-keywords-and-reserved-words"><a href="https://tc39.es/ecma262/#sec-keywords-and-reserved-words">keyword</a></emu-xref> is still included in this specification, but its removal is being investigated.</p>
-
-        <p>This deprecated feature includes the <code>assert</code> fallback for import attributes in import calls (step <emu-xref href="#step-evaluate-import-call-assert-fallback" id="_ref_7"><a href="#step-evaluate-import-call-assert-fallback">11.d</a></emu-xref> of <emu-xref href="#sec-evaluate-import-call" id="_ref_8"><a href="#sec-evaluate-import-call">13.3.10.2</a></emu-xref>).</p>
-
-        <p>The following extends the <emu-nt id="_ref_132"><a href="#prod-AttributesKeyword">AttributesKeyword</a></emu-nt> production in <emu-xref href="#sec-imports" id="_ref_9"><a href="#sec-imports">16.2.2</a></emu-xref>:</p>
-        <!-- emu-grammar[type=definition] have different margin than other emu-grammar, but we want this to be aligned with the one below. -->
-        <emu-grammar style="display:block; margin-left: 5ex"><emu-production name="AttributesKeyword">
-    <emu-nt><a href="#prod-AttributesKeyword">AttributesKeyword</a></emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="cc4dr5vs">
-        <emu-t>with</emu-t>
-    </emu-rhs>
-    <emu-rhs a="zszwpmce">
-        <emu-gann>[no <emu-nt><a href="https://tc39.es/ecma262/#prod-LineTerminator">LineTerminator</a></emu-nt> here]</emu-gann>
-        <emu-t>assert</emu-t>
+        <emu-nt id="_ref_118"><a href="#prod-WithEntries">WithEntries</a></emu-nt>
     </emu-rhs>
 </emu-production>
 </emu-grammar>
+        <emu-alg><ol><li>Let <var>key</var> be the <emu-xref aoid="PropName"><a href="https://tc39.es/ecma262/#sec-static-semantics-propname">PropName</a></emu-xref> of <emu-nt id="_ref_119"><a href="#prod-AttributeKey">AttributeKey</a></emu-nt>.</li><li>Let <var>entry</var> be the <emu-xref href="#importattribute-record" id="_ref_86"><a href="#importattribute-record">ImportAttribute Record</a></emu-xref> { <var class="field">[[Key]]</var>: <var>key</var>, <var class="field">[[Value]]</var>: <emu-xref aoid="SV"><a href="https://tc39.es/ecma262/#sec-static-semantics-sv">SV</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-StringLiteral">StringLiteral</a></emu-nt> }.</li><li>Let <var>rest</var> be <emu-xref aoid="WithClauseToAttributes" id="_ref_87"><a href="#sec-with-clause-to-attributes">WithClauseToAttributes</a></emu-xref> of <emu-nt id="_ref_120"><a href="#prod-WithEntries">WithEntries</a></emu-nt>.</li><li>Return the <emu-xref href="#list-concatenation"><a href="https://tc39.es/ecma262/#list-concatenation">list-concatenation</a></emu-xref> of « <var>entry</var> » and <var>rest</var>.</li></ol></emu-alg>
       </emu-clause>
     </emu-clause>
 
@@ -3423,7 +3380,7 @@ <h1><span class="secnum">16.2.3</span> Exports</h1>
         <emu-t>export</emu-t>
         <emu-nt><a href="https://tc39.es/ecma262/#prod-ExportFromClause">ExportFromClause</a></emu-nt>
         <emu-nt><a href="https://tc39.es/ecma262/#prod-FromClause">FromClause</a></emu-nt>
-        <ins><emu-nt optional="" id="_ref_133"><a href="#prod-WithClause">WithClause</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt></ins>
+        <ins><emu-nt optional="" id="_ref_121"><a href="#prod-WithClause">WithClause</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt></ins>
         <emu-t>;</emu-t>
     </emu-rhs>
     <emu-rhs a="j2lh_kda">
@@ -3473,8 +3430,8 @@ <h1><span class="secnum">A</span> Sample host integration: The Web embedding</h1
 
   <ul>
     <li>The <a href="https://html.spec.whatwg.org/#module-script">module script</a> would have an additional item, which would be the module type, as a string (e.g., <emu-val>"json"</emu-val>), or <emu-val>undefined</emu-val> for a JavaScript module.</li>
-    <li><emu-xref aoid="HostLoadImportedModule" id="_ref_99"><a href="#sec-HostLoadImportedModule">HostLoadImportedModule</a></emu-xref> would take a <emu-xref href="#modulerequest-record" id="_ref_100"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> parameter in place of a specifier string, which would be passed down through several <emu-xref href="#sec-algorithm-conventions-abstract-operations"><a href="https://tc39.es/ecma262/#sec-algorithm-conventions-abstract-operations">abstract operations</a></emu-xref> to reach the <a href="https://html.spec.whatwg.org/#fetch-a-single-module-script">fetch a single module script</a> algorithm. Somewhere near the entrypoint, if the <emu-xref href="#modulerequest-record" id="_ref_101"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref>'s <var class="field">[[Attributes]]</var> field has an element <var>entry</var> such that <var>entry</var>.<var class="field">[[Key]]</var> is <emu-val>"type"</emu-val>, then let <var>type</var> be <var>entry</var>.<var class="field">[[Value]]</var>; otherwise let <var>type</var> be <emu-val>undefined</emu-val>. If the type is invalid, then an exception is thrown and module loading fails. Otherwise, this will equal the module type, if the module can be successfully fetched with a matching MIME type.</li>
-    <li>In the <a href="https://html.spec.whatwg.org/#fetch-the-descendants-of-a-module-script">fetch the descendents of a module script</a> algorithm, when iterating over <var class="field">[[RequestedModules]]</var>, the elements are <emu-xref href="#modulerequest-record" id="_ref_102"><a href="#modulerequest-record">ModuleRequest Records</a></emu-xref> rather than just specifier strings; these <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Records</a></emu-xref> is passed on to the internal module script graph fetching procedure (which sends it to "fetch a single module script". Other usage sites of <var class="field">[[RequestedModules]]</var> ignore the attribute.</li>
+    <li><emu-xref aoid="HostLoadImportedModule" id="_ref_88"><a href="#sec-HostLoadImportedModule">HostLoadImportedModule</a></emu-xref> would take a <emu-xref href="#modulerequest-record" id="_ref_89"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> parameter in place of a specifier string, which would be passed down through several <emu-xref href="#sec-algorithm-conventions-abstract-operations"><a href="https://tc39.es/ecma262/#sec-algorithm-conventions-abstract-operations">abstract operations</a></emu-xref> to reach the <a href="https://html.spec.whatwg.org/#fetch-a-single-module-script">fetch a single module script</a> algorithm. Somewhere near the entrypoint, if the <emu-xref href="#modulerequest-record" id="_ref_90"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref>'s <var class="field">[[Attributes]]</var> field has an element <var>entry</var> such that <var>entry</var>.<var class="field">[[Key]]</var> is <emu-val>"type"</emu-val>, then let <var>type</var> be <var>entry</var>.<var class="field">[[Value]]</var>; otherwise let <var>type</var> be <emu-val>undefined</emu-val>. If the type is invalid, then an exception is thrown and module loading fails. Otherwise, this will equal the module type, if the module can be successfully fetched with a matching MIME type.</li>
+    <li>In the <a href="https://html.spec.whatwg.org/#fetch-the-descendants-of-a-module-script">fetch the descendents of a module script</a> algorithm, when iterating over <var class="field">[[RequestedModules]]</var>, the elements are <emu-xref href="#modulerequest-record" id="_ref_91"><a href="#modulerequest-record">ModuleRequest Records</a></emu-xref> rather than just specifier strings; these <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Records</a></emu-xref> is passed on to the internal module script graph fetching procedure (which sends it to "fetch a single module script". Other usage sites of <var class="field">[[RequestedModules]]</var> ignore the attribute.</li>
     <li>"Fetch a single module script" would check the attribute in two places:
       <ul>
         <li>The module map is keyed with both the absolute URL and the module type, so an existing entry will be found only if its <var>type</var> matches.</li>
diff --git a/spec.emu b/spec.emu
index 6fad250..50b23c5 100644
--- a/spec.emu
+++ b/spec.emu
@@ -17,24 +17,11 @@
   <p>See <a href="https://github.com/tc39/proposal-import-attributes/blob/master/README.md">the explainer</a> for information.</p>
   <p>The relevant syntax changes are in the <a href="#sec-left-hand-side-expressions">Import Calls</a> and <a href="#sec-imports">Imports</a> sections.</p>
 
-  <p>This feature would ideally use the `with` keyword to denote attributes, but there are existing implementations based on a previous version of the proposal using the `assert` keyword. Due to potential web compatibility risks, the proposal still includes `assert` marked as <emu-xref href="#sec-conformance">deprecated</emu-xref>. Usage of the old syntax is discouraged, and its removal is being investigated.</p>
-
   <emu-note type="editor" style="background:#ffeedd">
     <p><strong>This document might be out of date</strong>. Please refer to <a href="https://ci.tc39.es/preview/tc39/ecma262/pull/3057">the tc39/ecma262#3057 preview</a> for the latest version.</p>
   </emu-note>
 </emu-intro>
 
-<emu-clause id="sec-conformance" number="2">
-  <h1>Conformance</h1>
-
-  <p><ins>A conforming implementation of ECMAScript should not implement <dfn>Deprecated</dfn> subclauses or algorithm steps, unless necessary for compatibility with existing applications that already run in such implementation before the deprecation of the given language feature. All of the language features and behaviours specified within Deprecated subclauses or algorithm steps have one or more undesirable characteristics. However, their use in existing applications currently prevents their removal from this specification. These features are not considered part of the core ECMAScript language. Programmers should not use or assume the existence of these features and behaviours when writing new ECMAScript code.</ins></p>
-
-  <emu-clause id="sec-conformance-deprecated" example deprecated>
-    <h1>Example Deprecated Clause Heading</h1>
-    <p>Example clause contents.</p>
-  </emu-clause>
-</emu-clause>
-
 <emu-clause id="sec-ecmascript-language-expressions" number="13">
   <h1>ECMAScript Language: Expressions</h1>
 
@@ -107,9 +94,6 @@
               1. Return _promiseCapability_.[[Promise]].
             1. Let _attributesObj_ be Completion(Get(_options_, *"with"*)).
             1. IfAbruptRejectPromise(_attributesObj_, _promiseCapability_).
-            1. [id="step-evaluate-import-call-assert-fallback", deprecated="", normative-optional=""] If the host supports the <emu-xref href="#sec-deprecated-assert-keyword-for-import-attributes">deprecated `assert` keyword for import attributes</emu-xref> and _attributesObj_ is *undefined*, then
-                1. Set _attributesObj_ to Completion(Get(_options_, *"assert"*)).
-                1. IfAbruptRejectPromise(_attributesObj_, _promiseCapability_).
             1. If _attributesObj_ is not *undefined*, then
               1. If Type(_attributesObj_) is not Object, then
                 1. Perform ! Call(_promiseCapability_.[[Reject]], *undefined*, &laquo; a newly created *TypeError* object &raquo;).
@@ -131,10 +115,6 @@
           1. Perform HostLoadImportedModule(_referrer_, _moduleRequest_, ~empty~, _promiseCapability_).
           1. Return _promiseCapability_.[[Promise]].
         </emu-alg>
-
-        <emu-note>
-          Removal of the `assert` fallback when _options_'s `with` property is *undefined* is being investigated.
-        </emu-note>
       </emu-clause>
     </emu-clause>
   </emu-clause>
@@ -775,10 +755,6 @@
         </ins>
       </emu-grammar>
 
-      <emu-note>
-        <p><ins>This section is extended by <emu-xref href="#sec-deprecated-assert-keyword-for-import-attributes"></emu-xref>.</ins></p>
-      </emu-note>
-
       <emu-clause id="sec-imports-static-semantics-early-errors">
         <h1>Static Semantics: Early Errors</h1>
 
@@ -832,23 +808,6 @@
           1. Let _rest_ be WithClauseToAttributes of |WithEntries|.
           1. Return the list-concatenation of « _entry_ » and _rest_.
         </emu-alg>
-
-      </emu-clause>
-
-      <emu-clause id="sec-deprecated-assert-keyword-for-import-attributes" deprecated normative-optional>
-        <h1><ins>Deprecated `assert` keyword for Import Attributes</ins></h1>
-
-        <p>Import Attributes are denoted using the `with` keyword. However, there are existing implementations based on a previous version of the proposal using the `assert` keyword. Due to potential web compatibility risks, the `assert` keyword is still included in this specification, but its removal is being investigated.</p>
-
-        <p>This deprecated feature includes the `assert` fallback for import attributes in import calls (step <emu-xref href="#step-evaluate-import-call-assert-fallback"></emu-xref> of <emu-xref href="#sec-evaluate-import-call"></emu-xref>).</p>
-
-        <p>The following extends the |AttributesKeyword| production in <emu-xref href="#sec-imports"></emu-xref>:</p>
-        <!-- emu-grammar[type=definition] have different margin than other emu-grammar, but we want this to be aligned with the one below. -->
-        <emu-grammar style="display:block; margin-left: 5ex">
-          AttributesKeyword :
-            `with`
-            [no LineTerminator here] `assert`
-        </emu-grammar>
       </emu-clause>
     </emu-clause>