@soundscript/soundscript 0.1.15 → 0.1.17

package/project-transform/src/compiler/wat_emitter.js

@@ -1,10 +1,10 @@
 import { COMPILER_DIAGNOSTIC_CODES, COMPILER_DIAGNOSTIC_MESSAGES, } from '../checker/engine/diagnostic_codes.js';
 import { CompilerUnsupportedError } from './errors.js';
 import { createSpecializedObjectKeysHelperName, getFallbackObjectKeysHelperName, } from './object_keys.js';
-import { emitArrayRuntimeImports as emitArrayRuntimeImportsFromArrays, getCopyOwnedTaggedArrayToHostHelperName, getHostArrayToOwnedTaggedArrayHelperName, emitOwnedArrayBoundaryHelpers as emitOwnedArrayBoundaryHelpersFromArrays, emitOwnedArrayNativeHelpers as emitOwnedArrayNativeHelpersFromArrays, emitOwnedArrayTypes as emitOwnedArrayTypesFromArrays, getOwnedTaggedArrayToHostHelperName, } from './wat_arrays.js';
+import { emitArrayRuntimeImports as emitArrayRuntimeImportsFromArrays, emitOwnedArrayBoundaryHelpers as emitOwnedArrayBoundaryHelpersFromArrays, emitOwnedArrayNativeHelpers as emitOwnedArrayNativeHelpersFromArrays, emitOwnedArrayTypes as emitOwnedArrayTypesFromArrays, getCopyOwnedTaggedArrayToHostHelperName, getHostArrayToOwnedTaggedArrayHelperName, getOwnedTaggedArrayToHostHelperName, } from './wat_arrays.js';
 import { emitHostTaggedPrimitiveExternrefToTagged, emitHostTaggedPrimitiveParamAdaptation as emitHostTaggedPrimitiveParamAdaptationFromModule, emitHostTaggedPrimitiveResultAdaptation as emitHostTaggedPrimitiveResultAdaptationFromModule, emitTaggedPrimitiveToHostExternref, getTaggedHostBoundaryUsage, } from './wat_tagged.js';
 import { emitOwnedStringLiteralHelpers as emitOwnedStringLiteralHelpersFromStrings, emitStringLiteralMetadata as emitStringLiteralMetadataFromStrings, emitStringRuntimeTypes as emitStringRuntimeTypesFromStrings, } from './wat_strings.js';
-import { CASED_RANGES, CASE_IGNORABLE_RANGES, LOWER_DELTA_RANGES, LOWER_EXPANSIONS, UPPER_DELTA_RANGES, UPPER_EXPANSIONS, } from './unicode_case_data.js';
+import { CASE_IGNORABLE_RANGES, CASED_RANGES, LOWER_DELTA_RANGES, LOWER_EXPANSIONS, UPPER_DELTA_RANGES, UPPER_EXPANSIONS, } from './unicode_case_data.js';
 function indent(level) {
     return '  '.repeat(level);
 }
@@ -17,11 +17,26 @@ const SOUNDSCRIPT_PROMISE_DRAIN_HELPER_NAME = '__soundscript_promise_drain';
 const SOUNDSCRIPT_PROMISE_NEW_PENDING_HELPER_NAME = '__soundscript_promise_new_pending';
 const SOUNDSCRIPT_PROMISE_RESOLVE_INTO_HELPER_NAME = '__soundscript_promise_resolve_into';
 const SOUNDSCRIPT_PROMISE_REJECT_INTO_HELPER_NAME = '__soundscript_promise_reject_into';
+const SOUNDSCRIPT_ASYNC_GENERATOR_STEP_HELPER_NAME = '__soundscript_async_generator_step';
+const SOUNDSCRIPT_ASYNC_GENERATOR_TAGGED_TO_HOST_HELPER_NAME = '__soundscript_async_generator_tagged_to_host';
+const SOUNDSCRIPT_ASYNC_GENERATOR_STEP_BRIDGE_FULFILL_TAGGED_HELPER_NAME = '__soundscript_async_generator_step_bridge_fulfill_tagged';
+const SOUNDSCRIPT_HOST_SYNC_GENERATOR_WRAP_IMPORT_NAME = '$host_sync_generator_wrap';
+const SOUNDSCRIPT_HOST_ASYNC_GENERATOR_WRAP_IMPORT_NAME = '$host_async_generator_wrap';
 const SOUNDSCRIPT_HOST_PROMISE_TO_HOST_IMPORT_NAME = '$host_promise_to_host';
 const SOUNDSCRIPT_HOST_PROMISE_TO_INTERNAL_IMPORT_NAME = '$host_promise_to_internal';
+const SOUNDSCRIPT_HOST_ASYNC_GENERATOR_STEP_IMPORT_NAME = '$host_async_generator_step';
+const SOUNDSCRIPT_HOST_TRY_TAGGED_IMPORT_NAME = '$host_try_tagged';
+const SOUNDSCRIPT_HOST_TRY_RESULT_THREW_IMPORT_NAME = '$host_try_result_threw';
+const SOUNDSCRIPT_HOST_TRY_RESULT_VALUE_IMPORT_NAME = '$host_try_result_value';
 const SOUNDSCRIPT_PROMISE_THEN_HOST_EXPORT_NAME = '__soundscript_promise_then_host';
 const SOUNDSCRIPT_PROMISE_BRIDGE_FULFILL_EXPORT_NAME = '__soundscript_promise_bridge_fulfill';
 const SOUNDSCRIPT_PROMISE_BRIDGE_REJECT_EXPORT_NAME = '__soundscript_promise_bridge_reject';
+const SOUNDSCRIPT_ASYNC_GENERATOR_STEP_BRIDGE_FULFILL_EXPORT_NAME = '__soundscript_async_generator_step_bridge_fulfill';
+const SOUNDSCRIPT_ASYNC_GENERATOR_STEP_BRIDGE_FULFILL_STRING_ARRAY_EXPORT_NAME = '__soundscript_async_generator_step_bridge_fulfill_string_array';
+const SOUNDSCRIPT_ASYNC_GENERATOR_STEP_BRIDGE_FULFILL_NUMBER_ARRAY_EXPORT_NAME = '__soundscript_async_generator_step_bridge_fulfill_number_array';
+const SOUNDSCRIPT_ASYNC_GENERATOR_STEP_BRIDGE_FULFILL_BOOLEAN_ARRAY_EXPORT_NAME = '__soundscript_async_generator_step_bridge_fulfill_boolean_array';
+const SOUNDSCRIPT_ASYNC_GENERATOR_STEP_BRIDGE_FULFILL_TAGGED_ARRAY_EXPORT_NAME = '__soundscript_async_generator_step_bridge_fulfill_tagged_array';
+const SOUNDSCRIPT_GENERATOR_INTERNAL_STEP_KEY = '__ss_generator_step';
 const SOUNDSCRIPT_PROMISE_INTERNAL_STATE_KEY = '__ss_promise_state';
 const SOUNDSCRIPT_PROMISE_INTERNAL_VALUE_KEY = '__ss_promise_value';
 const SOUNDSCRIPT_PROMISE_INTERNAL_REACTIONS_KEY = '__ss_promise_reactions';
@@ -40,6 +55,13 @@ const BUILTIN_ERROR_CONSTRUCTOR_NAMES = [
     'TypeError',
     'URIError',
 ];
+const ASYNC_GENERATOR_HOST_TAGGED_ARRAY_BRIDGE_KINDS = {
+    includesBoolean: true,
+    includesNull: true,
+    includesNumber: true,
+    includesString: true,
+    includesUndefined: true,
+};
 function getWatValueType(valueType) {
     switch (valueType) {
         case 'f64':
@@ -1238,6 +1260,8 @@ function isOwnedStringExpression(expression) {
         case 'owned_boolean_array_join':
         case 'owned_string_array_element':
             return true;
+        case 'box_get':
+            return expression.type === 'owned_string_ref';
         case 'local_get':
         case 'call':
             return expression.type === 'owned_string_ref';
@@ -1769,6 +1793,10 @@ function statementsUseStringHelper(statements, predicate) {
             case 'return':
             case 'dynamic_object_property_set':
                 return expressionTreeMatches(statement.value);
+            case 'throw_tagged':
+                return expressionTreeMatches(statement.value);
+            case 'trap':
+                return false;
             case 'specialized_object_field_set':
                 return expressionTreeMatches(statement.value);
             case 'owned_heap_array_set':
@@ -1800,7 +1828,8 @@ function isPromiseRuntimeHelperCall(expression) {
             expression.callee === SOUNDSCRIPT_PROMISE_REJECT_HELPER_NAME ||
             expression.callee === SOUNDSCRIPT_PROMISE_RESOLVE_INTO_HELPER_NAME ||
             expression.callee === SOUNDSCRIPT_PROMISE_REJECT_INTO_HELPER_NAME ||
-            expression.callee === SOUNDSCRIPT_PROMISE_THEN_HELPER_NAME);
+            expression.callee === SOUNDSCRIPT_PROMISE_THEN_HELPER_NAME ||
+            expression.callee === SOUNDSCRIPT_ASYNC_GENERATOR_STEP_HELPER_NAME);
 }
 function moduleUsesHostPromiseParamBridge(module) {
     return module.functions.some((func) => (func.hostPromiseParams?.length ?? 0) > 0 || func.hostImport?.promiseResult === true);
@@ -1808,21 +1837,71 @@ function moduleUsesHostPromiseParamBridge(module) {
 function moduleUsesHostPromiseResultBridge(module) {
     return module.functions.some((func) => func.hostPromiseResult === true || (func.hostImportPromiseParams?.length ?? 0) > 0);
 }
+function moduleUsesAsyncGeneratorHostStepBridge(module) {
+    return module.functions.some((func) => func.usesAsyncGeneratorHostStepBridge === true);
+}
+function moduleUsesAsyncGeneratorHostResultBridge(module) {
+    return module.functions.some((func) => func.hostAsyncGeneratorResult === true);
+}
+function moduleUsesSyncGeneratorHostResultBridge(module) {
+    return module.functions.some((func) => func.hostGeneratorResult === true);
+}
+function moduleUsesGeneratorStepClosureHostBridge(module) {
+    return moduleUsesAsyncGeneratorHostStepBridge(module) ||
+        moduleUsesSyncGeneratorHostResultBridge(module) ||
+        moduleUsesAsyncGeneratorHostResultBridge(module);
+}
 function moduleUsesHostPromiseBridge(module) {
-    return moduleUsesHostPromiseParamBridge(module) || moduleUsesHostPromiseResultBridge(module);
+    return moduleUsesHostPromiseParamBridge(module) ||
+        moduleUsesHostPromiseResultBridge(module) ||
+        moduleUsesSyncGeneratorHostResultBridge(module) ||
+        moduleUsesAsyncGeneratorHostStepBridge(module) ||
+        moduleUsesAsyncGeneratorHostResultBridge(module);
+}
+function moduleUsesSyncTryCatchRuntime(module) {
+    return module.syncTryCatchClosureSignatureId !== undefined;
+}
+function moduleUsesTaggedThrowRuntime(module) {
+    const statementsUseTaggedThrowRuntime = (statements) => statements.some((statement) => {
+        switch (statement.kind) {
+            case 'throw_tagged':
+                return true;
+            case 'if':
+                return statementsUseTaggedThrowRuntime(statement.thenBody) ||
+                    statementsUseTaggedThrowRuntime(statement.elseBody);
+            case 'while':
+                return statementsUseTaggedThrowRuntime(statement.body);
+            default:
+                return false;
+        }
+    });
+    return module.functions.some((func) => statementsUseTaggedThrowRuntime(func.body));
 }
 function functionIsHostImported(func) {
     return func.hostImport !== undefined;
 }
 function moduleUsesPromiseRuntime(module) {
     return moduleUsesHostPromiseBridge(module) ||
+        moduleUsesSyncGeneratorHostResultBridge(module) ||
         module.functions.some((func) => statementsUseStringHelper(func.body, isPromiseRuntimeHelperCall));
 }
+function getGeneratorStepClosureSignature(module) {
+    return module.closureSignatures?.find((signature) => signature.params.length === 2 &&
+        signature.params[0] === 'f64' &&
+        signature.params[1] === 'tagged_ref' &&
+        signature.paramTaggedPrimitiveKinds?.[1] !== undefined &&
+        signature.paramHeapRepresentations?.[1]?.kind === 'dynamic_object_representation' &&
+        signature.resultType === 'heap_ref' &&
+        signature.resultHeapRepresentation?.kind === 'dynamic_object_representation');
+}
 function moduleUsesPromiseThenRuntime(module) {
-    return moduleUsesHostPromiseResultBridge(module) || module.functions.some((func) => statementsUseStringHelper(func.body, (expression) => expression.kind === 'call' &&
-        (expression.callee === SOUNDSCRIPT_PROMISE_THEN_HELPER_NAME ||
-            expression.callee === SOUNDSCRIPT_PROMISE_RESOLVE_INTO_HELPER_NAME ||
-            expression.callee === SOUNDSCRIPT_PROMISE_REJECT_INTO_HELPER_NAME)));
+    return moduleUsesHostPromiseResultBridge(module) ||
+        moduleUsesSyncGeneratorHostResultBridge(module) ||
+        moduleUsesAsyncGeneratorHostResultBridge(module) ||
+        module.functions.some((func) => statementsUseStringHelper(func.body, (expression) => expression.kind === 'call' &&
+            (expression.callee === SOUNDSCRIPT_PROMISE_THEN_HELPER_NAME ||
+                expression.callee === SOUNDSCRIPT_PROMISE_RESOLVE_INTO_HELPER_NAME ||
+                expression.callee === SOUNDSCRIPT_PROMISE_REJECT_INTO_HELPER_NAME)));
 }
 function expressionUsesNullLiteral(expression) {
     if (expression.kind === 'null_literal') {
@@ -1856,12 +1935,18 @@ function collectOwnedStringLiteralIdsFromStatements(statements, literalIds) {
     for (const statement of statements) {
         switch (statement.kind) {
             case 'expression':
+            case 'box_set':
             case 'local_set':
             case 'return':
             case 'dynamic_object_property_set':
             case 'specialized_object_field_set':
                 collectOwnedStringLiteralIds(statement.value, literalIds);
                 break;
+            case 'throw_tagged':
+                collectOwnedStringLiteralIds(statement.value, literalIds);
+                break;
+            case 'trap':
+                break;
             case 'owned_heap_array_set':
             case 'owned_string_array_set':
             case 'owned_number_array_set':
@@ -1964,18 +2049,20 @@ function moduleUsesObjectKeysArrayRuntime(module) {
         func.resultType === 'owned_array_ref' ||
         func.locals.some((local) => local.type === 'owned_array_ref') ||
         statementsUseStringHelper(func.body, (expression) => getExpressionValueType(expression) === 'owned_array_ref' ||
-            expression.kind === 'owned_string_array_element')) || getClassStaticStringArrayFields(module).length > 0 || (module.runtime?.functions.some((func) => func.operations.some((operation) => operation.kind === 'list_specialized_object_keys' ||
-        operation.kind === 'list_fallback_object_keys' ||
-        operation.kind === 'list_dynamic_object_keys' ||
-        (operation.kind === 'list_dynamic_object_entries' &&
-            operation.pairValueType === 'owned_string_ref'))) ?? false);
+            expression.kind === 'owned_string_array_element')) || getClassStaticStringArrayFields(module).length > 0 ||
+        (module.runtime?.functions.some((func) => func.operations.some((operation) => operation.kind === 'list_specialized_object_keys' ||
+            operation.kind === 'list_fallback_object_keys' ||
+            operation.kind === 'list_dynamic_object_keys' ||
+            (operation.kind === 'list_dynamic_object_entries' &&
+                operation.pairValueType === 'owned_string_ref'))) ?? false);
 }
 function moduleUsesOwnedHeapArrayRuntime(module) {
-    return moduleUsesPromiseRuntime(module) || module.functions.some((func) => func.params.some((param) => param.type === 'owned_heap_array_ref') ||
-        func.resultType === 'owned_heap_array_ref' ||
-        func.locals.some((local) => local.type === 'owned_heap_array_ref') ||
-        statementsUseStringHelper(func.body, (expression) => getExpressionValueType(expression) === 'owned_heap_array_ref' ||
-            expression.kind === 'owned_heap_array_element'));
+    return moduleUsesPromiseRuntime(module) ||
+        module.functions.some((func) => func.params.some((param) => param.type === 'owned_heap_array_ref') ||
+            func.resultType === 'owned_heap_array_ref' ||
+            func.locals.some((local) => local.type === 'owned_heap_array_ref') ||
+            statementsUseStringHelper(func.body, (expression) => getExpressionValueType(expression) === 'owned_heap_array_ref' ||
+                expression.kind === 'owned_heap_array_element'));
 }
 function moduleUsesOwnedNumberArrayRuntime(module) {
     return module.functions.some((func) => func.params.some((param) => param.type === 'owned_number_array_ref') ||
@@ -1998,10 +2085,11 @@ function moduleUsesOwnedTaggedArrayRuntime(module) {
         (func.hostTaggedArrayParams?.length ?? 0) > 0 ||
         func.hostTaggedArrayResultKinds !== undefined ||
         statementsUseStringHelper(func.body, (expression) => getExpressionValueType(expression) === 'owned_tagged_array_ref' ||
-            expression.kind === 'owned_tagged_array_element')) || getClassStaticTaggedArrayFields(module).length > 0 || (module.runtime?.functions.some((func) => func.operations.some((operation) => (operation.kind === 'list_dynamic_object_values' &&
-        operation.resultType === 'owned_tagged_array_ref') ||
-        (operation.kind === 'list_dynamic_object_entries' &&
-            operation.pairValueType === 'tagged_ref'))) ?? false);
+            expression.kind === 'owned_tagged_array_element')) || getClassStaticTaggedArrayFields(module).length > 0 ||
+        (module.runtime?.functions.some((func) => func.operations.some((operation) => (operation.kind === 'list_dynamic_object_values' &&
+            operation.resultType === 'owned_tagged_array_ref') ||
+            (operation.kind === 'list_dynamic_object_entries' &&
+                operation.pairValueType === 'tagged_ref'))) ?? false);
 }
 function moduleUsesOwnedStringArrayPush(module) {
     return module.functions.some((func) => statementsUseStringHelper(func.body, (expression) => expression.kind === 'owned_string_array_push'));
@@ -2439,15 +2527,16 @@ function moduleUsesOwnedStringCodePointAtRuntime(module) {
     return module.functions.some((func) => statementsUseStringHelper(func.body, expressionUsesOwnedStringCodePointAtHelper));
 }
 function moduleUsesOwnedStringEqualsRuntime(module) {
-    return module.functions.some((func) => statementsUseStringHelper(func.body, expressionUsesOwnedStringEqualsHelper)) || getDynamicObjectLayout(module.runtime) !== undefined || (module.runtime?.functions.some((func) => func.operations.some((operation) => operation.kind === 'allocate_dynamic_object' ||
-        operation.kind === 'copy_dynamic_object_entries' ||
-        operation.kind === 'delete_dynamic_object_property' ||
-        operation.kind === 'get_dynamic_object_property' ||
-        operation.kind === 'has_dynamic_object_property' ||
-        operation.kind === 'list_dynamic_object_entries' ||
-        operation.kind === 'list_dynamic_object_keys' ||
-        operation.kind === 'list_dynamic_object_values' ||
-        operation.kind === 'set_dynamic_object_property')) ?? false);
+    return module.functions.some((func) => statementsUseStringHelper(func.body, expressionUsesOwnedStringEqualsHelper)) || getDynamicObjectLayout(module.runtime) !== undefined ||
+        (module.runtime?.functions.some((func) => func.operations.some((operation) => operation.kind === 'allocate_dynamic_object' ||
+            operation.kind === 'copy_dynamic_object_entries' ||
+            operation.kind === 'delete_dynamic_object_property' ||
+            operation.kind === 'get_dynamic_object_property' ||
+            operation.kind === 'has_dynamic_object_property' ||
+            operation.kind === 'list_dynamic_object_entries' ||
+            operation.kind === 'list_dynamic_object_keys' ||
+            operation.kind === 'list_dynamic_object_values' ||
+            operation.kind === 'set_dynamic_object_property')) ?? false);
 }
 function moduleUsesOwnedStringConcatRuntime(module) {
     return module.functions.some((func) => statementsUseStringHelper(func.body, expressionUsesOwnedStringConcatHelper));
@@ -2542,7 +2631,8 @@ function functionUsesOwnedStringToHostPropertyReadAdaptation(func, operations) {
     });
 }
 function moduleUsesOwnedStringToHostRuntime(module) {
-    return module.functions.some((func) => functionUsesOwnedStringToHostReturnAdaptation(func) ||
+    return module.functions.some((func) => (functionIsHostImported(func) && func.params.some((param) => param.type === 'owned_string_ref')) ||
+        functionUsesOwnedStringToHostReturnAdaptation(func) ||
         functionUsesOwnedStringToHostLocalAdaptation(func) ||
         functionUsesOwnedStringToHostPropertyReadAdaptation(func, getRuntimeOperationsForFunction(func, module.runtime)) ||
         statementsUseStringHelper(func.body, expressionUsesOwnedStringToHostHelper)) || moduleUsesHostClosureBoundaryToHostType(module, 'owned_string_ref') ||
@@ -2588,7 +2678,8 @@ function moduleUsesSpecializedHostMethodArrayFieldSyncBoundary(module, valueType
 }
 function moduleUsesFallbackHostMethodArrayPropertySyncBoundary(module, valueType) {
     return module.functions.some((func) => hasHostFallbackObjectResultBoundary(func) &&
-        (func.hostFallbackArrayProperties?.some((property) => property.valueType === valueType) ?? false) &&
+        (func.hostFallbackArrayProperties?.some((property) => property.valueType === valueType) ??
+            false) &&
         (func.hostFallbackClosureProperties?.some((property) => (property.methodClosureFunctionIds?.length ?? 0) > 0) ?? false));
 }
 function getSpecializedTaggedArrayFieldBoundaryUsage(module) {
@@ -2659,75 +2750,95 @@ function getSpecializedTaggedArrayFieldBoundaryUsage(module) {
 function moduleUsesOwnedArrayHostParamBoundary(module) {
     return module.functions.some((func) => func.closureFunctionId === undefined &&
         func.params.some((param) => param.type === 'owned_array_ref')) || module.functions.some((func) => func.hostDynamicCollectionParams?.some((param) => param.collectionKind === 'map' || param.valueKind === 'string') === true) || module.functions.some((func) => func.hostFallbackArrayProperties?.some((property) => property.valueType === 'owned_array_ref') &&
-        getHostFallbackObjectParamBoundaryNames(func).length > 0) || module.runtime?.representations.some((representation) => representation.kind === 'specialized_object_representation' &&
+        (getHostFallbackObjectParamBoundaryNames(func).length > 0 || hasHostFallbackObjectResultBoundary(func))) || module.runtime?.representations.some((representation) => representation.kind === 'specialized_object_representation' &&
         parseSpecializedObjectFields(representation.shapeName).some((field) => field.valueType === 'owned_array_ref') &&
         module.functions.some((func) => getHostAdaptableSpecializedObjectParamBoundaries(func, createSpecializedObjectLayouts(module.runtime)).some((boundary) => boundary.representation.name === representation.name) ||
+            getHostAdaptableSpecializedObjectResultRepresentation(func, createSpecializedObjectLayouts(module.runtime))?.name === representation.name ||
             getHostTaggedHeapNullableSpecializedParamBoundaries(func, createSpecializedObjectLayouts(module.runtime)).some((boundary) => boundary.boundary.representation.name === representation.name))) || moduleUsesSpecializedHostMethodArrayFieldSyncBoundary(module, 'owned_array_ref') ||
         (module.runtime?.representations.some((representation) => representation.kind === 'specialized_object_representation' &&
-            (representation.hostStaticFields?.some((field) => field.valueKind === 'string_array') ?? false)) ?? false) ||
-        moduleUsesHostClosureBoundaryFromHostType(module, 'owned_array_ref');
+            (representation.hostStaticFields?.some((field) => field.valueKind === 'string_array') ??
+                false)) ?? false) ||
+        moduleUsesHostClosureBoundaryFromHostType(module, 'owned_array_ref') ||
+        moduleUsesGeneratorStepClosureHostBridge(module);
 }
 function moduleUsesOwnedArrayHostResultBoundary(module) {
-    return module.functions.some((func) => func.closureFunctionId === undefined && func.resultType === 'owned_array_ref') || module.functions.some((func) => func.hostFallbackArrayProperties?.some((property) => property.valueType === 'owned_array_ref') &&
-        hasHostFallbackObjectResultBoundary(func)) ||
+    return module.functions.some((func) => func.closureFunctionId === undefined && func.resultType === 'owned_array_ref') ||
+        module.functions.some((func) => func.hostFallbackArrayProperties?.some((property) => property.valueType === 'owned_array_ref') &&
+            hasHostFallbackObjectResultBoundary(func)) ||
         module.runtime?.representations.some((representation) => representation.kind === 'specialized_object_representation' &&
             parseSpecializedObjectFields(representation.shapeName).some((field) => field.valueType === 'owned_array_ref') &&
             module.functions.some((func) => getHostAdaptableSpecializedObjectResultRepresentation(func, createSpecializedObjectLayouts(module.runtime))?.name === representation.name ||
                 getHostTaggedHeapNullableSpecializedResultRepresentation(func, createSpecializedObjectLayouts(module.runtime))?.representation.name === representation.name)) ||
         (module.runtime?.representations.some((representation) => representation.kind === 'specialized_object_representation' &&
-            (representation.hostStaticFields?.some((field) => field.valueKind === 'string_array') ?? false)) ?? false) ||
-        moduleUsesHostClosureBoundaryToHostType(module, 'owned_array_ref');
+            (representation.hostStaticFields?.some((field) => field.valueKind === 'string_array') ??
+                false)) ?? false) ||
+        moduleUsesHostClosureBoundaryToHostType(module, 'owned_array_ref') ||
+        moduleUsesGeneratorStepClosureHostBridge(module);
 }
 function moduleUsesOwnedNumberArrayHostParamBoundary(module) {
     return module.functions.some((func) => func.closureFunctionId === undefined &&
         func.params.some((param) => param.type === 'owned_number_array_ref')) || module.functions.some((func) => func.hostDynamicCollectionParams?.some((param) => param.valueKind === 'number') === true) || module.functions.some((func) => func.hostFallbackArrayProperties?.some((property) => property.valueType === 'owned_number_array_ref') &&
-        getHostFallbackObjectParamBoundaryNames(func).length > 0) || module.runtime?.representations.some((representation) => representation.kind === 'specialized_object_representation' &&
+        (getHostFallbackObjectParamBoundaryNames(func).length > 0 || hasHostFallbackObjectResultBoundary(func))) || module.runtime?.representations.some((representation) => representation.kind === 'specialized_object_representation' &&
         parseSpecializedObjectFields(representation.shapeName).some((field) => field.valueType === 'owned_number_array_ref') &&
         module.functions.some((func) => getHostAdaptableSpecializedObjectParamBoundaries(func, createSpecializedObjectLayouts(module.runtime)).some((boundary) => boundary.representation.name === representation.name) ||
+            getHostAdaptableSpecializedObjectResultRepresentation(func, createSpecializedObjectLayouts(module.runtime))?.name === representation.name ||
             getHostTaggedHeapNullableSpecializedParamBoundaries(func, createSpecializedObjectLayouts(module.runtime)).some((boundary) => boundary.boundary.representation.name === representation.name))) || moduleUsesSpecializedHostMethodArrayFieldSyncBoundary(module, 'owned_number_array_ref') ||
         (module.runtime?.representations.some((representation) => representation.kind === 'specialized_object_representation' &&
-            (representation.hostStaticFields?.some((field) => field.valueKind === 'number_array') ?? false)) ?? false) ||
-        moduleUsesHostClosureBoundaryFromHostType(module, 'owned_number_array_ref');
+            (representation.hostStaticFields?.some((field) => field.valueKind === 'number_array') ??
+                false)) ?? false) ||
+        moduleUsesHostClosureBoundaryFromHostType(module, 'owned_number_array_ref') ||
+        moduleUsesGeneratorStepClosureHostBridge(module);
 }
 function moduleUsesOwnedNumberArrayHostResultBoundary(module) {
-    return module.functions.some((func) => func.closureFunctionId === undefined && func.resultType === 'owned_number_array_ref') || module.functions.some((func) => func.hostFallbackArrayProperties?.some((property) => property.valueType === 'owned_number_array_ref') &&
-        hasHostFallbackObjectResultBoundary(func)) ||
+    return module.functions.some((func) => func.closureFunctionId === undefined && func.resultType === 'owned_number_array_ref') ||
+        module.functions.some((func) => func.hostFallbackArrayProperties?.some((property) => property.valueType === 'owned_number_array_ref') &&
+            hasHostFallbackObjectResultBoundary(func)) ||
         module.runtime?.representations.some((representation) => representation.kind === 'specialized_object_representation' &&
             parseSpecializedObjectFields(representation.shapeName).some((field) => field.valueType === 'owned_number_array_ref') &&
             module.functions.some((func) => getHostAdaptableSpecializedObjectResultRepresentation(func, createSpecializedObjectLayouts(module.runtime))?.name === representation.name ||
                 getHostTaggedHeapNullableSpecializedResultRepresentation(func, createSpecializedObjectLayouts(module.runtime))?.representation.name === representation.name)) ||
         (module.runtime?.representations.some((representation) => representation.kind === 'specialized_object_representation' &&
-            (representation.hostStaticFields?.some((field) => field.valueKind === 'number_array') ?? false)) ?? false) ||
-        moduleUsesHostClosureBoundaryToHostType(module, 'owned_number_array_ref');
+            (representation.hostStaticFields?.some((field) => field.valueKind === 'number_array') ??
+                false)) ?? false) ||
+        moduleUsesHostClosureBoundaryToHostType(module, 'owned_number_array_ref') ||
+        moduleUsesGeneratorStepClosureHostBridge(module);
 }
 function moduleUsesOwnedBooleanArrayHostParamBoundary(module) {
     return module.functions.some((func) => func.closureFunctionId === undefined &&
         func.params.some((param) => param.type === 'owned_boolean_array_ref')) || module.functions.some((func) => func.hostDynamicCollectionParams?.some((param) => param.valueKind === 'boolean') === true) || module.functions.some((func) => func.hostFallbackArrayProperties?.some((property) => property.valueType === 'owned_boolean_array_ref') &&
-        getHostFallbackObjectParamBoundaryNames(func).length > 0) || module.runtime?.representations.some((representation) => representation.kind === 'specialized_object_representation' &&
+        (getHostFallbackObjectParamBoundaryNames(func).length > 0 || hasHostFallbackObjectResultBoundary(func))) || module.runtime?.representations.some((representation) => representation.kind === 'specialized_object_representation' &&
         parseSpecializedObjectFields(representation.shapeName).some((field) => field.valueType === 'owned_boolean_array_ref') &&
         module.functions.some((func) => getHostAdaptableSpecializedObjectParamBoundaries(func, createSpecializedObjectLayouts(module.runtime)).some((boundary) => boundary.representation.name === representation.name) ||
+            getHostAdaptableSpecializedObjectResultRepresentation(func, createSpecializedObjectLayouts(module.runtime))?.name === representation.name ||
             getHostTaggedHeapNullableSpecializedParamBoundaries(func, createSpecializedObjectLayouts(module.runtime)).some((boundary) => boundary.boundary.representation.name === representation.name))) || moduleUsesSpecializedHostMethodArrayFieldSyncBoundary(module, 'owned_boolean_array_ref') ||
         (module.runtime?.representations.some((representation) => representation.kind === 'specialized_object_representation' &&
-            (representation.hostStaticFields?.some((field) => field.valueKind === 'boolean_array') ?? false)) ?? false) ||
-        moduleUsesHostClosureBoundaryFromHostType(module, 'owned_boolean_array_ref');
+            (representation.hostStaticFields?.some((field) => field.valueKind === 'boolean_array') ??
+                false)) ?? false) ||
+        moduleUsesHostClosureBoundaryFromHostType(module, 'owned_boolean_array_ref') ||
+        moduleUsesGeneratorStepClosureHostBridge(module);
 }
 function moduleUsesOwnedBooleanArrayHostResultBoundary(module) {
-    return module.functions.some((func) => func.closureFunctionId === undefined && func.resultType === 'owned_boolean_array_ref') || module.functions.some((func) => func.hostFallbackArrayProperties?.some((property) => property.valueType === 'owned_boolean_array_ref') &&
-        hasHostFallbackObjectResultBoundary(func)) ||
+    return module.functions.some((func) => func.closureFunctionId === undefined && func.resultType === 'owned_boolean_array_ref') ||
+        module.functions.some((func) => func.hostFallbackArrayProperties?.some((property) => property.valueType === 'owned_boolean_array_ref') &&
+            hasHostFallbackObjectResultBoundary(func)) ||
         module.runtime?.representations.some((representation) => representation.kind === 'specialized_object_representation' &&
             parseSpecializedObjectFields(representation.shapeName).some((field) => field.valueType === 'owned_boolean_array_ref') &&
             module.functions.some((func) => getHostAdaptableSpecializedObjectResultRepresentation(func, createSpecializedObjectLayouts(module.runtime))?.name === representation.name ||
                 getHostTaggedHeapNullableSpecializedResultRepresentation(func, createSpecializedObjectLayouts(module.runtime))?.representation.name === representation.name)) ||
         (module.runtime?.representations.some((representation) => representation.kind === 'specialized_object_representation' &&
-            (representation.hostStaticFields?.some((field) => field.valueKind === 'boolean_array') ?? false)) ?? false) ||
-        moduleUsesHostClosureBoundaryToHostType(module, 'owned_boolean_array_ref');
+            (representation.hostStaticFields?.some((field) => field.valueKind === 'boolean_array') ??
+                false)) ?? false) ||
+        moduleUsesHostClosureBoundaryToHostType(module, 'owned_boolean_array_ref') ||
+        moduleUsesGeneratorStepClosureHostBridge(module);
 }
 function moduleUsesOwnedHeapArrayHostParamBoundary(module) {
     const specializedUsage = collectHostBoundarySpecializedObjectUsageWithHostClosures(module, createSpecializedObjectLayouts(module.runtime));
     return module.functions.some((func) => func.closureFunctionId === undefined &&
         (func.hostHeapArrayParams?.length ?? 0) > 0) || module.functions.some((func) => (func.hostFallbackHeapArrayProperties?.length ?? 0) > 0 &&
         (getHostFallbackObjectParamBoundaryNames(func).length > 0 ||
-            getHostTaggedHeapNullableFallbackParamBoundaryNames(func).length > 0)) || [...specializedUsage.values()].some((usage) => usage.needsParamBoundary &&
+            getHostTaggedHeapNullableFallbackParamBoundaryNames(func).length > 0 ||
+            hasHostFallbackObjectResultBoundary(func) ||
+            hasHostTaggedHeapNullableFallbackResultBoundary(func))) || [...specializedUsage.values()].some((usage) => (usage.needsParamBoundary || usage.needsResultBoundary) &&
         usage.layout.fields.some((field) => field.valueType === 'owned_heap_array_ref')) || moduleUsesHostClosureBoundaryFromHostType(module, 'owned_heap_array_ref');
 }
 function moduleUsesOwnedHeapArrayHostParamCopyBack(module) {
@@ -2759,7 +2870,8 @@ function moduleUsesOwnedHeapArrayHostResultBoundary(module) {
     return module.functions.some((func) => func.closureFunctionId === undefined &&
         func.resultType === 'owned_heap_array_ref' &&
         func.hostHeapArrayResultRepresentation !== undefined) || module.functions.some((func) => (func.hostFallbackHeapArrayProperties?.length ?? 0) > 0 &&
-        (hasHostFallbackObjectResultBoundary(func) || hasHostTaggedHeapNullableFallbackResultBoundary(func))) || [...specializedUsage.values()].some((usage) => usage.needsResultBoundary &&
+        (hasHostFallbackObjectResultBoundary(func) ||
+            hasHostTaggedHeapNullableFallbackResultBoundary(func))) || [...specializedUsage.values()].some((usage) => usage.needsResultBoundary &&
         usage.layout.fields.some((field) => field.valueType === 'owned_heap_array_ref')) || moduleUsesHostClosureBoundaryToHostType(module, 'owned_heap_array_ref');
 }
 function moduleUsesOwnedTaggedArrayHostParamBoundary(module) {
@@ -2767,12 +2879,16 @@ function moduleUsesOwnedTaggedArrayHostParamBoundary(module) {
     return module.functions.some((func) => func.closureFunctionId === undefined &&
         func.params.some((param) => param.type === 'owned_tagged_array_ref')) || module.functions.some((func) => (func.hostFallbackTaggedArrayProperties?.length ?? 0) > 0 &&
         (getHostFallbackObjectParamBoundaryNames(func).length > 0 ||
-            getHostTaggedHeapNullableFallbackParamBoundaryNames(func).length > 0)) || module.runtime?.representations.some((representation) => representation.kind === 'specialized_object_representation' &&
+            getHostTaggedHeapNullableFallbackParamBoundaryNames(func).length > 0 ||
+            hasHostFallbackObjectResultBoundary(func) ||
+            hasHostTaggedHeapNullableFallbackResultBoundary(func))) || module.runtime?.representations.some((representation) => representation.kind === 'specialized_object_representation' &&
         parseSpecializedObjectFields(representation.shapeName).some((field) => field.valueType === 'owned_tagged_array_ref') &&
         module.functions.some((func) => getHostAdaptableSpecializedObjectParamBoundaries(func, layouts).some((boundary) => boundary.representation.name === representation.name) ||
+            getHostAdaptableSpecializedObjectResultRepresentation(func, layouts)?.name === representation.name ||
             getHostTaggedHeapNullableSpecializedParamBoundaries(func, layouts).some((boundary) => boundary.boundary.representation.name === representation.name))) || moduleUsesSpecializedHostMethodArrayFieldSyncBoundary(module, 'owned_tagged_array_ref') ||
         moduleUsesHostClosureBoundaryFromHostType(module, 'owned_tagged_array_ref') ||
-        getClassStaticTaggedArrayFields(module).length > 0;
+        getClassStaticTaggedArrayFields(module).length > 0 ||
+        moduleUsesGeneratorStepClosureHostBridge(module);
 }
 function moduleUsesOwnedTaggedArrayHostParamCopyBack(module) {
     return moduleUsesOwnedTaggedArrayHostParamBoundary(module);
@@ -2780,17 +2896,24 @@ function moduleUsesOwnedTaggedArrayHostParamCopyBack(module) {
 function moduleUsesOwnedTaggedArrayHostResultBoundary(module) {
     const layouts = createSpecializedObjectLayouts(module.runtime);
     return module.functions.some((func) => func.closureFunctionId === undefined && func.resultType === 'owned_tagged_array_ref') || module.functions.some((func) => (func.hostFallbackTaggedArrayProperties?.length ?? 0) > 0 &&
-        (hasHostFallbackObjectResultBoundary(func) || hasHostTaggedHeapNullableFallbackResultBoundary(func))) || module.runtime?.representations.some((representation) => representation.kind === 'specialized_object_representation' &&
-        parseSpecializedObjectFields(representation.shapeName).some((field) => field.valueType === 'owned_tagged_array_ref') &&
-        module.functions.some((func) => getHostAdaptableSpecializedObjectResultRepresentation(func, layouts)?.name === representation.name ||
-            getHostTaggedHeapNullableSpecializedResultRepresentation(func, layouts)?.representation.name === representation.name)) || moduleUsesHostClosureBoundaryToHostType(module, 'owned_tagged_array_ref') ||
-        getClassStaticTaggedArrayFields(module).length > 0;
+        (hasHostFallbackObjectResultBoundary(func) ||
+            hasHostTaggedHeapNullableFallbackResultBoundary(func))) ||
+        module.runtime?.representations.some((representation) => representation.kind === 'specialized_object_representation' &&
+            parseSpecializedObjectFields(representation.shapeName).some((field) => field.valueType === 'owned_tagged_array_ref') &&
+            module.functions.some((func) => getHostAdaptableSpecializedObjectResultRepresentation(func, layouts)?.name === representation.name ||
+                getHostTaggedHeapNullableSpecializedResultRepresentation(func, layouts)?.representation.name === representation.name)) || moduleUsesHostClosureBoundaryToHostType(module, 'owned_tagged_array_ref') ||
+        getClassStaticTaggedArrayFields(module).length > 0 ||
+        moduleUsesGeneratorStepClosureHostBridge(module);
 }
 function moduleUsedOwnedStringLiteralIds(module) {
     const literalIds = new Set();
     const builtinErrorInstanceOfUsages = collectBuiltinErrorInstanceOfUsages(module);
     const usesHostPromiseErrorBridge = moduleUsesHostPromiseParamBridge(module) ||
-        moduleUsesHostPromiseResultBridge(module);
+        moduleUsesHostPromiseResultBridge(module) ||
+        moduleUsesGeneratorStepClosureHostBridge(module) ||
+        moduleUsesSyncTryCatchRuntime(module);
+    const usesTaggedThrowBuiltinErrorBridge = moduleUsesTaggedThrowRuntime(module) &&
+        moduleUsesBuiltinErrorRuntime(module);
     for (const func of module.functions) {
         collectOwnedStringLiteralIdsFromStatements(func.body, literalIds);
     }
@@ -2810,7 +2933,9 @@ function moduleUsedOwnedStringLiteralIds(module) {
         literalIds.add(getRequiredStringLiteralId(stringLiteralIdsByText, SOUNDSCRIPT_PROMISE_INTERNAL_ON_FULFILLED_KEY));
         literalIds.add(getRequiredStringLiteralId(stringLiteralIdsByText, SOUNDSCRIPT_PROMISE_INTERNAL_ON_REJECTED_KEY));
     }
-    if (builtinErrorInstanceOfUsages.length > 0 || usesHostPromiseErrorBridge) {
+    if (builtinErrorInstanceOfUsages.length > 0 ||
+        usesHostPromiseErrorBridge ||
+        usesTaggedThrowBuiltinErrorBridge) {
         const stringLiteralIdsByText = createStringLiteralIds(module);
         literalIds.add(getRequiredStringLiteralId(stringLiteralIdsByText, SOUNDSCRIPT_BUILTIN_ERROR_INTERNAL_BRAND_KEY));
         literalIds.add(getRequiredStringLiteralId(stringLiteralIdsByText, 'name'));
@@ -2821,6 +2946,9 @@ function moduleUsedOwnedStringLiteralIds(module) {
     }
     return literalIds;
 }
+function moduleUsesBuiltinErrorRuntime(module) {
+    return createStringLiteralIds(module).has(SOUNDSCRIPT_BUILTIN_ERROR_INTERNAL_BRAND_KEY);
+}
 function getClassStaticNumberArrayFields(module) {
     return (module.runtime?.classStaticFields ?? []).filter((field) => field.kind === 'class_static_number_array_field');
 }
@@ -2854,7 +2982,13 @@ function emitClassStaticFieldStart(module) {
     const stringFields = getClassStaticStringArrayFields(module);
     const taggedFields = getClassStaticTaggedArrayFields(module);
     const heapFields = getClassStaticHeapFields(module);
-    const fields = [...numberFields, ...booleanFields, ...stringFields, ...taggedFields, ...heapFields];
+    const fields = [
+        ...numberFields,
+        ...booleanFields,
+        ...stringFields,
+        ...taggedFields,
+        ...heapFields,
+    ];
     if (fields.length === 0) {
         return [];
     }
@@ -2962,7 +3096,8 @@ function parseSpecializedObjectFields(shapeName) {
         if (name !== undefined &&
             optionality !== undefined &&
             valueType?.startsWith(taggedRefPrefix)) {
-            const [encodedKinds, encodedRepresentationName] = valueType.slice(taggedRefPrefix.length).split('#');
+            const [encodedKinds, encodedRepresentationName] = valueType.slice(taggedRefPrefix.length)
+                .split('#');
             return {
                 name,
                 optional: optionality === 'optional',
@@ -3145,9 +3280,7 @@ function emitSpecializedObjectTypes(layoutsByRepresentationName) {
                 .filter((field) => isStoredSpecializedObjectField(field))
                 .map((field) => `(field (mut ${getSpecializedObjectFieldWatType(field)}))`),
         ];
-        const structType = fieldTypes.length === 0
-            ? '(struct)'
-            : `(struct ${fieldTypes.join(' ')})`;
+        const structType = fieldTypes.length === 0 ? '(struct)' : `(struct ${fieldTypes.join(' ')})`;
         if (!layout.baseRepresentationName) {
             return extendedRepresentationNames.has(layout.representation.name)
                 ? `(type $${layout.watTypeId} (sub ${structType}))`
@@ -3222,7 +3355,8 @@ function getHostAdaptableSpecializedObjectResultRepresentation(func, layoutsByRe
     if (func.heapResultRepresentation?.kind !== 'specialized_object_representation') {
         return undefined;
     }
-    const representation = func.heapResultRepresentation;
+    const representation = func
+        .heapResultRepresentation;
     return isHostAdaptableSpecializedObjectLayout(getLayoutForRepresentationName(representation.name, layoutsByRepresentationName))
         ? representation
         : undefined;
@@ -3333,12 +3467,10 @@ function emitHostClassConstructorToHostAdaptation(classTagId, level, layoutsByRe
             candidate.hostStaticMethods.length > 0 ||
             candidate.hostStaticFields.length > 0 ||
             candidate.baseRepresentationName !== undefined));
-    return layout
-        ? [`${indent(level)}call $${getHostClassConstructorToHostHelperName(layout)}`]
-        : [
-            `${indent(level)}i32.const ${classTagId}`,
-            `${indent(level)}call $${getHostObjectClassConstructorFromTagImportFunctionName()}`,
-        ];
+    return layout ? [`${indent(level)}call $${getHostClassConstructorToHostHelperName(layout)}`] : [
+        `${indent(level)}i32.const ${classTagId}`,
+        `${indent(level)}call $${getHostObjectClassConstructorFromTagImportFunctionName()}`,
+    ];
 }
 function emitHostClassStaticFieldSyncLines(layout, targetLocalName, level, layoutsByRepresentationName) {
     return layout.hostStaticFields.flatMap((field) => {
@@ -3689,11 +3821,16 @@ function getHostObjectRememberCachedImportFunctionName() {
 function getHostObjectParamCacheImportFieldName(kind, cacheKey) {
     return `${kind}_param_cached:${encodeURIComponent(cacheKey)}`;
 }
+function encodeWatIdentifierHex(text) {
+    return [...new TextEncoder().encode(text)]
+        .map((byte) => byte.toString(16).padStart(2, '0'))
+        .join('');
+}
 function getHostObjectLookupParamCachedImportFunctionName(cacheKey) {
-    return `host_object_lookup_param_cached__${sanitizeWatIdentifier(cacheKey)}`;
+    return `host_object_lookup_param_cached__${encodeWatIdentifierHex(cacheKey)}`;
 }
 function getHostObjectRememberParamCachedImportFunctionName(cacheKey) {
-    return `host_object_remember_param_cached__${sanitizeWatIdentifier(cacheKey)}`;
+    return `host_object_remember_param_cached__${encodeWatIdentifierHex(cacheKey)}`;
 }
 const HOST_FALLBACK_PARAM_CACHE_KEY = 'fallback_object';
 const HOST_FALLBACK_OBJECT_VALUE_KINDS = {
@@ -3734,7 +3871,8 @@ function getHostTaggedHeapNullableFallbackParamBoundaryNames(func) {
         .map((boundary) => boundary.name);
 }
 function hasHostTaggedHeapNullableFallbackResultBoundary(func) {
-    return func.hostTaggedHeapNullableResult?.representation.kind === 'fallback_object_representation';
+    return func.hostTaggedHeapNullableResult?.representation.kind ===
+        'fallback_object_representation';
 }
 function collectHostBoundaryFallbackObjectUsage(module) {
     let needsParamBoundary = false;
@@ -4456,7 +4594,8 @@ function collectHostBoundarySpecializedObjectUsage(module, layoutsByRepresentati
         usageByRepresentationName.set(representation.name, current);
         const nestedUpdates = {
             ...updates,
-            needsResultBoundary: updates.needsResultBoundary === true || updates.needsParamCopyBack === true,
+            needsResultBoundary: updates.needsResultBoundary === true ||
+                updates.needsParamCopyBack === true,
         };
         for (const field of layout.fields) {
             if (field.heapRepresentation?.kind === 'specialized_object_representation') {
@@ -4506,7 +4645,8 @@ function collectHostBoundarySpecializedObjectUsage(module, layoutsByRepresentati
         }
         const taggedHeapNullableResult = getHostTaggedHeapNullableSpecializedResultRepresentation(func, layoutsByRepresentationName);
         if (taggedHeapNullableResult) {
-            recordUsage(taggedHeapNullableResult.representation, { needsResultBoundary: true });
+            recordUsage(taggedHeapNullableResult
+                .representation, { needsResultBoundary: true });
         }
         for (const boundary of func.hostHeapArrayParams ?? []) {
             if (boundary.representation.kind !== 'specialized_object_representation') {
@@ -4519,7 +4659,8 @@ function collectHostBoundarySpecializedObjectUsage(module, layoutsByRepresentati
             });
         }
         if (func.hostHeapArrayResultRepresentation?.kind === 'specialized_object_representation') {
-            recordUsage(func.hostHeapArrayResultRepresentation, { needsResultBoundary: true });
+            recordUsage(func
+                .hostHeapArrayResultRepresentation, { needsResultBoundary: true });
         }
         for (const boundary of func.hostTaggedArrayParams ?? []) {
             if (boundary.representation?.kind !== 'specialized_object_representation') {
@@ -4532,7 +4673,8 @@ function collectHostBoundarySpecializedObjectUsage(module, layoutsByRepresentati
             });
         }
         if (func.hostTaggedArrayResultKinds?.representation?.kind === 'specialized_object_representation') {
-            recordUsage(func.hostTaggedArrayResultKinds.representation, { needsResultBoundary: true });
+            recordUsage(func.hostTaggedArrayResultKinds
+                .representation, { needsResultBoundary: true });
         }
         const hasFallbackParamBoundary = getHostFallbackObjectParamBoundaryNames(func).length > 0 ||
             getHostTaggedHeapNullableFallbackParamBoundaryNames(func).length > 0;
@@ -4586,7 +4728,7 @@ function collectHostBoundaryFallbackObjectUsageWithHostClosures(module) {
     let needsParamBoundary = baseUsage?.needsParamBoundary === true;
     const needsParamCopyBack = baseUsage?.needsParamCopyBack === true;
     let needsResultBoundary = baseUsage?.needsResultBoundary === true;
-    for (const { signature, needsParamBoundary: needsClosureParamBoundary, needsResultBoundary: needsClosureResultBoundary } of getHostClosureBoundarySignatures(module)) {
+    for (const { signature, needsParamBoundary: needsClosureParamBoundary, needsResultBoundary: needsClosureResultBoundary, } of getHostClosureBoundarySignatures(module)) {
         if (needsClosureParamBoundary &&
             (signature.resultHeapRepresentation?.kind === 'fallback_object_representation' ||
                 signature.resultHeapArrayRepresentation?.kind === 'fallback_object_representation')) {
@@ -4672,11 +4814,13 @@ function collectHostBoundarySpecializedObjectUsageWithHostClosures(module, layou
             return;
         }
         for (const field of layout.hostStaticFields) {
-            if (field.valueKind === 'heap_object' && field.representation?.kind === 'specialized_object_representation') {
+            if (field.valueKind === 'heap_object' &&
+                field.representation?.kind === 'specialized_object_representation') {
                 recordUsage(field.representation, { needsParamBoundary: true, needsResultBoundary: true });
                 continue;
             }
-            if (field.valueKind === 'tagged_array' && field.representation?.kind === 'specialized_object_representation') {
+            if (field.valueKind === 'tagged_array' &&
+                field.representation?.kind === 'specialized_object_representation') {
                 recordUsage(field.representation, { needsParamBoundary: true, needsResultBoundary: true });
                 continue;
             }
@@ -4714,21 +4858,23 @@ function collectHostBoundarySpecializedObjectUsageWithHostClosures(module, layou
             }
         }
     }
-    for (const { signature, needsParamBoundary: needsClosureParamBoundary, needsResultBoundary: needsClosureResultBoundary } of getHostClosureBoundarySignatures(module)) {
+    for (const { signature, needsParamBoundary: needsClosureParamBoundary, needsResultBoundary: needsClosureResultBoundary, } of getHostClosureBoundarySignatures(module)) {
         if (needsClosureParamBoundary &&
             signature.resultHeapRepresentation?.kind === 'specialized_object_representation') {
             recordUsage(signature.resultHeapRepresentation, { needsParamBoundary: true });
         }
         if (needsClosureParamBoundary &&
             signature.resultHeapArrayRepresentation?.kind === 'specialized_object_representation') {
-            recordUsage(signature.resultHeapArrayRepresentation, { needsParamBoundary: true });
+            recordUsage(signature
+                .resultHeapArrayRepresentation, { needsParamBoundary: true });
         }
         if (needsClosureResultBoundary) {
             if (signature.resultHeapRepresentation?.kind === 'specialized_object_representation') {
                 recordUsage(signature.resultHeapRepresentation, { needsResultBoundary: true });
             }
             if (signature.resultHeapArrayRepresentation?.kind === 'specialized_object_representation') {
-                recordUsage(signature.resultHeapArrayRepresentation, { needsResultBoundary: true });
+                recordUsage(signature
+                    .resultHeapArrayRepresentation, { needsResultBoundary: true });
             }
             for (const representation of signature.paramHeapRepresentations ?? []) {
                 if (representation?.kind !== 'specialized_object_representation') {
@@ -4894,6 +5040,49 @@ function emitPromiseRuntimeImports(module) {
         `(import "soundscript_promise" "to_internal" (func ${SOUNDSCRIPT_HOST_PROMISE_TO_INTERNAL_IMPORT_NAME} (param externref) (param (ref null eq)) (result (ref null eq))))`,
     ];
 }
+function emitAsyncGeneratorRuntimeImports(module) {
+    if (!moduleUsesAsyncGeneratorHostStepBridge(module) &&
+        !moduleUsesAsyncGeneratorHostResultBridge(module)) {
+        return [];
+    }
+    return [
+        `(import "soundscript_async_generator" "step" (func ${SOUNDSCRIPT_HOST_ASYNC_GENERATOR_STEP_IMPORT_NAME} (param externref) (param f64) (param externref) (param (ref null eq))))`,
+        ...(moduleUsesAsyncGeneratorHostResultBridge(module)
+            ? [
+                `(import "soundscript_async_generator" "wrap" (func ${SOUNDSCRIPT_HOST_ASYNC_GENERATOR_WRAP_IMPORT_NAME} (param externref) (result externref)))`,
+            ]
+            : []),
+    ];
+}
+function emitSyncGeneratorRuntimeImports(module) {
+    if (!moduleUsesSyncGeneratorHostResultBridge(module)) {
+        return [];
+    }
+    return [
+        `(import "soundscript_generator" "wrap" (func ${SOUNDSCRIPT_HOST_SYNC_GENERATOR_WRAP_IMPORT_NAME} (param externref) (result externref)))`,
+    ];
+}
+const SOUNDSCRIPT_HOST_THROW_IMPORT_NAME = '$host_throw_value';
+const SOUNDSCRIPT_THROW_TAGGED_HELPER_NAME = '__soundscript_throw_tagged';
+const SOUNDSCRIPT_TRY_CATCH_TAGGED_HELPER_NAME = '__soundscript_try_catch_tagged';
+function emitTaggedThrowRuntimeImports(module) {
+    if (!moduleUsesTaggedThrowRuntime(module)) {
+        return [];
+    }
+    return [
+        `(import "soundscript_throw" "throw" (func ${SOUNDSCRIPT_HOST_THROW_IMPORT_NAME} (param externref)))`,
+    ];
+}
+function emitSyncTryCatchRuntimeImports(module) {
+    if (!moduleUsesSyncTryCatchRuntime(module)) {
+        return [];
+    }
+    return [
+        `(import "soundscript_throw" "try_tagged" (func ${SOUNDSCRIPT_HOST_TRY_TAGGED_IMPORT_NAME} (param externref) (result externref)))`,
+        `(import "soundscript_throw" "try_result_threw" (func ${SOUNDSCRIPT_HOST_TRY_RESULT_THREW_IMPORT_NAME} (param externref) (result i32)))`,
+        `(import "soundscript_throw" "try_result_value" (func ${SOUNDSCRIPT_HOST_TRY_RESULT_VALUE_IMPORT_NAME} (param externref) (result externref)))`,
+    ];
+}
 function emitTaggedValueType(runtime) {
     if (!runtime?.representations.some((representation) => representation.kind === 'tagged_value_representation')) {
         return [];
@@ -4904,22 +5093,34 @@ function emitTaggedValueHelpers(module, stringRuntimeLayout) {
     if (!module.runtime?.representations.some((representation) => representation.kind === 'tagged_value_representation')) {
         return [];
     }
-    const usesNull = moduleUsesTaggedNullRuntime(module) || moduleUsesHostPromiseBridge(module);
+    const usesTaggedThrowRuntime = moduleUsesTaggedThrowRuntime(module);
+    const usesAsyncGeneratorBridge = moduleUsesGeneratorStepClosureHostBridge(module);
+    const usesNull = moduleUsesTaggedNullRuntime(module) || moduleUsesHostPromiseBridge(module) ||
+        usesAsyncGeneratorBridge ||
+        usesTaggedThrowRuntime ||
+        moduleUsesSyncTryCatchRuntime(module);
     const taggedHostBoundaryUsage = getTaggedHostBoundaryUsage(module);
     const usesHostFallbackObjectBoundary = moduleUsesHostFallbackObjectBoundary(module);
-    const usesHostPromiseParamBoundary = moduleUsesHostPromiseParamBridge(module);
-    const usesHostPromiseResultBoundary = moduleUsesHostPromiseResultBridge(module);
+    const usesHostPromiseParamBoundary = moduleUsesHostPromiseParamBridge(module) ||
+        usesAsyncGeneratorBridge;
+    const usesHostPromiseResultBoundary = moduleUsesHostPromiseResultBridge(module) ||
+        usesAsyncGeneratorBridge;
     const specializedTaggedArrayFieldBoundaryUsage = getSpecializedTaggedArrayFieldBoundaryUsage(module);
     const usesTaggedArrayHostStringBoundary = module.functions.some((func) => func.hostTaggedArrayParams?.some((param) => param.includesString === true) === true ||
         func.hostTaggedArrayResultKinds?.includesString === true) || specializedTaggedArrayFieldBoundaryUsage.usesParamStringBoundary ||
         specializedTaggedArrayFieldBoundaryUsage.usesResultStringBoundary;
-    const usesTaggedArrayHostResultStringBoundary = module.functions.some((func) => func.hostTaggedArrayResultKinds?.includesString === true) || specializedTaggedArrayFieldBoundaryUsage.usesResultStringBoundary;
+    const usesTaggedArrayHostResultStringBoundary = module.functions.some((func) => func.hostTaggedArrayResultKinds?.includesString === true) ||
+        specializedTaggedArrayFieldBoundaryUsage.usesResultStringBoundary;
     const usesTaggedPrimitiveHostStringBoundary = taggedHostBoundaryUsage.usesStringBoundary ||
         usesHostFallbackObjectBoundary ||
         usesHostPromiseParamBoundary ||
-        usesHostPromiseResultBoundary;
+        usesHostPromiseResultBoundary ||
+        usesTaggedThrowRuntime ||
+        moduleUsesSyncTryCatchRuntime(module);
     const usesTaggedPrimitiveHostResultStringBoundary = taggedHostBoundaryUsage.usesResultStringBoundary || usesHostFallbackObjectBoundary ||
-        usesHostPromiseResultBoundary;
+        usesHostPromiseResultBoundary ||
+        usesTaggedThrowRuntime ||
+        moduleUsesSyncTryCatchRuntime(module);
     const usesTaggedString = moduleUsesTaggedStringRuntime(module) ||
         usesTaggedPrimitiveHostStringBoundary ||
         usesTaggedArrayHostStringBoundary;
@@ -5128,8 +5329,11 @@ function emitStringCodePointAtHelper(module) {
     ];
 }
 function emitStringRuntimeImports(module) {
-    const usesHostPromiseParamBoundary = moduleUsesHostPromiseParamBridge(module);
-    const usesHostPromiseResultBoundary = moduleUsesHostPromiseResultBridge(module);
+    const usesTaggedThrowRuntime = moduleUsesTaggedThrowRuntime(module);
+    const usesHostPromiseParamBoundary = moduleUsesHostPromiseParamBridge(module) ||
+        moduleUsesGeneratorStepClosureHostBridge(module);
+    const usesHostPromiseResultBoundary = moduleUsesHostPromiseResultBridge(module) ||
+        moduleUsesGeneratorStepClosureHostBridge(module);
     const usesOwnedNumberArrayJoinRuntime = moduleUsesOwnedNumberArrayJoin(module);
     const usesOwnedBooleanArrayJoinRuntime = moduleUsesOwnedBooleanArrayJoin(module);
     const usesStringCodePointAt = moduleUsesStringCodePointAtRuntime(module);
@@ -5150,10 +5354,13 @@ function emitStringRuntimeImports(module) {
     const usesStringSubstring = moduleUsesStringSubstringRuntime(module);
     const taggedHostBoundaryUsage = getTaggedHostBoundaryUsage(module);
     const usesHostFallbackObjectBoundary = moduleUsesHostFallbackObjectBoundary(module);
+    const usesSyncTryCatchRuntime = moduleUsesSyncTryCatchRuntime(module);
     const usesTaggedPrimitiveHostParamBoundary = taggedHostBoundaryUsage.usesHostBoundary ||
         usesHostFallbackObjectBoundary ||
         usesHostPromiseParamBoundary ||
-        usesHostPromiseResultBoundary;
+        usesHostPromiseResultBoundary ||
+        usesTaggedThrowRuntime ||
+        usesSyncTryCatchRuntime;
     const usesTaggedPrimitiveHostResultBoundary = taggedHostBoundaryUsage.usesHostBoundary ||
         usesHostFallbackObjectBoundary ||
         usesHostPromiseResultBoundary;
@@ -5163,55 +5370,71 @@ function emitStringRuntimeImports(module) {
     const usesTaggedArrayHostResultBoundary = moduleUsesOwnedTaggedArrayHostResultBoundary(module);
     const usesTaggedArrayHostParamStringBoundary = module.functions.some((func) => func.hostTaggedArrayParams?.some((param) => param.includesString) === true) || specializedTaggedArrayFieldBoundaryUsage.usesParamStringBoundary ||
         classStaticTaggedArrayFields.some((field) => field.includesString);
-    const usesTaggedArrayHostResultStringBoundary = module.functions.some((func) => func.hostTaggedArrayResultKinds?.includesString === true) || specializedTaggedArrayFieldBoundaryUsage.usesResultStringBoundary ||
+    const usesTaggedArrayHostResultStringBoundary = module.functions.some((func) => func.hostTaggedArrayResultKinds?.includesString === true) ||
+        specializedTaggedArrayFieldBoundaryUsage.usesResultStringBoundary ||
         classStaticTaggedArrayFields.some((field) => field.includesString);
     const usesTaggedArrayHostParamNumberBoundary = module.functions.some((func) => func.hostTaggedArrayParams?.some((param) => param.includesNumber) === true) || specializedTaggedArrayFieldBoundaryUsage.usesParamNumberBoundary ||
         classStaticTaggedArrayFields.some((field) => field.includesNumber);
-    const usesTaggedArrayHostResultNumberBoundary = module.functions.some((func) => func.hostTaggedArrayResultKinds?.includesNumber === true) || specializedTaggedArrayFieldBoundaryUsage.usesResultNumberBoundary ||
+    const usesTaggedArrayHostResultNumberBoundary = module.functions.some((func) => func.hostTaggedArrayResultKinds?.includesNumber === true) ||
+        specializedTaggedArrayFieldBoundaryUsage.usesResultNumberBoundary ||
         classStaticTaggedArrayFields.some((field) => field.includesNumber);
     const usesTaggedArrayHostParamBooleanBoundary = module.functions.some((func) => func.hostTaggedArrayParams?.some((param) => param.includesBoolean) === true) || specializedTaggedArrayFieldBoundaryUsage.usesParamBooleanBoundary ||
         classStaticTaggedArrayFields.some((field) => field.includesBoolean);
-    const usesTaggedArrayHostResultBooleanBoundary = module.functions.some((func) => func.hostTaggedArrayResultKinds?.includesBoolean === true) || specializedTaggedArrayFieldBoundaryUsage.usesResultBooleanBoundary ||
+    const usesTaggedArrayHostResultBooleanBoundary = module.functions.some((func) => func.hostTaggedArrayResultKinds?.includesBoolean === true) ||
+        specializedTaggedArrayFieldBoundaryUsage.usesResultBooleanBoundary ||
         classStaticTaggedArrayFields.some((field) => field.includesBoolean);
     const usesTaggedArrayHostParamUndefinedBoundary = module.functions.some((func) => func.hostTaggedArrayParams?.some((param) => param.includesUndefined) === true) || specializedTaggedArrayFieldBoundaryUsage.usesParamUndefinedBoundary ||
         classStaticTaggedArrayFields.some((field) => field.includesUndefined);
-    const usesTaggedArrayHostResultUndefinedBoundary = module.functions.some((func) => func.hostTaggedArrayResultKinds?.includesUndefined === true) || specializedTaggedArrayFieldBoundaryUsage.usesResultUndefinedBoundary ||
+    const usesTaggedArrayHostResultUndefinedBoundary = module.functions.some((func) => func.hostTaggedArrayResultKinds?.includesUndefined === true) ||
+        specializedTaggedArrayFieldBoundaryUsage.usesResultUndefinedBoundary ||
         classStaticTaggedArrayFields.some((field) => field.includesUndefined);
     const usesTaggedPrimitiveHostParamStringBoundary = taggedHostBoundaryUsage.usesStringBoundary ||
         usesTaggedArrayHostParamStringBoundary ||
         usesHostFallbackObjectBoundary ||
         usesHostPromiseParamBoundary ||
-        usesHostPromiseResultBoundary;
+        usesHostPromiseResultBoundary ||
+        usesTaggedThrowRuntime ||
+        usesSyncTryCatchRuntime;
     const usesTaggedPrimitiveHostResultStringBoundary = taggedHostBoundaryUsage.usesStringBoundary ||
         usesTaggedArrayHostParamStringBoundary ||
         usesTaggedArrayHostResultStringBoundary ||
         usesHostFallbackObjectBoundary ||
-        usesHostPromiseResultBoundary;
+        usesHostPromiseResultBoundary ||
+        usesTaggedThrowRuntime;
     const usesTaggedPrimitiveHostParamNumberBoundary = taggedHostBoundaryUsage.usesNumberBoundary ||
         usesTaggedArrayHostParamNumberBoundary ||
         usesHostFallbackObjectBoundary ||
         usesHostPromiseParamBoundary ||
-        usesHostPromiseResultBoundary;
-    const usesTaggedPrimitiveHostResultNumberBoundary = taggedHostBoundaryUsage.usesNumberBoundary || usesTaggedArrayHostParamNumberBoundary ||
+        usesHostPromiseResultBoundary ||
+        usesTaggedThrowRuntime ||
+        usesSyncTryCatchRuntime;
+    const usesTaggedPrimitiveHostResultNumberBoundary = taggedHostBoundaryUsage.usesNumberBoundary ||
+        usesTaggedArrayHostParamNumberBoundary ||
         usesTaggedArrayHostResultNumberBoundary ||
         usesOwnedNumberArrayJoinRuntime ||
         usesHostFallbackObjectBoundary ||
-        usesHostPromiseResultBoundary;
+        usesHostPromiseResultBoundary ||
+        usesTaggedThrowRuntime;
     const usesTaggedPrimitiveHostParamBooleanBoundary = taggedHostBoundaryUsage.usesBooleanBoundary ||
         usesTaggedArrayHostParamBooleanBoundary ||
         usesHostFallbackObjectBoundary ||
         usesHostPromiseParamBoundary ||
-        usesHostPromiseResultBoundary;
+        usesHostPromiseResultBoundary ||
+        usesTaggedThrowRuntime ||
+        usesSyncTryCatchRuntime;
     const usesTaggedPrimitiveHostResultBooleanBoundary = taggedHostBoundaryUsage.usesBooleanBoundary || usesTaggedArrayHostParamBooleanBoundary ||
         usesTaggedArrayHostResultBooleanBoundary ||
         usesOwnedBooleanArrayJoinRuntime ||
         usesHostFallbackObjectBoundary ||
-        usesHostPromiseResultBoundary;
+        usesHostPromiseResultBoundary ||
+        usesTaggedThrowRuntime;
     const usesTaggedPrimitiveHostResultUndefinedBoundary = taggedHostBoundaryUsage.usesUndefinedBoundary ||
         usesTaggedArrayHostParamUndefinedBoundary ||
         usesTaggedArrayHostResultUndefinedBoundary ||
         usesHostFallbackObjectBoundary ||
-        usesHostPromiseResultBoundary;
+        usesHostPromiseResultBoundary ||
+        usesTaggedThrowRuntime ||
+        usesSyncTryCatchRuntime;
     const usesHostLengthViewParamBoundary = moduleUsesHostLengthViewParamBoundary(module);
     const usesHostLengthViewResultBoundary = moduleUsesHostLengthViewResultBoundary(module);
     const usesOwnedArrayHostParamBoundary = moduleUsesOwnedArrayHostParamBoundary(module);
@@ -5221,12 +5444,15 @@ function emitStringRuntimeImports(module) {
         usesOwnedArrayHostParamBoundary ||
         usesOwnedArrayHostResultBoundary ||
         usesOwnedNumberArrayJoinRuntime ||
-        usesOwnedBooleanArrayJoinRuntime;
+        usesOwnedBooleanArrayJoinRuntime ||
+        usesSyncTryCatchRuntime;
     const usesStringToOwned = moduleUsesStringToOwnedRuntime(module) ||
         usesTaggedPrimitiveHostParamStringBoundary ||
         usesOwnedArrayHostParamBoundary ||
         usesOwnedNumberArrayJoinRuntime ||
-        usesOwnedBooleanArrayJoinRuntime;
+        usesOwnedBooleanArrayJoinRuntime ||
+        usesTaggedThrowRuntime ||
+        usesSyncTryCatchRuntime;
     const usesStringConcat = moduleUsesStringConcatRuntime(module) || usesOwnedStringToHost;
     const usesStringEquality = moduleUsesStringEqualityRuntime(module);
     const usesStringLiterals = moduleUsesStringLiteralRuntime(module);
@@ -5394,7 +5620,10 @@ function getHostClosureBoundarySignatures(module) {
                 if (field.valueType !== 'closure_ref' || field.closureSignatureId === undefined) {
                     continue;
                 }
-                markUsage(field.closureSignatureId, { needsParamBoundary: true, needsResultBoundary: true });
+                markUsage(field.closureSignatureId, {
+                    needsParamBoundary: true,
+                    needsResultBoundary: true,
+                });
             }
         }
         if (flags.needsResultBoundary) {
@@ -5402,10 +5631,16 @@ function getHostClosureBoundarySignatures(module) {
                 if (field.valueType !== 'closure_ref' || field.closureSignatureId === undefined) {
                     continue;
                 }
-                markUsage(field.closureSignatureId, { needsParamBoundary: true, needsResultBoundary: true });
+                markUsage(field.closureSignatureId, {
+                    needsParamBoundary: true,
+                    needsResultBoundary: true,
+                });
             }
             for (const method of layout.hostMethods) {
-                markUsage(method.closureSignatureId, { needsParamBoundary: true, needsResultBoundary: true });
+                markUsage(method.closureSignatureId, {
+                    needsParamBoundary: true,
+                    needsResultBoundary: true,
+                });
             }
         }
         for (const field of layout.fields) {
@@ -5459,11 +5694,13 @@ function getHostClosureBoundarySignatures(module) {
             });
         }
         for (const field of layout.hostStaticFields) {
-            if (field.valueKind === 'heap_object' && field.representation?.kind === 'specialized_object_representation') {
+            if (field.valueKind === 'heap_object' &&
+                field.representation?.kind === 'specialized_object_representation') {
                 markSpecializedLayoutClosureUsage(field.representation, { needsResultBoundary: true });
                 continue;
             }
-            if (field.valueKind === 'tagged_array' && field.representation?.kind === 'specialized_object_representation') {
+            if (field.valueKind === 'tagged_array' &&
+                field.representation?.kind === 'specialized_object_representation') {
                 markSpecializedLayoutClosureUsage(field.representation, { needsResultBoundary: true });
                 continue;
             }
@@ -5514,7 +5751,9 @@ function getHostClosureBoundarySignatures(module) {
             }
         }
     }
-    if (moduleUsesHostPromiseResultBridge(module)) {
+    if (moduleUsesHostPromiseResultBridge(module) ||
+        moduleUsesSyncGeneratorHostResultBridge(module) ||
+        moduleUsesAsyncGeneratorHostResultBridge(module)) {
         const promiseHandlerSignature = getPromiseFulfilledHandlerClosureSignature(module);
         if (promiseHandlerSignature) {
             markUsage(promiseHandlerSignature.id, {
@@ -5523,6 +5762,20 @@ function getHostClosureBoundarySignatures(module) {
             });
         }
     }
+    if (moduleUsesGeneratorStepClosureHostBridge(module)) {
+        const generatorStepSignature = getGeneratorStepClosureSignature(module);
+        if (generatorStepSignature) {
+            markUsage(generatorStepSignature.id, {
+                needsParamBoundary: true,
+                needsResultBoundary: true,
+            });
+        }
+    }
+    if (module.syncTryCatchClosureSignatureId !== undefined) {
+        markUsage(module.syncTryCatchClosureSignatureId, {
+            needsResultBoundary: true,
+        });
+    }
     for (const signature of module.closureSignatures ?? []) {
         if (signature.resultClassConstructorTagId !== undefined) {
             markClassConstructorSurfaceUsage(signature.resultClassConstructorTagId);
@@ -5559,7 +5812,8 @@ function getHostClosureBoundarySignatures(module) {
                 markSpecializedLayoutClosureUsage(signature.resultHeapRepresentation, { needsParamBoundary: true });
             }
             if (signature.resultHeapArrayRepresentation?.kind === 'specialized_object_representation') {
-                markSpecializedLayoutClosureUsage(signature.resultHeapArrayRepresentation, { needsParamBoundary: true });
+                markSpecializedLayoutClosureUsage(signature
+                    .resultHeapArrayRepresentation, { needsParamBoundary: true });
             }
             for (const representation of signature.paramHeapRepresentations ?? []) {
                 if (representation?.kind !== 'specialized_object_representation') {
@@ -5579,7 +5833,8 @@ function getHostClosureBoundarySignatures(module) {
                 markSpecializedLayoutClosureUsage(signature.resultHeapRepresentation, { needsResultBoundary: true });
             }
             if (signature.resultHeapArrayRepresentation?.kind === 'specialized_object_representation') {
-                markSpecializedLayoutClosureUsage(signature.resultHeapArrayRepresentation, { needsResultBoundary: true });
+                markSpecializedLayoutClosureUsage(signature
+                    .resultHeapArrayRepresentation, { needsResultBoundary: true });
             }
             for (const representation of signature.paramHeapRepresentations ?? []) {
                 if (representation?.kind !== 'specialized_object_representation') {
@@ -5626,10 +5881,10 @@ function getHostClosureBoundarySignatures(module) {
 }
 function emitClosureRuntimeImports(module) {
     const hostClosureSignatures = getHostClosureBoundarySignatures(module);
-    if (hostClosureSignatures.length === 0) {
+    if (hostClosureSignatures.length === 0 && module.syncTryCatchClosureSignatureId === undefined) {
         return [];
     }
-    return hostClosureSignatures.flatMap(({ signature, needsResultBoundary }) => [
+    const imports = hostClosureSignatures.flatMap(({ signature, needsResultBoundary }) => [
         '(import "soundscript_closure" ' +
             `"call_${signature.id}" (func $host_closure_call_${signature.id} (param externref)${getHostClosureSourceParamBoundaries(signature).map((param) => ` (param ${param.classTagId !== undefined ? 'externref' : getHostClosureBoundaryWatType(param.type)})`).join('')} (result ${signature.resultClassConstructorTagId !== undefined
                 ? 'externref'
@@ -5640,18 +5895,29 @@ function emitClosureRuntimeImports(module) {
             ]
             : []),
     ]);
+    if (module.syncTryCatchClosureSignatureId !== undefined &&
+        !hostClosureSignatures.some(({ signatureId }) => signatureId === module.syncTryCatchClosureSignatureId)) {
+        imports.push(`(import "soundscript_closure" "to_host_${module.syncTryCatchClosureSignatureId}" (func $host_closure_to_host_${module.syncTryCatchClosureSignatureId} (param (ref null eq)) (result externref)))`);
+    }
+    return imports;
 }
 function emitObjectRuntimeImports(module, layoutsByRepresentationName, fallbackPropertyKeyIdsByKey) {
     const usageByRepresentationName = collectHostBoundarySpecializedObjectUsageWithHostClosures(module, layoutsByRepresentationName);
     const fallbackUsage = collectHostBoundaryFallbackObjectUsageWithHostClosures(module);
     const closureSignatures = module.closureSignatures ?? [];
-    const hasClassConstructorParamBoundary = module.functions.some((func) => (func.hostClassConstructorParams?.length ?? 0) > 0) || closureSignatures.some((signature) => signature.sourceParamClassConstructorTagIds?.some((tagId) => tagId !== undefined) === true);
-    const hasClassConstructorResultBoundary = module.functions.some((func) => func.hostClassConstructorResultTagId !== undefined) || closureSignatures.some((signature) => signature.resultClassConstructorTagId !== undefined);
+    const hasClassConstructorParamBoundary = module.functions.some((func) => (func.hostClassConstructorParams?.length ?? 0) > 0) ||
+        closureSignatures.some((signature) => signature.sourceParamClassConstructorTagIds?.some((tagId) => tagId !== undefined) === true);
+    const hasClassConstructorResultBoundary = module.functions.some((func) => func.hostClassConstructorResultTagId !== undefined) ||
+        closureSignatures.some((signature) => signature.resultClassConstructorTagId !== undefined);
     const hostDynamicCollectionParams = module.functions.flatMap((func) => func.hostDynamicCollectionParams ?? []);
     const usesHostMapParamBoundary = hostDynamicCollectionParams.some((param) => param.collectionKind === 'map');
     const usesHostSetParamBoundary = hostDynamicCollectionParams.some((param) => param.collectionKind === 'set');
     const usesHostPromiseErrorBridge = moduleUsesHostPromiseParamBridge(module) ||
-        moduleUsesHostPromiseResultBridge(module);
+        moduleUsesHostPromiseResultBridge(module) ||
+        moduleUsesGeneratorStepClosureHostBridge(module);
+    const usesTaggedThrowBuiltinErrorBridge = moduleUsesTaggedThrowRuntime(module) &&
+        moduleUsesBuiltinErrorRuntime(module);
+    const usesSyncTryCatch = moduleUsesSyncTryCatchRuntime(module);
     const hostMapValueKinds = new Set(hostDynamicCollectionParams
         .filter((param) => param.collectionKind === 'map')
         .map((param) => param.valueKind));
@@ -5664,7 +5930,9 @@ function emitObjectRuntimeImports(module, layoutsByRepresentationName, fallbackP
         !hasClassConstructorResultBoundary &&
         !usesHostMapParamBoundary &&
         !usesHostSetParamBoundary &&
-        !usesHostPromiseErrorBridge) {
+        !usesHostPromiseErrorBridge &&
+        !usesTaggedThrowBuiltinErrorBridge &&
+        !usesSyncTryCatch) {
         return [];
     }
     const hostFallbackPropertyNames = collectHostBoundaryFallbackPropertyNames(module);
@@ -5677,17 +5945,21 @@ function emitObjectRuntimeImports(module, layoutsByRepresentationName, fallbackP
         usage.layout.fields.some((field) => field.valueType === 'heap_ref'));
     const hostSpecializedTaggedArrayFieldsNeedSame = [...usageByRepresentationName.values()].some((usage) => (usage.needsParamCopyBack || usage.needsResultBoundary) &&
         usage.layout.fields.some((field) => field.valueType === 'owned_tagged_array_ref' && field.heapRepresentation !== undefined));
-    const hostSpecializedTaggedArrayFieldsNeedIdentityLookup = [...usageByRepresentationName.values()].some((usage) => (usage.needsParamCopyBack || usage.needsResultBoundary) &&
+    const hostSpecializedTaggedArrayFieldsNeedIdentityLookup = [...usageByRepresentationName.values()]
+        .some((usage) => (usage.needsParamCopyBack || usage.needsResultBoundary) &&
         usage.layout.fields.some((field) => field.valueType === 'owned_tagged_array_ref' && field.heapRepresentation !== undefined));
     const needsEmpty = [...usageByRepresentationName.values()].some((usage) => usage.needsResultBoundary) ||
         fallbackUsage?.needsResultBoundary === true ||
-        usesHostPromiseErrorBridge;
+        usesHostPromiseErrorBridge ||
+        usesTaggedThrowBuiltinErrorBridge ||
+        usesSyncTryCatch;
     const needsSame = [...usageByRepresentationName.values()].some((usage) => usage.needsParamBoundary) ||
         hostSpecializedHeapFieldsNeedSame ||
         hostSpecializedTaggedArrayFieldsNeedSame ||
         fallbackUsage?.needsParamBoundary === true ||
         (fallbackUsage?.needsResultBoundary === true &&
-            (hostFallbackHeapProperties.size > 0 || [...hostFallbackTaggedArrayProperties.values()].some((property) => property.representation !== undefined)));
+            (hostFallbackHeapProperties.size > 0 ||
+                [...hostFallbackTaggedArrayProperties.values()].some((property) => property.representation !== undefined)));
     const needsClassTagGetter = [...usageByRepresentationName.values()].some((usage) => usage.needsParamBoundary &&
         usage.layout.classTagId !== undefined &&
         getSpecializedSubtypeLayouts(usage.layout, layoutsByRepresentationName).length > 0) || hasClassConstructorParamBoundary || hasClassConstructorResultBoundary ||
@@ -5707,7 +5979,8 @@ function emitObjectRuntimeImports(module, layoutsByRepresentationName, fallbackP
         (fallbackUsage?.needsResultBoundary === true &&
             [...hostFallbackTaggedArrayProperties.values()].some((property) => property.representation !== undefined)) ||
         fallbackUsage?.needsResultBoundary === true;
-    const needsIdentityRemember = [...usageByRepresentationName.values()].length > 0 || fallbackUsage !== undefined;
+    const needsIdentityRemember = [...usageByRepresentationName.values()].length > 0 ||
+        fallbackUsage !== undefined;
     const getterImports = new Map();
     const setterImports = new Map();
     const hasImports = new Map();
@@ -5715,11 +5988,18 @@ function emitObjectRuntimeImports(module, layoutsByRepresentationName, fallbackP
     const paramCacheLookupImports = new Map();
     const paramCacheRememberImports = new Map();
     const collectionImports = new Map();
-    if (usesHostPromiseErrorBridge) {
+    if (usesHostPromiseErrorBridge || usesTaggedThrowBuiltinErrorBridge || usesSyncTryCatch) {
+        getterImports.set('get_tagged:name', `(import "soundscript_object" "get_tagged:${getHostObjectPropertyToken('name')}" (func $${getHostObjectImportFunctionName('get_tagged', 'name')} (param externref) (result externref)))`);
         getterImports.set('get_tagged:message', `(import "soundscript_object" "get_tagged:${getHostObjectPropertyToken('message')}" (func $${getHostObjectImportFunctionName('get_tagged', 'message')} (param externref) (result externref)))`);
+    }
+    if (usesHostPromiseErrorBridge || usesTaggedThrowBuiltinErrorBridge || usesSyncTryCatch) {
         setterImports.set('set_tagged:name', `(import "soundscript_object" "set_tagged:${getHostObjectPropertyToken('name')}" (func $${getHostObjectImportFunctionName('set_tagged', 'name')} (param externref) (param externref)))`);
         setterImports.set('set_tagged:message', `(import "soundscript_object" "set_tagged:${getHostObjectPropertyToken('message')}" (func $${getHostObjectImportFunctionName('set_tagged', 'message')} (param externref) (param externref)))`);
     }
+    if (moduleUsesGeneratorStepClosureHostBridge(module)) {
+        setterImports.set('set_tagged:value', `(import "soundscript_object" "set_tagged:${getHostObjectPropertyToken('value')}" (func $${getHostObjectImportFunctionName('set_tagged', 'value')} (param externref) (param externref)))`);
+        setterImports.set('set_tagged:done', `(import "soundscript_object" "set_tagged:${getHostObjectPropertyToken('done')}" (func $${getHostObjectImportFunctionName('set_tagged', 'done')} (param externref) (param externref)))`);
+    }
     const closureFunctionById = new Map(module.functions
         .filter((func) => func.closureFunctionId !== undefined)
         .map((func) => [func.closureFunctionId, func]));
@@ -5732,11 +6012,12 @@ function emitObjectRuntimeImports(module, layoutsByRepresentationName, fallbackP
             });
         const needsFieldSyncCopyBack = usage.needsResultBoundary &&
             usage.layout.fields.some((field) => (field.methodClosureFunctionIds?.length ?? 0) > 0);
-        if (usage.needsParamBoundary) {
+        if (usage.needsParamBoundary || usage.needsResultBoundary) {
             paramCacheLookupImports.set(usage.layout.representation.name, `(import "soundscript_object" "${getHostObjectParamCacheImportFieldName('lookup', usage.layout.representation.name)}" (func $${getHostObjectLookupParamCachedImportFunctionName(usage.layout.representation.name)} (param externref) (result (ref null eq))))`);
             paramCacheRememberImports.set(usage.layout.representation.name, `(import "soundscript_object" "${getHostObjectParamCacheImportFieldName('remember', usage.layout.representation.name)}" (func $${getHostObjectRememberParamCachedImportFunctionName(usage.layout.representation.name)} (param externref) (param (ref null eq))))`);
         }
-        if (usage.needsParamBoundary || usage.needsResultBoundary || needsMethodSyncCopyBack || needsFieldSyncCopyBack) {
+        if (usage.needsParamBoundary || usage.needsResultBoundary || needsMethodSyncCopyBack ||
+            needsFieldSyncCopyBack) {
             for (const field of usage.layout.fields) {
                 if (field.valueType === 'class_constructor_ref') {
                     continue;
@@ -5776,7 +6057,7 @@ function emitObjectRuntimeImports(module, layoutsByRepresentationName, fallbackP
     if (fallbackUsage) {
         const needsFallbackMethodSyncCopyBack = fallbackUsage.needsResultBoundary &&
             [...hostFallbackMethodClosureFunctionIds.values()].some((functionIds) => functionIds.length > 0);
-        if (fallbackUsage.needsParamBoundary) {
+        if (fallbackUsage.needsParamBoundary || fallbackUsage.needsResultBoundary) {
             paramCacheLookupImports.set(HOST_FALLBACK_PARAM_CACHE_KEY, `(import "soundscript_object" "${getHostObjectParamCacheImportFieldName('lookup', HOST_FALLBACK_PARAM_CACHE_KEY)}" (func $${getHostObjectLookupParamCachedImportFunctionName(HOST_FALLBACK_PARAM_CACHE_KEY)} (param externref) (result (ref null eq))))`);
             paramCacheRememberImports.set(HOST_FALLBACK_PARAM_CACHE_KEY, `(import "soundscript_object" "${getHostObjectParamCacheImportFieldName('remember', HOST_FALLBACK_PARAM_CACHE_KEY)}" (func $${getHostObjectRememberParamCachedImportFunctionName(HOST_FALLBACK_PARAM_CACHE_KEY)} (param externref) (param (ref null eq))))`);
         }
@@ -5784,7 +6065,9 @@ function emitObjectRuntimeImports(module, layoutsByRepresentationName, fallbackP
             const closureSignatureId = hostFallbackClosureProperties.get(propertyName);
             const classConstructorTagId = hostFallbackClassConstructorProperties.get(propertyName);
             const methodClosureFunctionIds = hostFallbackMethodClosureFunctionIds.get(propertyName) ?? [];
-            if (fallbackUsage.needsParamBoundary || needsFallbackMethodSyncCopyBack) {
+            if (fallbackUsage.needsParamBoundary ||
+                fallbackUsage.needsResultBoundary ||
+                needsFallbackMethodSyncCopyBack) {
                 hasImports.set(propertyName, `(import "soundscript_object" "has:${getHostObjectPropertyToken(propertyName)}" (func $${getHostFallbackObjectHasImportFunctionName(propertyName)} (param externref) (result i32)))`);
                 getterImports.set(`${closureSignatureId !== undefined ? 'get_closure' : 'get_tagged'}:${propertyName}`, closureSignatureId !== undefined
                     ? `(import "soundscript_object" "get_closure:${getHostObjectPropertyToken(propertyName)}" (func $${getHostFallbackObjectGetImportFunctionName(propertyName)} (param externref) (result externref)))`
@@ -5869,7 +6152,9 @@ function emitObjectRuntimeImports(module, layoutsByRepresentationName, fallbackP
     }
     return [
         ...(needsSame
-            ? ['(import "soundscript_object" "same" (func $host_object_same (param externref) (param externref) (result i32)))']
+            ? [
+                '(import "soundscript_object" "same" (func $host_object_same (param externref) (param externref) (result i32)))',
+            ]
             : []),
         ...(needsEmpty
             ? ['(import "soundscript_object" "empty" (func $host_object_empty (result externref)))']
@@ -6079,7 +6364,7 @@ function emitHostSpecializedObjectBoundaryHelpers(module, layoutsByRepresentatio
             usage.layout.fields.some((field) => (field.methodClosureFunctionIds?.length ?? 0) > 0);
         const hasHeapFieldCopyBack = usage.layout.fields.some((field) => field.valueType === 'heap_ref');
         const hasTaggedFieldBoundary = usage.layout.fields.some((field) => field.valueType === 'tagged_ref');
-        if (usage.needsParamBoundary) {
+        if (usage.needsParamBoundary || usage.needsResultBoundary) {
             const emitSubtypeParamDispatch = (index) => {
                 const subtypeLayout = subtypeLayouts[index];
                 if (!subtypeLayout) {
@@ -6097,13 +6382,15 @@ function emitHostSpecializedObjectBoundaryHelpers(module, layoutsByRepresentatio
                     `${indent(2)}call $${getHostObjectToSpecializedHelperName(subtypeLayout)}`,
                     `${indent(1)}else`,
                     ...emitSubtypeParamDispatch(index + 1),
-                    ...(index + 1 === subtypeLayouts.length ? [
-                        ...(usage.layout.classTagId === undefined
-                            ? []
-                            : [`${indent(2)}i32.const ${usage.layout.classTagId}`]),
-                        ...usage.layout.fields.flatMap((field) => emitHostSpecializedFieldFromHost(field, layoutsByRepresentationName, 2)),
-                        `${indent(2)}struct.new $${usage.layout.watTypeId}`,
-                    ] : []),
+                    ...(index + 1 === subtypeLayouts.length
+                        ? [
+                            ...(usage.layout.classTagId === undefined
+                                ? []
+                                : [`${indent(2)}i32.const ${usage.layout.classTagId}`]),
+                            ...usage.layout.fields.flatMap((field) => emitHostSpecializedFieldFromHost(field, layoutsByRepresentationName, 2)),
+                            `${indent(2)}struct.new $${usage.layout.watTypeId}`,
+                        ]
+                        : []),
                     `${indent(1)}end`,
                 ];
             };
@@ -6149,18 +6436,16 @@ function emitHostSpecializedObjectBoundaryHelpers(module, layoutsByRepresentatio
                 const subtypeLayout = subtypeLayouts[index];
                 if (!subtypeLayout) {
                     return [
-                        ...(usage.layout.classTagId === undefined
-                            ? []
-                            : [
-                                ...emitHostClassConstructorToHostAdaptation(usage.layout.classTagId, 1, layoutsByRepresentationName),
-                                `${indent(1)}drop`,
-                                `${indent(1)}local.get $target`,
-                                `${indent(1)}local.get $value`,
-                                `${indent(1)}struct.get $${usage.layout.watTypeId} 0`,
-                                `${indent(1)}call $${getHostObjectSetClassTagImportFunctionName()}`,
-                                `${indent(1)}local.get $target`,
-                                `${indent(1)}call $${getHostObjectSyncClassPrototypeImportFunctionName()}`,
-                            ]),
+                        ...(usage.layout.classTagId === undefined ? [] : [
+                            ...emitHostClassConstructorToHostAdaptation(usage.layout.classTagId, 1, layoutsByRepresentationName),
+                            `${indent(1)}drop`,
+                            `${indent(1)}local.get $target`,
+                            `${indent(1)}local.get $value`,
+                            `${indent(1)}struct.get $${usage.layout.watTypeId} 0`,
+                            `${indent(1)}call $${getHostObjectSetClassTagImportFunctionName()}`,
+                            `${indent(1)}local.get $target`,
+                            `${indent(1)}call $${getHostObjectSyncClassPrototypeImportFunctionName()}`,
+                        ]),
                         ...usage.layout.fields.flatMap((field, fieldIndex) => emitSpecializedFieldCopyToHost(field, usage.layout, layoutsByRepresentationName, fallbackObjectLayout, fieldIndex, 1)),
                         ...usage.layout.hostMethods.flatMap((method) => [
                             ...(() => {
@@ -6235,18 +6520,16 @@ function emitHostSpecializedObjectBoundaryHelpers(module, layoutsByRepresentatio
                     return [
                         `${indent(1)}call $host_object_empty`,
                         `${indent(1)}local.set $result`,
-                        ...(usage.layout.classTagId === undefined
-                            ? []
-                            : [
-                                ...emitHostClassConstructorToHostAdaptation(usage.layout.classTagId, 1, layoutsByRepresentationName),
-                                `${indent(1)}drop`,
-                                `${indent(1)}local.get $result`,
-                                `${indent(1)}local.get $value`,
-                                `${indent(1)}struct.get $${usage.layout.watTypeId} 0`,
-                                `${indent(1)}call $${getHostObjectSetClassTagImportFunctionName()}`,
-                                `${indent(1)}local.get $result`,
-                                `${indent(1)}call $${getHostObjectSyncClassPrototypeImportFunctionName()}`,
-                            ]),
+                        ...(usage.layout.classTagId === undefined ? [] : [
+                            ...emitHostClassConstructorToHostAdaptation(usage.layout.classTagId, 1, layoutsByRepresentationName),
+                            `${indent(1)}drop`,
+                            `${indent(1)}local.get $result`,
+                            `${indent(1)}local.get $value`,
+                            `${indent(1)}struct.get $${usage.layout.watTypeId} 0`,
+                            `${indent(1)}call $${getHostObjectSetClassTagImportFunctionName()}`,
+                            `${indent(1)}local.get $result`,
+                            `${indent(1)}call $${getHostObjectSyncClassPrototypeImportFunctionName()}`,
+                        ]),
                         ...usage.layout.fields.flatMap((field, fieldIndex) => emitSpecializedFieldResultToHost(field, usage.layout, layoutsByRepresentationName, fallbackObjectLayout, fieldIndex, 1)),
                         ...usage.layout.hostMethods.flatMap((method) => [
                             ...(() => {
@@ -6309,7 +6592,7 @@ function emitHostSpecializedObjectBoundaryHelpers(module, layoutsByRepresentatio
                     `${indent(1)}(local $entry_value externref)`,
                     `${indent(1)}(local $entry_tagged (ref null $tagged_value))`,
                 ]
-                : []), `${indent(1)}local.get $value`, `${indent(1)}call $${getHostObjectLookupCachedImportFunctionName()}`, `${indent(1)}local.tee $cached`, `${indent(1)}ref.is_null`, `${indent(1)}if`, ...emitSubtypeResultDispatch(0), `${indent(2)}local.set $result`, `${indent(2)}local.get $value`, `${indent(2)}local.get $result`, `${indent(2)}call $${getHostObjectRememberCachedImportFunctionName()}`, `${indent(1)}else`, `${indent(2)}local.get $cached`, `${indent(2)}local.set $result`, `${indent(1)}end`, `${indent(1)}local.get $result`, ')');
+                : []), `${indent(1)}local.get $value`, `${indent(1)}call $${getHostObjectLookupCachedImportFunctionName()}`, `${indent(1)}local.tee $cached`, `${indent(1)}ref.is_null`, `${indent(1)}if`, ...emitSubtypeResultDispatch(0), `${indent(2)}local.set $result`, `${indent(2)}local.get $value`, `${indent(2)}local.get $result`, `${indent(2)}call $${getHostObjectRememberCachedImportFunctionName()}`, `${indent(1)}else`, `${indent(2)}local.get $cached`, `${indent(2)}local.get $value`, `${indent(2)}call $${getCopySpecializedObjectToHostHelperName(usage.layout)}`, `${indent(2)}local.get $cached`, `${indent(2)}local.set $result`, `${indent(1)}end`, `${indent(1)}local.get $result`, ')');
         }
         if (usage.needsResultBoundary && usage.layout.classTagId !== undefined) {
             for (const method of usage.layout.hostMethods) {
@@ -6416,7 +6699,7 @@ function emitHostFallbackObjectBoundaryHelpers(module, layout, fallbackPropertyK
             const captureValueTypes = closureFunction?.closureCaptureValueTypes ?? [];
             return captureValueTypes.length === 1 && captureValueTypes[0] === 'heap_ref';
         }));
-    if (usage.needsParamBoundary) {
+    if (usage.needsParamBoundary || usage.needsResultBoundary) {
         lines.push(`(func $${getHostObjectToFallbackHelperName()} (param $value externref) (result (ref null $${layout.watTypeId}))`, `${indent(1)}(local $result (ref null $${layout.watTypeId}))`, `${indent(1)}(local $cached (ref null eq))`, `${indent(1)}(local $entry_value externref)`, `${indent(1)}(local $entry_tag i32)`, `${indent(1)}(local $entry_tagged (ref null $tagged_value))`, `${indent(1)}local.get $value`, `${indent(1)}call $${getHostObjectLookupParamCachedImportFunctionName(HOST_FALLBACK_PARAM_CACHE_KEY)}`, `${indent(1)}local.tee $cached`, `${indent(1)}ref.is_null`, `${indent(1)}if`, `${indent(2)}call $allocate_fallback_object`, `${indent(2)}local.set $result`, ...sortedPropertyEntries.flatMap(([propertyName, propertyKeyId]) => {
             const closureSignatureId = closureProperties.get(propertyName);
             const classConstructorTagId = classConstructorProperties.get(propertyName);
@@ -6503,10 +6786,11 @@ function emitHostFallbackObjectBoundaryHelpers(module, layout, fallbackPropertyK
             ];
         }), `${indent(2)}local.get $value`, `${indent(2)}local.get $result`, `${indent(2)}call $${getHostObjectRememberParamCachedImportFunctionName(HOST_FALLBACK_PARAM_CACHE_KEY)}`, `${indent(1)}else`, `${indent(2)}local.get $cached`, `${indent(2)}ref.cast (ref null $${layout.watTypeId})`, `${indent(2)}local.set $result`, `${indent(1)}end`, `${indent(1)}local.get $result`, `${indent(1)}local.get $value`, `${indent(1)}call $${getHostObjectRememberCachedImportFunctionName()}`, `${indent(1)}local.get $result`, ')');
     }
-    if (usage.needsParamCopyBack || needsMethodSyncCopyBack) {
+    if (usage.needsParamCopyBack || needsMethodSyncCopyBack || usage.needsResultBoundary) {
         lines.push(`(func $${getCopyFallbackObjectToHostHelperName()} (param $target externref) (param $value (ref null $${layout.watTypeId}))`, `${indent(1)}(local $entry_tag i32)`, `${indent(1)}(local $entry_value externref)`, `${indent(1)}(local $entry_existing externref)`, `${indent(1)}(local $entry_heap (ref null eq))`, `${indent(1)}(local $entry_tagged (ref null $tagged_value))`, ...sortedPropertyEntries.flatMap(([propertyName, propertyKeyId]) => {
             const closureSignatureId = closureProperties.get(propertyName);
-            const methodClosureFunctionIds = (fallbackMethodClosureFunctionIds.get(propertyName) ?? []).filter((functionId) => {
+            const methodClosureFunctionIds = (fallbackMethodClosureFunctionIds.get(propertyName) ?? [])
+                .filter((functionId) => {
                 const closureFunction = closureFunctionById.get(functionId);
                 const captureValueTypes = closureFunction?.closureCaptureValueTypes ?? [];
                 return captureValueTypes.length === 1 && captureValueTypes[0] === 'heap_ref';
@@ -6709,7 +6993,8 @@ function emitHostFallbackObjectBoundaryHelpers(module, layout, fallbackPropertyK
     if (usage.needsResultBoundary) {
         lines.push(`(func $${getFallbackObjectToHostHelperName()} (param $value (ref null $${layout.watTypeId})) (result externref)`, `${indent(1)}(local $result externref)`, `${indent(1)}(local $cached externref)`, `${indent(1)}(local $entry_tag i32)`, `${indent(1)}(local $entry_value externref)`, `${indent(1)}(local $entry_tagged (ref null $tagged_value))`, `${indent(1)}local.get $value`, `${indent(1)}call $${getHostObjectLookupCachedImportFunctionName()}`, `${indent(1)}local.tee $cached`, `${indent(1)}ref.is_null`, `${indent(1)}if`, `${indent(2)}call $host_object_empty`, `${indent(2)}local.set $result`, ...sortedPropertyEntries.flatMap(([propertyName, propertyKeyId]) => {
             const closureSignatureId = closureProperties.get(propertyName);
-            const methodClosureFunctionIds = (fallbackMethodClosureFunctionIds.get(propertyName) ?? []).filter((functionId) => {
+            const methodClosureFunctionIds = (fallbackMethodClosureFunctionIds.get(propertyName) ?? [])
+                .filter((functionId) => {
                 const closureFunction = closureFunctionById.get(functionId);
                 const captureValueTypes = closureFunction?.closureCaptureValueTypes ?? [];
                 return captureValueTypes.length === 1 && captureValueTypes[0] === 'heap_ref';
@@ -6832,7 +7117,7 @@ function emitHostFallbackObjectBoundaryHelpers(module, layout, fallbackPropertyK
                                             ]),
                 `${indent(2)}end`,
             ];
-        }), `${indent(2)}local.get $value`, `${indent(2)}local.get $result`, `${indent(2)}call $${getHostObjectRememberCachedImportFunctionName()}`, `${indent(1)}else`, `${indent(2)}local.get $cached`, `${indent(2)}local.set $result`, `${indent(1)}end`, `${indent(1)}local.get $result`, ')');
+        }), `${indent(2)}local.get $value`, `${indent(2)}local.get $result`, `${indent(2)}call $${getHostObjectRememberCachedImportFunctionName()}`, `${indent(1)}else`, `${indent(2)}local.get $cached`, `${indent(2)}local.get $value`, `${indent(2)}call $${getCopyFallbackObjectToHostHelperName()}`, `${indent(2)}local.get $cached`, `${indent(2)}local.set $result`, `${indent(1)}end`, `${indent(1)}local.get $result`, ')');
     }
     if (usage.needsResultBoundary) {
         for (const [propertyName, functionIds] of fallbackMethodClosureFunctionIds.entries()) {
@@ -8072,7 +8357,9 @@ function emitOwnedStringLiteralHelpers(module, layout) {
 function emitOwnedStringRuntimeConstruction(codeUnits, layout, level, includeLocalDeclaration = true, localName = 'code_units') {
     return [
         ...(includeLocalDeclaration
-            ? [`${indent(level)}(local $${localName} (ref null $${layout.fallbackCodeUnitArrayWatTypeId}))`]
+            ? [
+                `${indent(level)}(local $${localName} (ref null $${layout.fallbackCodeUnitArrayWatTypeId}))`,
+            ]
             : []),
         `${indent(level)}i32.const ${codeUnits.length}`,
         `${indent(level)}array.new_default $${layout.fallbackCodeUnitArrayWatTypeId}`,
@@ -8592,6 +8879,7 @@ function emitOwnedStringNativeHelpers(module, layout) {
     if (!layout || !moduleUsesOwnedStringRuntime(module)) {
         return [];
     }
+    const usesTaggedThrowRuntime = moduleUsesTaggedThrowRuntime(module);
     const usesTrim = moduleUsesOwnedStringTrimRuntime(module);
     const usesToUpperCase = moduleUsesOwnedStringToUpperCaseRuntime(module);
     const usesToLowerCase = moduleUsesOwnedStringToLowerCaseRuntime(module);
@@ -8611,11 +8899,17 @@ function emitOwnedStringNativeHelpers(module, layout) {
     const usesTaggedArrayHostResultStringBoundary = module.functions.some((func) => func.hostTaggedArrayResultKinds?.includesString === true);
     const usesPrimitiveHostStringToHostBoundary = taggedHostBoundaryUsage.usesStringBoundary ||
         usesHostFallbackObjectBoundary ||
-        moduleUsesHostPromiseResultBridge(module);
+        moduleUsesHostPromiseResultBridge(module) ||
+        moduleUsesGeneratorStepClosureHostBridge(module) ||
+        usesTaggedThrowRuntime ||
+        moduleUsesSyncTryCatchRuntime(module);
     const usesPrimitiveHostStringFromHostBoundary = taggedHostBoundaryUsage.usesStringBoundary ||
         usesHostFallbackObjectBoundary ||
         moduleUsesHostPromiseParamBridge(module) ||
-        moduleUsesHostPromiseResultBridge(module);
+        moduleUsesHostPromiseResultBridge(module) ||
+        moduleUsesGeneratorStepClosureHostBridge(module) ||
+        usesTaggedThrowRuntime ||
+        moduleUsesSyncTryCatchRuntime(module);
     const usesOwnedArrayHostParamBoundary = moduleUsesOwnedArrayHostParamBoundary(module);
     const usesOwnedArrayHostResultBoundary = moduleUsesOwnedArrayHostResultBoundary(module);
     const usesToHost = moduleUsesOwnedStringToHostRuntime(module) ||
@@ -10654,6 +10948,7 @@ function collectSpecializedObjectInstanceOfUsages(module) {
         for (const statement of statements) {
             switch (statement.kind) {
                 case 'expression':
+                case 'box_set':
                 case 'local_set':
                 case 'return':
                 case 'specialized_object_field_set':
@@ -10698,6 +10993,7 @@ function collectBuiltinErrorInstanceOfUsages(module) {
         for (const statement of statements) {
             switch (statement.kind) {
                 case 'expression':
+                case 'box_set':
                 case 'local_set':
                 case 'return':
                 case 'specialized_object_field_set':
@@ -11593,9 +11889,16 @@ function emitPromiseRuntimeHelpers(module, layout, stringLayout) {
     if (!moduleUsesPromiseRuntime(module) || !layout || !stringLayout) {
         return [];
     }
-    const usesThen = moduleUsesPromiseThenRuntime(module);
     const usesHostPromiseParamBridge = moduleUsesHostPromiseParamBridge(module);
-    const usesHostPromiseResultBridge = moduleUsesHostPromiseResultBridge(module);
+    const usesHostPromiseResultBridge = moduleUsesHostPromiseResultBridge(module) ||
+        moduleUsesSyncGeneratorHostResultBridge(module) ||
+        moduleUsesAsyncGeneratorHostResultBridge(module);
+    const usesThen = moduleUsesPromiseThenRuntime(module) || usesHostPromiseResultBridge;
+    const usesAsyncGeneratorHostStepBridge = moduleUsesAsyncGeneratorHostStepBridge(module) ||
+        moduleUsesAsyncGeneratorHostResultBridge(module);
+    const generatorStepSignature = usesAsyncGeneratorHostStepBridge
+        ? getGeneratorStepClosureSignature(module)
+        : undefined;
     const stringLiteralIdsByText = createStringLiteralIds(module);
     const stateKeyLiteralId = getRequiredStringLiteralId(stringLiteralIdsByText, SOUNDSCRIPT_PROMISE_INTERNAL_STATE_KEY);
     const valueKeyLiteralId = getRequiredStringLiteralId(stringLiteralIdsByText, SOUNDSCRIPT_PROMISE_INTERNAL_VALUE_KEY);
@@ -11613,22 +11916,36 @@ function emitPromiseRuntimeHelpers(module, layout, stringLayout) {
         includesString: true,
         includesUndefined: true,
     };
-    const usesHostPromiseErrorBridge = usesHostPromiseParamBridge || usesHostPromiseResultBridge;
-    const builtinErrorBrandKeyLiteralId = usesHostPromiseErrorBridge
+    const usesHostPromiseErrorBridge = usesHostPromiseParamBridge || usesHostPromiseResultBridge ||
+        moduleUsesSyncGeneratorHostResultBridge(module) ||
+        usesAsyncGeneratorHostStepBridge;
+    const usesTaggedThrowRuntime = moduleUsesTaggedThrowRuntime(module);
+    const usesHostErrorBridge = usesHostPromiseErrorBridge ||
+        (usesTaggedThrowRuntime && moduleUsesBuiltinErrorRuntime(module));
+    const iteratorResultValueLiteralId = usesAsyncGeneratorHostStepBridge
+        ? getRequiredStringLiteralId(stringLiteralIdsByText, 'value')
+        : undefined;
+    const iteratorResultDoneLiteralId = usesAsyncGeneratorHostStepBridge
+        ? getRequiredStringLiteralId(stringLiteralIdsByText, 'done')
+        : undefined;
+    const builtinErrorBrandKeyLiteralId = usesHostErrorBridge
         ? getRequiredStringLiteralId(stringLiteralIdsByText, SOUNDSCRIPT_BUILTIN_ERROR_INTERNAL_BRAND_KEY)
         : undefined;
-    const builtinErrorNameLiteralId = usesHostPromiseErrorBridge
+    const builtinErrorNameLiteralId = usesHostErrorBridge
         ? getRequiredStringLiteralId(stringLiteralIdsByText, 'name')
         : undefined;
-    const builtinErrorMessageLiteralId = usesHostPromiseErrorBridge
+    const builtinErrorMessageLiteralId = usesHostErrorBridge
         ? getRequiredStringLiteralId(stringLiteralIdsByText, 'message')
         : undefined;
-    const builtinErrorLiteralId = usesHostPromiseErrorBridge
+    const builtinErrorLiteralId = usesHostErrorBridge
         ? getRequiredStringLiteralId(stringLiteralIdsByText, 'Error')
         : undefined;
     if (usesHostPromiseResultBridge && !promiseHandlerSignature) {
         throw new Error('Missing promise handler signature for host Promise result bridge.');
     }
+    if (usesAsyncGeneratorHostStepBridge && !generatorStepSignature) {
+        throw new Error('Missing generator step signature for async generator host-step bridge.');
+    }
     return [
         ...(usesThen
             ? [
@@ -12103,6 +12420,10 @@ function emitPromiseRuntimeHelpers(module, layout, stringLayout) {
                 `${indent(1)}call $__soundscript_promise_fulfill`,
                 `${indent(1)}call $${SOUNDSCRIPT_PROMISE_DRAIN_HELPER_NAME}`,
                 ')',
+            ]
+            : []),
+        ...((usesHostPromiseParamBridge || usesAsyncGeneratorHostStepBridge)
+            ? [
                 `(func $${SOUNDSCRIPT_PROMISE_BRIDGE_REJECT_EXPORT_NAME} (export "${SOUNDSCRIPT_PROMISE_BRIDGE_REJECT_EXPORT_NAME}") (param $promise (ref null eq)) (param $value externref)`,
                 `${indent(1)}(local $target (ref null $${layout.watTypeId}))`,
                 `${indent(1)}(local $value__host_tag i32)`,
@@ -12136,25 +12457,10 @@ function emitPromiseRuntimeHelpers(module, layout, stringLayout) {
                         `${indent(4)}i32.const 3`,
                         `${indent(4)}i32.eq`,
                         `${indent(4)}if`,
-                        `${indent(6)}call $allocate_dynamic_object`,
+                        `${indent(6)}local.get $value`,
+                        `${indent(6)}call $${getHostBuiltinErrorToDynamicHelperName()}`,
                         `${indent(6)}local.set $value__error_object`,
                         `${indent(6)}local.get $value__error_object`,
-                        `${indent(6)}call $owned_string_literal_${builtinErrorBrandKeyLiteralId}`,
-                        `${indent(6)}call $owned_string_literal_${builtinErrorLiteralId}`,
-                        `${indent(6)}call $tag_string`,
-                        `${indent(6)}call $set_dynamic_object_property`,
-                        `${indent(6)}local.get $value__error_object`,
-                        `${indent(6)}call $owned_string_literal_${builtinErrorNameLiteralId}`,
-                        `${indent(6)}call $owned_string_literal_${builtinErrorLiteralId}`,
-                        `${indent(6)}call $tag_string`,
-                        `${indent(6)}call $set_dynamic_object_property`,
-                        `${indent(6)}local.get $value__error_object`,
-                        `${indent(6)}call $owned_string_literal_${builtinErrorMessageLiteralId}`,
-                        `${indent(6)}local.get $value__message`,
-                        `${indent(6)}call $string_to_owned`,
-                        `${indent(6)}call $tag_string`,
-                        `${indent(6)}call $set_dynamic_object_property`,
-                        `${indent(6)}local.get $value__error_object`,
                         `${indent(6)}call $tag_heap_object`,
                         `${indent(6)}local.set $value__host_tagged`,
                         `${indent(6)}br $value__host_bridge_done`,
@@ -12175,15 +12481,259 @@ function emitPromiseRuntimeHelpers(module, layout, stringLayout) {
                 ')',
             ]
             : []),
-        ...(usesHostPromiseErrorBridge
+        ...(moduleUsesGeneratorStepClosureHostBridge(module)
+            ? [
+                `(func $${SOUNDSCRIPT_ASYNC_GENERATOR_TAGGED_TO_HOST_HELPER_NAME} (param $value (ref null $tagged_value)) (result externref)`,
+                `${indent(1)}(local $value__tag i32)`,
+                `${indent(1)}(local $value__host externref)`,
+                `${indent(1)}(local $value__dynamic (ref null $${layout.watTypeId}))`,
+                `${indent(1)}local.get $value`,
+                `${indent(1)}struct.get $tagged_value 0`,
+                `${indent(1)}local.set $value__tag`,
+                `${indent(1)}block $value__host_done`,
+                `${indent(2)}local.get $value__tag`,
+                `${indent(2)}i32.const 4`,
+                `${indent(2)}i32.eq`,
+                `${indent(2)}if`,
+                `${indent(3)}local.get $value`,
+                `${indent(3)}call $untag_heap_object`,
+                `${indent(3)}ref.test (ref null $${layout.watTypeId})`,
+                `${indent(3)}if`,
+                `${indent(4)}local.get $value`,
+                `${indent(4)}call $untag_heap_object`,
+                `${indent(4)}ref.cast (ref null $${layout.watTypeId})`,
+                `${indent(4)}local.tee $value__dynamic`,
+                `${indent(4)}call $owned_string_literal_${brandKeyLiteralId}`,
+                `${indent(4)}call $get_dynamic_object_property`,
+                `${indent(4)}struct.get $tagged_value 0`,
+                `${indent(4)}i32.const 1`,
+                `${indent(4)}i32.eq`,
+                `${indent(4)}if`,
+                `${indent(5)}local.get $value__dynamic`,
+                `${indent(5)}call ${SOUNDSCRIPT_HOST_PROMISE_TO_HOST_IMPORT_NAME}`,
+                `${indent(5)}local.set $value__host`,
+                `${indent(5)}br $value__host_done`,
+                `${indent(4)}end`,
+                `${indent(3)}end`,
+                ...(moduleUsesBuiltinErrorRuntime(module)
+                    ? [
+                        `${indent(3)}local.get $value`,
+                        `${indent(3)}call $untag_heap_object`,
+                        `${indent(3)}ref.test (ref null $${layout.watTypeId})`,
+                        `${indent(3)}if`,
+                        `${indent(4)}local.get $value`,
+                        `${indent(4)}call $untag_heap_object`,
+                        `${indent(4)}ref.cast (ref null $${layout.watTypeId})`,
+                        `${indent(4)}call $${getHostDynamicBuiltinErrorHelperName()}`,
+                        `${indent(4)}local.set $value__host`,
+                        `${indent(4)}br $value__host_done`,
+                        `${indent(3)}end`,
+                    ]
+                    : []),
+                `${indent(3)}local.get $value`,
+                `${indent(3)}call $untag_heap_object`,
+                `${indent(3)}ref.test (ref null $owned_string_array)`,
+                `${indent(3)}if`,
+                `${indent(4)}local.get $value`,
+                `${indent(4)}call $untag_heap_object`,
+                `${indent(4)}ref.cast (ref null $owned_string_array)`,
+                `${indent(4)}call $owned_string_array_to_host_array`,
+                `${indent(4)}local.set $value__host`,
+                `${indent(4)}br $value__host_done`,
+                `${indent(3)}end`,
+                `${indent(3)}local.get $value`,
+                `${indent(3)}call $untag_heap_object`,
+                `${indent(3)}ref.test (ref null $owned_number_array)`,
+                `${indent(3)}if`,
+                `${indent(4)}local.get $value`,
+                `${indent(4)}call $untag_heap_object`,
+                `${indent(4)}ref.cast (ref null $owned_number_array)`,
+                `${indent(4)}call $owned_number_array_to_host_array`,
+                `${indent(4)}local.set $value__host`,
+                `${indent(4)}br $value__host_done`,
+                `${indent(3)}end`,
+                `${indent(3)}local.get $value`,
+                `${indent(3)}call $untag_heap_object`,
+                `${indent(3)}ref.test (ref null $owned_boolean_array)`,
+                `${indent(3)}if`,
+                `${indent(4)}local.get $value`,
+                `${indent(4)}call $untag_heap_object`,
+                `${indent(4)}ref.cast (ref null $owned_boolean_array)`,
+                `${indent(4)}call $owned_boolean_array_to_host_array`,
+                `${indent(4)}local.set $value__host`,
+                `${indent(4)}br $value__host_done`,
+                `${indent(3)}end`,
+                `${indent(3)}local.get $value`,
+                `${indent(3)}call $untag_heap_object`,
+                `${indent(3)}ref.test (ref null $owned_tagged_array)`,
+                `${indent(3)}if`,
+                `${indent(4)}local.get $value`,
+                `${indent(4)}call $untag_heap_object`,
+                `${indent(4)}ref.cast (ref null $owned_tagged_array)`,
+                `${indent(4)}call $${getOwnedTaggedArrayToHostHelperName(ASYNC_GENERATOR_HOST_TAGGED_ARRAY_BRIDGE_KINDS)}`,
+                `${indent(4)}local.set $value__host`,
+                `${indent(4)}br $value__host_done`,
+                `${indent(3)}end`,
+                `${indent(3)}unreachable`,
+                `${indent(2)}end`,
+                ...emitTaggedPrimitiveToHostExternref('value', 'value__tag', 'value__host', {
+                    includesBoolean: true,
+                    includesNull: true,
+                    includesNumber: true,
+                    includesString: true,
+                    includesUndefined: true,
+                }, 2, indent),
+                `${indent(2)}local.set $value__host`,
+                `${indent(1)}end`,
+                `${indent(1)}local.get $value__host`,
+                ')',
+            ]
+            : []),
+        ...(usesAsyncGeneratorHostStepBridge
+            ? [
+                `(func $${SOUNDSCRIPT_ASYNC_GENERATOR_STEP_BRIDGE_FULFILL_TAGGED_HELPER_NAME} (param $promise (ref null eq)) (param $done i32) (param $value (ref null $tagged_value))`,
+                `${indent(1)}(local $target (ref null $${layout.watTypeId}))`,
+                `${indent(1)}(local $result (ref null $${layout.watTypeId}))`,
+                `${indent(1)}local.get $promise`,
+                `${indent(1)}ref.cast (ref null $${layout.watTypeId})`,
+                `${indent(1)}local.set $target`,
+                `${indent(1)}call $allocate_dynamic_object`,
+                `${indent(1)}local.set $result`,
+                `${indent(1)}local.get $result`,
+                `${indent(1)}call $owned_string_literal_${iteratorResultValueLiteralId}`,
+                `${indent(1)}local.get $value`,
+                `${indent(1)}call $set_dynamic_object_property`,
+                `${indent(1)}local.get $result`,
+                `${indent(1)}call $owned_string_literal_${iteratorResultDoneLiteralId}`,
+                `${indent(1)}local.get $done`,
+                `${indent(1)}call $tag_boolean`,
+                `${indent(1)}call $set_dynamic_object_property`,
+                `${indent(1)}local.get $target`,
+                `${indent(1)}local.get $result`,
+                `${indent(1)}call $tag_heap_object`,
+                `${indent(1)}call $__soundscript_promise_fulfill`,
+                `${indent(1)}call $${SOUNDSCRIPT_PROMISE_DRAIN_HELPER_NAME}`,
+                ')',
+                `(func $${SOUNDSCRIPT_ASYNC_GENERATOR_STEP_HELPER_NAME} (param $step (ref null $closure)) (param $mode f64) (param $value (ref null $tagged_value)) (result (ref null $${layout.watTypeId}))`,
+                `${indent(1)}(local $promise (ref null $${layout.watTypeId}))`,
+                `${indent(1)}(local $step__host externref)`,
+                `${indent(1)}(local $value__host_value externref)`,
+                `${indent(1)}call $${SOUNDSCRIPT_PROMISE_NEW_PENDING_HELPER_NAME}`,
+                `${indent(1)}local.set $promise`,
+                `${indent(1)}local.get $step`,
+                `${indent(1)}call $host_closure_to_host_${generatorStepSignature.id}`,
+                `${indent(1)}local.set $step__host`,
+                `${indent(1)}local.get $value`,
+                `${indent(1)}call $${SOUNDSCRIPT_ASYNC_GENERATOR_TAGGED_TO_HOST_HELPER_NAME}`,
+                `${indent(1)}local.set $value__host_value`,
+                `${indent(1)}local.get $step__host`,
+                `${indent(1)}local.get $mode`,
+                `${indent(1)}local.get $value__host_value`,
+                `${indent(1)}local.get $promise`,
+                `${indent(1)}call ${SOUNDSCRIPT_HOST_ASYNC_GENERATOR_STEP_IMPORT_NAME}`,
+                `${indent(1)}local.get $promise`,
+                ')',
+                `(func $${SOUNDSCRIPT_ASYNC_GENERATOR_STEP_BRIDGE_FULFILL_EXPORT_NAME} (export "${SOUNDSCRIPT_ASYNC_GENERATOR_STEP_BRIDGE_FULFILL_EXPORT_NAME}") (param $promise (ref null eq)) (param $done i32) (param $value externref)`,
+                `${indent(1)}(local $value__host_tag i32)`,
+                `${indent(1)}(local $value__host_tagged (ref null $tagged_value))`,
+                ...(usesHostPromiseErrorBridge
+                    ? [
+                        `${indent(1)}(local $value__message externref)`,
+                        `${indent(1)}(local $value__message_tag i32)`,
+                        `${indent(1)}(local $value__error_object (ref null $${layout.watTypeId}))`,
+                    ]
+                    : []),
+                ...(usesHostPromiseErrorBridge
+                    ? [
+                        `${indent(1)}local.get $value`,
+                        `${indent(1)}call $tagged_type_tag`,
+                        `${indent(1)}local.set $value__host_tag`,
+                        `${indent(1)}block $value__host_bridge_done`,
+                        `${indent(2)}local.get $value__host_tag`,
+                        `${indent(2)}i32.const 4`,
+                        `${indent(2)}i32.eq`,
+                        `${indent(2)}if`,
+                        `${indent(4)}local.get $value`,
+                        `${indent(4)}call $${getHostObjectImportFunctionName('get_tagged', 'message')}`,
+                        `${indent(4)}local.tee $value__message`,
+                        `${indent(4)}call $tagged_type_tag`,
+                        `${indent(4)}local.set $value__message_tag`,
+                        `${indent(4)}local.get $value__message_tag`,
+                        `${indent(4)}i32.const 3`,
+                        `${indent(4)}i32.eq`,
+                        `${indent(4)}if`,
+                        `${indent(6)}local.get $value`,
+                        `${indent(6)}call $${getHostBuiltinErrorToDynamicHelperName()}`,
+                        `${indent(6)}local.set $value__error_object`,
+                        `${indent(6)}local.get $value__error_object`,
+                        `${indent(6)}call $tag_heap_object`,
+                        `${indent(6)}local.set $value__host_tagged`,
+                        `${indent(6)}br $value__host_bridge_done`,
+                        `${indent(4)}end`,
+                        `${indent(2)}end`,
+                        ...emitHostTaggedPrimitiveExternrefToTagged('value', 'value__host_tag', 'value__host_tagged', hostPromiseBridgeKinds, 2, indent),
+                        `${indent(2)}local.set $value__host_tagged`,
+                        `${indent(2)}br $value__host_bridge_done`,
+                        `${indent(1)}end`,
+                        `${indent(1)}local.get $value__host_tagged`,
+                    ]
+                    : emitHostTaggedPrimitiveExternrefToTagged('value', 'value__host_tag', 'value__host_tagged', hostPromiseBridgeKinds, 1, indent)),
+                `${indent(1)}local.set $value__host_tagged`,
+                `${indent(1)}local.get $promise`,
+                `${indent(1)}local.get $done`,
+                `${indent(1)}local.get $value__host_tagged`,
+                `${indent(1)}call $${SOUNDSCRIPT_ASYNC_GENERATOR_STEP_BRIDGE_FULFILL_TAGGED_HELPER_NAME}`,
+                ')',
+                `(func $${SOUNDSCRIPT_ASYNC_GENERATOR_STEP_BRIDGE_FULFILL_STRING_ARRAY_EXPORT_NAME} (export "${SOUNDSCRIPT_ASYNC_GENERATOR_STEP_BRIDGE_FULFILL_STRING_ARRAY_EXPORT_NAME}") (param $promise (ref null eq)) (param $done i32) (param $value externref)`,
+                `${indent(1)}local.get $promise`,
+                `${indent(1)}local.get $done`,
+                `${indent(1)}local.get $value`,
+                `${indent(1)}call $host_array_to_owned_string_array`,
+                `${indent(1)}call $tag_heap_object`,
+                `${indent(1)}call $${SOUNDSCRIPT_ASYNC_GENERATOR_STEP_BRIDGE_FULFILL_TAGGED_HELPER_NAME}`,
+                ')',
+                `(func $${SOUNDSCRIPT_ASYNC_GENERATOR_STEP_BRIDGE_FULFILL_NUMBER_ARRAY_EXPORT_NAME} (export "${SOUNDSCRIPT_ASYNC_GENERATOR_STEP_BRIDGE_FULFILL_NUMBER_ARRAY_EXPORT_NAME}") (param $promise (ref null eq)) (param $done i32) (param $value externref)`,
+                `${indent(1)}local.get $promise`,
+                `${indent(1)}local.get $done`,
+                `${indent(1)}local.get $value`,
+                `${indent(1)}call $host_array_to_owned_number_array`,
+                `${indent(1)}call $tag_heap_object`,
+                `${indent(1)}call $${SOUNDSCRIPT_ASYNC_GENERATOR_STEP_BRIDGE_FULFILL_TAGGED_HELPER_NAME}`,
+                ')',
+                `(func $${SOUNDSCRIPT_ASYNC_GENERATOR_STEP_BRIDGE_FULFILL_BOOLEAN_ARRAY_EXPORT_NAME} (export "${SOUNDSCRIPT_ASYNC_GENERATOR_STEP_BRIDGE_FULFILL_BOOLEAN_ARRAY_EXPORT_NAME}") (param $promise (ref null eq)) (param $done i32) (param $value externref)`,
+                `${indent(1)}local.get $promise`,
+                `${indent(1)}local.get $done`,
+                `${indent(1)}local.get $value`,
+                `${indent(1)}call $host_array_to_owned_boolean_array`,
+                `${indent(1)}call $tag_heap_object`,
+                `${indent(1)}call $${SOUNDSCRIPT_ASYNC_GENERATOR_STEP_BRIDGE_FULFILL_TAGGED_HELPER_NAME}`,
+                ')',
+                `(func $${SOUNDSCRIPT_ASYNC_GENERATOR_STEP_BRIDGE_FULFILL_TAGGED_ARRAY_EXPORT_NAME} (export "${SOUNDSCRIPT_ASYNC_GENERATOR_STEP_BRIDGE_FULFILL_TAGGED_ARRAY_EXPORT_NAME}") (param $promise (ref null eq)) (param $done i32) (param $value externref)`,
+                `${indent(1)}local.get $promise`,
+                `${indent(1)}local.get $done`,
+                `${indent(1)}local.get $value`,
+                `${indent(1)}call $${getHostArrayToOwnedTaggedArrayHelperName(ASYNC_GENERATOR_HOST_TAGGED_ARRAY_BRIDGE_KINDS)}`,
+                `${indent(1)}call $tag_heap_object`,
+                `${indent(1)}call $${SOUNDSCRIPT_ASYNC_GENERATOR_STEP_BRIDGE_FULFILL_TAGGED_HELPER_NAME}`,
+                ')',
+            ]
+            : []),
+        ...(usesHostErrorBridge
             ? [
                 `(func $${getHostBuiltinErrorToDynamicHelperName()} (param $value externref) (result (ref null $${layout.watTypeId}))`,
+                `${indent(1)}(local $name externref)`,
+                `${indent(1)}(local $name_tag i32)`,
                 `${indent(1)}(local $message externref)`,
                 `${indent(1)}(local $message_tag i32)`,
                 `${indent(1)}(local $result (ref null $${layout.watTypeId}))`,
                 `${indent(1)}call $allocate_dynamic_object`,
                 `${indent(1)}local.set $result`,
                 `${indent(1)}local.get $value`,
+                `${indent(1)}call $${getHostObjectImportFunctionName('get_tagged', 'name')}`,
+                `${indent(1)}local.tee $name`,
+                `${indent(1)}call $tagged_type_tag`,
+                `${indent(1)}local.set $name_tag`,
+                `${indent(1)}local.get $value`,
                 `${indent(1)}call $${getHostObjectImportFunctionName('get_tagged', 'message')}`,
                 `${indent(1)}local.tee $message`,
                 `${indent(1)}call $tagged_type_tag`,
@@ -12194,13 +12744,31 @@ function emitPromiseRuntimeHelpers(module, layout, stringLayout) {
                 `${indent(1)}if`,
                 `${indent(2)}local.get $result`,
                 `${indent(2)}call $owned_string_literal_${builtinErrorBrandKeyLiteralId}`,
-                `${indent(2)}call $owned_string_literal_${builtinErrorLiteralId}`,
-                `${indent(2)}call $tag_string`,
+                `${indent(2)}local.get $name_tag`,
+                `${indent(2)}i32.const 3`,
+                `${indent(2)}i32.eq`,
+                `${indent(2)}if (result (ref null $tagged_value))`,
+                `${indent(3)}local.get $name`,
+                `${indent(3)}call $string_to_owned`,
+                `${indent(3)}call $tag_string`,
+                `${indent(2)}else`,
+                `${indent(3)}call $owned_string_literal_${builtinErrorLiteralId}`,
+                `${indent(3)}call $tag_string`,
+                `${indent(2)}end`,
                 `${indent(2)}call $set_dynamic_object_property`,
                 `${indent(2)}local.get $result`,
                 `${indent(2)}call $owned_string_literal_${builtinErrorNameLiteralId}`,
-                `${indent(2)}call $owned_string_literal_${builtinErrorLiteralId}`,
-                `${indent(2)}call $tag_string`,
+                `${indent(2)}local.get $name_tag`,
+                `${indent(2)}i32.const 3`,
+                `${indent(2)}i32.eq`,
+                `${indent(2)}if (result (ref null $tagged_value))`,
+                `${indent(3)}local.get $name`,
+                `${indent(3)}call $string_to_owned`,
+                `${indent(3)}call $tag_string`,
+                `${indent(2)}else`,
+                `${indent(3)}call $owned_string_literal_${builtinErrorLiteralId}`,
+                `${indent(3)}call $tag_string`,
+                `${indent(2)}end`,
                 `${indent(2)}call $set_dynamic_object_property`,
                 `${indent(2)}local.get $result`,
                 `${indent(2)}call $owned_string_literal_${builtinErrorMessageLiteralId}`,
@@ -12219,6 +12787,55 @@ function emitPromiseRuntimeHelpers(module, layout, stringLayout) {
                 `${indent(1)}(local $message_tagged (ref null $tagged_value))`,
                 `${indent(1)}(local $message_tag i32)`,
                 `${indent(1)}(local $message_value externref)`,
+                ...(usesAsyncGeneratorHostStepBridge
+                    ? [
+                        `${indent(1)}(local $done_tagged (ref null $tagged_value))`,
+                        `${indent(1)}(local $done_tag i32)`,
+                        `${indent(1)}(local $done_value externref)`,
+                        `${indent(1)}(local $value_tagged (ref null $tagged_value))`,
+                        `${indent(1)}(local $value_value externref)`,
+                    ]
+                    : []),
+                ...(usesAsyncGeneratorHostStepBridge
+                    ? [
+                        `${indent(1)}local.get $value`,
+                        `${indent(1)}call $owned_string_literal_${iteratorResultDoneLiteralId}`,
+                        `${indent(1)}call $get_dynamic_object_property`,
+                        `${indent(1)}local.tee $done_tagged`,
+                        `${indent(1)}struct.get $tagged_value 0`,
+                        `${indent(1)}local.set $done_tag`,
+                        `${indent(1)}local.get $done_tag`,
+                        `${indent(1)}i32.const 1`,
+                        `${indent(1)}i32.eq`,
+                        `${indent(1)}if`,
+                        `${indent(2)}call $host_object_empty`,
+                        `${indent(2)}local.set $result`,
+                        `${indent(2)}local.get $value`,
+                        `${indent(2)}call $owned_string_literal_${iteratorResultValueLiteralId}`,
+                        `${indent(2)}call $get_dynamic_object_property`,
+                        `${indent(2)}local.set $value_tagged`,
+                        `${indent(2)}local.get $value_tagged`,
+                        `${indent(2)}call $${SOUNDSCRIPT_ASYNC_GENERATOR_TAGGED_TO_HOST_HELPER_NAME}`,
+                        `${indent(2)}local.set $value_value`,
+                        `${indent(2)}local.get $result`,
+                        `${indent(2)}local.get $value_value`,
+                        `${indent(2)}call $${getHostObjectImportFunctionName('set_tagged', 'value')}`,
+                        ...emitTaggedPrimitiveToHostExternref('done_tagged', 'done_tag', 'done_value', {
+                            includesBoolean: true,
+                            includesNull: false,
+                            includesNumber: false,
+                            includesString: false,
+                            includesUndefined: false,
+                        }, 2, indent),
+                        `${indent(2)}local.set $done_value`,
+                        `${indent(2)}local.get $result`,
+                        `${indent(2)}local.get $done_value`,
+                        `${indent(2)}call $${getHostObjectImportFunctionName('set_tagged', 'done')}`,
+                        `${indent(2)}local.get $result`,
+                        `${indent(2)}return`,
+                        `${indent(1)}end`,
+                    ]
+                    : []),
                 `${indent(1)}call $host_object_empty`,
                 `${indent(1)}local.set $result`,
                 `${indent(1)}local.get $value`,
@@ -12272,6 +12889,124 @@ function emitPromiseRuntimeHelpers(module, layout, stringLayout) {
             : []),
     ];
 }
+function emitHostBuiltinErrorBridgeHelpers(module, layout) {
+    const usesHostErrorBridge = moduleUsesHostPromiseParamBridge(module) ||
+        moduleUsesHostPromiseResultBridge(module) ||
+        moduleUsesGeneratorStepClosureHostBridge(module) ||
+        moduleUsesSyncTryCatchRuntime(module) ||
+        (moduleUsesTaggedThrowRuntime(module) && moduleUsesBuiltinErrorRuntime(module));
+    if (!usesHostErrorBridge || !layout || moduleUsesPromiseRuntime(module)) {
+        return [];
+    }
+    const stringLiteralIdsByText = createStringLiteralIds(module);
+    const builtinErrorBrandKeyLiteralId = getRequiredStringLiteralId(stringLiteralIdsByText, SOUNDSCRIPT_BUILTIN_ERROR_INTERNAL_BRAND_KEY);
+    const builtinErrorNameLiteralId = getRequiredStringLiteralId(stringLiteralIdsByText, 'name');
+    const builtinErrorMessageLiteralId = getRequiredStringLiteralId(stringLiteralIdsByText, 'message');
+    const builtinErrorLiteralId = getRequiredStringLiteralId(stringLiteralIdsByText, 'Error');
+    return [
+        `(func $${getHostBuiltinErrorToDynamicHelperName()} (param $value externref) (result (ref null $${layout.watTypeId}))`,
+        `${indent(1)}(local $name externref)`,
+        `${indent(1)}(local $name_tag i32)`,
+        `${indent(1)}(local $message externref)`,
+        `${indent(1)}(local $message_tag i32)`,
+        `${indent(1)}(local $result (ref null $${layout.watTypeId}))`,
+        `${indent(1)}call $allocate_dynamic_object`,
+        `${indent(1)}local.set $result`,
+        `${indent(1)}local.get $value`,
+        `${indent(1)}call $${getHostObjectImportFunctionName('get_tagged', 'name')}`,
+        `${indent(1)}local.tee $name`,
+        `${indent(1)}call $tagged_type_tag`,
+        `${indent(1)}local.set $name_tag`,
+        `${indent(1)}local.get $value`,
+        `${indent(1)}call $${getHostObjectImportFunctionName('get_tagged', 'message')}`,
+        `${indent(1)}local.tee $message`,
+        `${indent(1)}call $tagged_type_tag`,
+        `${indent(1)}local.set $message_tag`,
+        `${indent(1)}local.get $message_tag`,
+        `${indent(1)}i32.const 3`,
+        `${indent(1)}i32.eq`,
+        `${indent(1)}if`,
+        `${indent(2)}local.get $result`,
+        `${indent(2)}call $owned_string_literal_${builtinErrorBrandKeyLiteralId}`,
+        `${indent(2)}local.get $name_tag`,
+        `${indent(2)}i32.const 3`,
+        `${indent(2)}i32.eq`,
+        `${indent(2)}if (result (ref null $tagged_value))`,
+        `${indent(3)}local.get $name`,
+        `${indent(3)}call $string_to_owned`,
+        `${indent(3)}call $tag_string`,
+        `${indent(2)}else`,
+        `${indent(3)}call $owned_string_literal_${builtinErrorLiteralId}`,
+        `${indent(3)}call $tag_string`,
+        `${indent(2)}end`,
+        `${indent(2)}call $set_dynamic_object_property`,
+        `${indent(2)}local.get $result`,
+        `${indent(2)}call $owned_string_literal_${builtinErrorNameLiteralId}`,
+        `${indent(2)}local.get $name_tag`,
+        `${indent(2)}i32.const 3`,
+        `${indent(2)}i32.eq`,
+        `${indent(2)}if (result (ref null $tagged_value))`,
+        `${indent(3)}local.get $name`,
+        `${indent(3)}call $string_to_owned`,
+        `${indent(3)}call $tag_string`,
+        `${indent(2)}else`,
+        `${indent(3)}call $owned_string_literal_${builtinErrorLiteralId}`,
+        `${indent(3)}call $tag_string`,
+        `${indent(2)}end`,
+        `${indent(2)}call $set_dynamic_object_property`,
+        `${indent(2)}local.get $result`,
+        `${indent(2)}call $owned_string_literal_${builtinErrorMessageLiteralId}`,
+        `${indent(2)}local.get $message`,
+        `${indent(2)}call $string_to_owned`,
+        `${indent(2)}call $tag_string`,
+        `${indent(2)}call $set_dynamic_object_property`,
+        `${indent(1)}end`,
+        `${indent(1)}local.get $result`,
+        ')',
+        `(func $${getHostDynamicBuiltinErrorHelperName()} (param $value (ref null $${layout.watTypeId})) (result externref)`,
+        `${indent(1)}(local $result externref)`,
+        `${indent(1)}(local $name_tagged (ref null $tagged_value))`,
+        `${indent(1)}(local $name_tag i32)`,
+        `${indent(1)}(local $name_value externref)`,
+        `${indent(1)}(local $message_tagged (ref null $tagged_value))`,
+        `${indent(1)}(local $message_tag i32)`,
+        `${indent(1)}(local $message_value externref)`,
+        `${indent(1)}call $host_object_empty`,
+        `${indent(1)}local.set $result`,
+        `${indent(1)}local.get $value`,
+        `${indent(1)}call $owned_string_literal_${builtinErrorNameLiteralId}`,
+        `${indent(1)}call $get_dynamic_object_property`,
+        `${indent(1)}local.set $name_tagged`,
+        ...emitTaggedPrimitiveToHostExternref('name_tagged', 'name_tag', 'name_value', {
+            includesBoolean: false,
+            includesNull: false,
+            includesNumber: false,
+            includesString: true,
+            includesUndefined: true,
+        }, 1, indent),
+        `${indent(1)}local.set $name_value`,
+        `${indent(1)}local.get $result`,
+        `${indent(1)}local.get $name_value`,
+        `${indent(1)}call $${getHostObjectImportFunctionName('set_tagged', 'name')}`,
+        `${indent(1)}local.get $value`,
+        `${indent(1)}call $owned_string_literal_${builtinErrorMessageLiteralId}`,
+        `${indent(1)}call $get_dynamic_object_property`,
+        `${indent(1)}local.set $message_tagged`,
+        ...emitTaggedPrimitiveToHostExternref('message_tagged', 'message_tag', 'message_value', {
+            includesBoolean: false,
+            includesNull: false,
+            includesNumber: false,
+            includesString: true,
+            includesUndefined: true,
+        }, 1, indent),
+        `${indent(1)}local.set $message_value`,
+        `${indent(1)}local.get $result`,
+        `${indent(1)}local.get $message_value`,
+        `${indent(1)}call $${getHostObjectImportFunctionName('set_tagged', 'message')}`,
+        `${indent(1)}local.get $result`,
+        ')',
+    ];
+}
 function collectSpecializedAllocationsByLocal(operations) {
     const allocationsByLocal = new Map();
     operations.forEach((operation, index) => {
@@ -12552,7 +13287,8 @@ function inferHeapLocalRepresentations(func, operations, dynamicAllocationsByLoc
                 case 'list_dynamic_object_entries':
                 case 'copy_dynamic_object_entries':
                 case 'set_dynamic_object_property':
-                    if (operation.kind !== 'copy_dynamic_object_entries' && heapLocalNames.has(operation.objectName)) {
+                    if (operation.kind !== 'copy_dynamic_object_entries' &&
+                        heapLocalNames.has(operation.objectName)) {
                         heapLocalRepresentations.set(operation.objectName, {
                             kind: 'dynamic',
                             layout: dynamicObjectLayout,
@@ -12643,7 +13379,8 @@ function inferHeapLocalRepresentations(func, operations, dynamicAllocationsByLoc
                         break;
                     }
                     const dynamicAllocations = dynamicAllocationsByLocal.get(statement.name);
-                    const nextDynamicAllocationIndex = dynamicAllocationIndexesByLocal.get(statement.name) ?? 0;
+                    const nextDynamicAllocationIndex = dynamicAllocationIndexesByLocal.get(statement.name) ??
+                        0;
                     const dynamicAllocation = dynamicAllocations?.[nextDynamicAllocationIndex];
                     if (dynamicAllocation) {
                         if (!dynamicObjectLayout) {
@@ -12720,7 +13457,8 @@ function inferHeapLocalRepresentations(func, operations, dynamicAllocationsByLoc
                     if (statement.value.callee === '__soundscript_promise_new_pending' ||
                         statement.value.callee === '__soundscript_promise_resolve' ||
                         statement.value.callee === '__soundscript_promise_reject' ||
-                        statement.value.callee === '__soundscript_promise_then') {
+                        statement.value.callee === '__soundscript_promise_then' ||
+                        statement.value.callee === SOUNDSCRIPT_ASYNC_GENERATOR_STEP_HELPER_NAME) {
                         if (!dynamicObjectLayout) {
                             throw createUnsupportedHeapRuntimeBackendError(`Missing dynamic-object layout metadata for Promise helper ${statement.value.callee}.`);
                         }
@@ -12878,6 +13616,7 @@ function functionUsesOwnedStringArrayLiteralRuntime(func) {
             }
             switch (statement.kind) {
                 case 'expression':
+                case 'box_set':
                 case 'local_set':
                 case 'return':
                 case 'specialized_object_field_set':
@@ -12926,6 +13665,7 @@ function functionUsesOwnedHeapArrayLiteralRuntime(func) {
             }
             switch (statement.kind) {
                 case 'expression':
+                case 'box_set':
                 case 'local_set':
                 case 'return':
                 case 'specialized_object_field_set':
@@ -12974,6 +13714,7 @@ function functionUsesOwnedNumberArrayLiteralRuntime(func) {
             }
             switch (statement.kind) {
                 case 'expression':
+                case 'box_set':
                 case 'local_set':
                 case 'return':
                 case 'specialized_object_field_set':
@@ -13022,6 +13763,7 @@ function functionUsesOwnedBooleanArrayLiteralRuntime(func) {
             }
             switch (statement.kind) {
                 case 'expression':
+                case 'box_set':
                 case 'local_set':
                 case 'return':
                 case 'specialized_object_field_set':
@@ -13070,6 +13812,7 @@ function functionUsesOwnedTaggedArrayLiteralRuntime(func) {
             }
             switch (statement.kind) {
                 case 'expression':
+                case 'box_set':
                 case 'local_set':
                 case 'return':
                 case 'specialized_object_field_set':
@@ -13123,9 +13866,8 @@ function createFunctionBackendRuntimeContext(func, functionsByName, runtime, lay
         operation.kind === 'set_dynamic_object_property') ||
         (func.heapParamRepresentations ?? []).some((boundary) => boundary.representation.kind === 'dynamic_object_representation') ||
         (func.heapLocalRepresentations ?? []).some((boundary) => boundary.representation.kind === 'dynamic_object_representation') ||
-        func.heapResultRepresentation?.kind === 'dynamic_object_representation'
-        ||
-            statementsUseStringHelper(func.body, isPromiseRuntimeHelperCall))
+        func.heapResultRepresentation?.kind === 'dynamic_object_representation' ||
+        statementsUseStringHelper(func.body, isPromiseRuntimeHelperCall))
         ? getDynamicObjectLayout(runtime)
         : undefined;
     const heapLocalNames = new Set([
@@ -15293,7 +16035,8 @@ function emitStatement(statement, level, labelCounter, runtime) {
                         const specializedAllocation = runtime.specializedAllocationsByLocal.get(statement.name)?.[runtime.specializedAllocationOpIndexesByLocal.get(statement.name) ?? 0];
                         if (specializedAllocation) {
                             const sourceRepresentation = getLayoutForRepresentationName(specializedAllocation.operation.representation.name, runtime.layoutsByRepresentationName);
-                            const scratchLocalName = runtime.specializedCallResultScratchLocalsByRepresentationName.get(specializedAllocation.operation.representation.name);
+                            const scratchLocalName = runtime
+                                .specializedCallResultScratchLocalsByRepresentationName.get(specializedAllocation.operation.representation.name);
                             if (!scratchLocalName) {
                                 throw createUnsupportedHeapRuntimeBackendError(`Missing specialized allocation scratch local for ${specializedAllocation.operation.representation.name}.`);
                             }
@@ -15521,15 +16264,14 @@ function emitStatement(statement, level, labelCounter, runtime) {
                 ...emitExpression(statement.value, level, runtime),
                 `${indent(level)}array.set $owned_tagged_array_data`,
             ];
-        case 'specialized_object_field_set':
-            {
-                const layout = getLayoutForRepresentationName(statement.representation.name, runtime.layoutsByRepresentationName);
-                return [
-                    `${indent(level)}local.get $${statement.objectName}`,
-                    ...emitExpression(statement.value, level, runtime),
-                    `${indent(level)}struct.set $${layout.watTypeId} ${getSpecializedObjectFieldSlotIndex(layout, statement.fieldIndex)}`,
-                ];
-            }
+        case 'specialized_object_field_set': {
+            const layout = getLayoutForRepresentationName(statement.representation.name, runtime.layoutsByRepresentationName);
+            return [
+                `${indent(level)}local.get $${statement.objectName}`,
+                ...emitExpression(statement.value, level, runtime),
+                `${indent(level)}struct.set $${layout.watTypeId} ${getSpecializedObjectFieldSlotIndex(layout, statement.fieldIndex)}`,
+            ];
+        }
         case 'box_set':
             return [
                 ...emitExpression(statement.box, level, runtime),
@@ -15544,6 +16286,14 @@ function emitStatement(statement, level, labelCounter, runtime) {
                 ...emitExpression(statement.value, level, runtime),
                 `${indent(level)}call $set_dynamic_object_property`,
             ];
+        case 'throw_tagged':
+            return [
+                ...emitExpression(statement.value, level, runtime),
+                `${indent(level)}call $${SOUNDSCRIPT_THROW_TAGGED_HELPER_NAME}`,
+                `${indent(level)}unreachable`,
+            ];
+        case 'trap':
+            return [`${indent(level)}unreachable`];
         case 'return':
             if (runtime.currentFunction.resultType === 'heap_ref' &&
                 runtime.currentFunction.heapResultRepresentation?.kind ===
@@ -15989,7 +16739,8 @@ function emitInternalClosureTaggedPrimitiveAndHeapToHost(taggedLocalName, tagLoc
         `${indent(level + 3)}local.get $${taggedLocalName}`,
         `${indent(level + 3)}call $untag_heap_object`,
         `${indent(level + 3)}ref.cast ${heapRepresentation.kind === 'specialized_object_representation'
-            ? `(ref null $${getLayoutForRepresentationName(heapRepresentation.name, layoutsByRepresentationName).watTypeId})`
+            ? `(ref null $${getLayoutForRepresentationName(heapRepresentation.name, layoutsByRepresentationName)
+                .watTypeId})`
             : heapRepresentation.kind === 'dynamic_object_representation'
                 ? `(ref null $${dynamicObjectLayout?.watTypeId ??
                     (() => {
@@ -16036,7 +16787,9 @@ function emitHostClosureBoundaryParamToInternal(valueType, closureSignatureId, t
                 `${indent(level)}local.get $${localName}`,
                 `${indent(level)}call $${heapRepresentation.kind === 'specialized_object_representation'
                     ? getHostObjectToSpecializedHelperName(getLayoutForRepresentationName(heapRepresentation.name, layoutsByRepresentationName))
-                    : getHostObjectToFallbackHelperName()}`,
+                    : heapRepresentation.kind === 'dynamic_object_representation'
+                        ? getHostBuiltinErrorToDynamicHelperName()
+                        : getHostObjectToFallbackHelperName()}`,
             ];
         case 'owned_heap_array_ref':
             if (!heapArrayRepresentation) {
@@ -16097,7 +16850,8 @@ function emitInternalClosureBoundaryParamToHost(valueType, closureSignatureId, t
             return [
                 `${indent(level)}local.get $${localName}`,
                 `${indent(level)}ref.cast ${heapRepresentation.kind === 'specialized_object_representation'
-                    ? `(ref null $${getLayoutForRepresentationName(heapRepresentation.name, layoutsByRepresentationName).watTypeId})`
+                    ? `(ref null $${getLayoutForRepresentationName(heapRepresentation.name, layoutsByRepresentationName)
+                        .watTypeId})`
                     : `(ref null $${fallbackObjectLayout?.watTypeId ??
                         (() => {
                             throw createUnsupportedHeapRuntimeBackendError('Missing fallback object layout for internal-to-host closure param.');
@@ -16172,13 +16926,17 @@ function emitHostClosureBoundaryResultToInternal(valueType, resultClassConstruct
             return [
                 `${indent(level)}call $${heapRepresentation.kind === 'specialized_object_representation'
                     ? getHostObjectToSpecializedHelperName(getLayoutForRepresentationName(heapRepresentation.name, layoutsByRepresentationName))
-                    : getHostObjectToFallbackHelperName()}`,
+                    : heapRepresentation.kind === 'dynamic_object_representation'
+                        ? getHostBuiltinErrorToDynamicHelperName()
+                        : getHostObjectToFallbackHelperName()}`,
             ];
         case 'owned_heap_array_ref':
             if (!heapArrayRepresentation) {
                 throw new Error('Missing heap-array representation for host-to-internal closure result.');
             }
-            return [`${indent(level)}call $${getHostArrayToOwnedHeapArrayHelperName(heapArrayRepresentation)}`];
+            return [
+                `${indent(level)}call $${getHostArrayToOwnedHeapArrayHelperName(heapArrayRepresentation)}`,
+            ];
         case 'owned_array_ref':
             return [`${indent(level)}call $host_array_to_owned_string_array`];
         case 'owned_number_array_ref':
@@ -16205,7 +16963,7 @@ function emitHostClosureBoundaryResultToInternal(valueType, resultClassConstruct
             return [];
     }
 }
-function emitInternalClosureBoundaryResultToHost(valueType, resultClassConstructorTagId, closureSignatureId, taggedKinds, heapRepresentation, heapArrayRepresentation, level, layoutsByRepresentationName, fallbackObjectLayout) {
+function emitInternalClosureBoundaryResultToHost(valueType, resultClassConstructorTagId, closureSignatureId, taggedKinds, heapRepresentation, heapArrayRepresentation, level, layoutsByRepresentationName, fallbackObjectLayout, dynamicObjectLayout) {
     if (resultClassConstructorTagId !== undefined) {
         return [
             `${indent(level)}drop`,
@@ -16226,20 +16984,30 @@ function emitInternalClosureBoundaryResultToHost(valueType, resultClassConstruct
             }
             return [
                 `${indent(level)}ref.cast ${heapRepresentation.kind === 'specialized_object_representation'
-                    ? `(ref null $${getLayoutForRepresentationName(heapRepresentation.name, layoutsByRepresentationName).watTypeId})`
-                    : `(ref null $${fallbackObjectLayout?.watTypeId ??
-                        (() => {
-                            throw createUnsupportedHeapRuntimeBackendError('Missing fallback object layout for internal-to-host closure result.');
-                        })()})`}`,
+                    ? `(ref null $${getLayoutForRepresentationName(heapRepresentation.name, layoutsByRepresentationName)
+                        .watTypeId})`
+                    : heapRepresentation.kind === 'dynamic_object_representation'
+                        ? `(ref null $${dynamicObjectLayout?.watTypeId ??
+                            (() => {
+                                throw createUnsupportedHeapRuntimeBackendError('Missing dynamic object layout for internal-to-host closure result.');
+                            })()})`
+                        : `(ref null $${fallbackObjectLayout?.watTypeId ??
+                            (() => {
+                                throw createUnsupportedHeapRuntimeBackendError('Missing fallback object layout for internal-to-host closure result.');
+                            })()})`}`,
                 `${indent(level)}call $${heapRepresentation.kind === 'specialized_object_representation'
                     ? getSpecializedObjectToHostHelperName(getLayoutForRepresentationName(heapRepresentation.name, layoutsByRepresentationName))
-                    : getFallbackObjectToHostHelperName()}`,
+                    : heapRepresentation.kind === 'dynamic_object_representation'
+                        ? getHostDynamicBuiltinErrorHelperName()
+                        : getFallbackObjectToHostHelperName()}`,
             ];
         case 'owned_heap_array_ref':
             if (!heapArrayRepresentation) {
                 throw new Error('Missing heap-array representation for internal-to-host closure result.');
             }
-            return [`${indent(level)}call $${getOwnedHeapArrayToHostHelperName(heapArrayRepresentation)}`];
+            return [
+                `${indent(level)}call $${getOwnedHeapArrayToHostHelperName(heapArrayRepresentation)}`,
+            ];
         case 'owned_array_ref':
             return [`${indent(level)}call $owned_string_array_to_host_array`];
         case 'owned_number_array_ref':
@@ -16255,7 +17023,7 @@ function emitInternalClosureBoundaryResultToHost(valueType, resultClassConstruct
             if (heapRepresentation) {
                 return [
                     `${indent(level)}local.set $result__host_tagged`,
-                    ...emitInternalClosureTaggedPrimitiveAndHeapToHost('result__host_tagged', 'result__host_tag', 'result__host_value', taggedKinds, heapRepresentation, level, layoutsByRepresentationName, fallbackObjectLayout),
+                    ...emitInternalClosureTaggedPrimitiveAndHeapToHost('result__host_tagged', 'result__host_tag', 'result__host_value', taggedKinds, heapRepresentation, level, layoutsByRepresentationName, fallbackObjectLayout, dynamicObjectLayout),
                 ];
             }
             return [
@@ -16293,6 +17061,8 @@ function functionNeedsHostExportWrapper(func, moduleUsesPromiseRuntime = false)
         func.hostClassConstructorResultTagId !== undefined ||
         (func.hostClosureParams?.length ?? 0) > 0 ||
         func.hostClosureResultSignatureId !== undefined ||
+        func.hostGeneratorResult === true ||
+        func.hostAsyncGeneratorResult === true ||
         (func.hostDynamicCollectionParams?.length ?? 0) > 0 ||
         (func.hostTaggedPrimitiveParams?.length ?? 0) > 0 ||
         func.hostTaggedPrimitiveResultKinds !== undefined ||
@@ -16313,7 +17083,8 @@ function functionNeedsHostExportWrapper(func, moduleUsesPromiseRuntime = false)
         func.resultType === 'owned_number_array_ref' ||
         func.resultType === 'owned_boolean_array_ref' ||
         func.resultType === 'owned_tagged_array_ref' ||
-        (func.resultType === 'owned_heap_array_ref' && func.hostHeapArrayResultRepresentation !== undefined);
+        (func.resultType === 'owned_heap_array_ref' &&
+            func.hostHeapArrayResultRepresentation !== undefined);
 }
 function getHostWrapperRawResultWatType(func, runtime) {
     if (func.hostClassConstructorResultTagId !== undefined) {
@@ -16964,7 +17735,7 @@ function emitHostTaggedPrimitiveAndHeapResultAdaptation(kinds, boundary, objectP
         `${indent(level)}local.get $result__host_value`,
     ];
 }
-function emitHostExportWrapper(func, runtime, moduleUsesPromiseRuntime = false) {
+function emitHostExportWrapper(module, func, runtime, moduleUsesPromiseRuntime = false) {
     if (func.exportName.length === 0 || !functionNeedsHostExportWrapper(func, moduleUsesPromiseRuntime)) {
         return [];
     }
@@ -16987,6 +17758,15 @@ function emitHostExportWrapper(func, runtime, moduleUsesPromiseRuntime = false)
     const objectParamBoundaries = getHostAdaptableSpecializedObjectParamBoundaries(func, runtime.layoutsByRepresentationName);
     const objectParamBoundariesByName = new Map(objectParamBoundaries.map((boundary) => [boundary.name, boundary.representation]));
     const hostObjectResultRepresentation = getHostAdaptableSpecializedObjectResultRepresentation(func, runtime.layoutsByRepresentationName);
+    const generatorStepSignature = func.hostGeneratorResult || func.hostAsyncGeneratorResult
+        ? getGeneratorStepClosureSignature(module)
+        : undefined;
+    const generatorStepKeyLiteralId = func.hostGeneratorResult || func.hostAsyncGeneratorResult
+        ? getRequiredStringLiteralId(createStringLiteralIds(module), SOUNDSCRIPT_GENERATOR_INTERNAL_STEP_KEY)
+        : undefined;
+    if ((func.hostGeneratorResult || func.hostAsyncGeneratorResult) && !generatorStepSignature) {
+        throw new Error('Missing generator step signature for generator export wrapper.');
+    }
     const taggedHeapNullableSpecializedParamBoundaries = getHostTaggedHeapNullableSpecializedParamBoundaries(func, runtime.layoutsByRepresentationName);
     const taggedHeapNullableSpecializedResultBoundary = getHostTaggedHeapNullableSpecializedResultRepresentation(func, runtime.layoutsByRepresentationName);
     const fallbackObjectParamBoundaryNames = getHostFallbackObjectParamBoundaryNames(func);
@@ -17001,7 +17781,8 @@ function emitHostExportWrapper(func, runtime, moduleUsesPromiseRuntime = false)
         ...objectParamBoundaries,
         ...taggedHeapNullableSpecializedParamBoundaries.map((boundary) => ({
             name: boundary.name,
-            representation: boundary.boundary.representation,
+            representation: boundary.boundary
+                .representation,
         })),
     ];
     const allFallbackObjectParamBoundaryNames = [
@@ -17029,14 +17810,19 @@ function emitHostExportWrapper(func, runtime, moduleUsesPromiseRuntime = false)
         }
     }
     const needsOwnedHeapArrayParamSync = heapArrayParamBoundaries.length > 0;
-    const needsOwnedArrayParamSync = ownedArrayParamKinds.length > 0 || ownedTaggedArrayParamKinds.length > 0;
+    const needsOwnedArrayParamSync = ownedArrayParamKinds.length > 0 ||
+        ownedTaggedArrayParamKinds.length > 0;
     const needsObjectParamSync = objectParamBoundaries.length > 0;
     const needsFallbackObjectParamSync = fallbackObjectParamBoundaryNames.length > 0;
     const needsTaggedHeapNullableParamSync = (func.hostTaggedHeapNullableParams?.length ?? 0) > 0;
-    const needsHostSyncScratch = moduleUsesPromiseRuntime || needsOwnedHeapArrayParamSync || needsOwnedArrayParamSync || needsObjectParamSync ||
-        needsFallbackObjectParamSync || needsTaggedHeapNullableParamSync || hostObjectResultRepresentation !== undefined ||
+    const needsHostSyncScratch = moduleUsesPromiseRuntime || needsOwnedHeapArrayParamSync ||
+        needsOwnedArrayParamSync || needsObjectParamSync ||
+        needsFallbackObjectParamSync || needsTaggedHeapNullableParamSync ||
+        func.hostGeneratorResult === true || func.hostAsyncGeneratorResult === true ||
+        hostObjectResultRepresentation !== undefined ||
         taggedHeapNullableSpecializedResultBoundary !== undefined || hasFallbackObjectResultBoundary ||
-        hasTaggedHeapNullableFallbackResultBoundary || func.hostHeapArrayResultRepresentation !== undefined;
+        hasTaggedHeapNullableFallbackResultBoundary ||
+        func.hostHeapArrayResultRepresentation !== undefined;
     const header = [
         `(func $${func.name}__export`,
         ` (export "${func.exportName}")`,
@@ -17072,22 +17858,28 @@ function emitHostExportWrapper(func, runtime, moduleUsesPromiseRuntime = false)
                         ? 'externref'
                         : func.hostPromiseResult
                             ? 'externref'
-                            : func.hostLengthViewResult
+                            : func.hostGeneratorResult
                                 ? 'externref'
-                                : hostObjectResultRepresentation || taggedHeapNullableSpecializedResultBoundary
+                                : func.hostAsyncGeneratorResult
                                     ? 'externref'
-                                    : hasFallbackObjectResultBoundary || hasTaggedHeapNullableFallbackResultBoundary
+                                    : func.hostLengthViewResult
                                         ? 'externref'
-                                        : func.resultType === 'owned_array_ref' || func.resultType === 'owned_number_array_ref' ||
-                                            func.resultType === 'owned_boolean_array_ref' || func.resultType === 'owned_tagged_array_ref' ||
-                                            (func.resultType === 'owned_heap_array_ref' && func.hostHeapArrayResultRepresentation !== undefined)
+                                        : hostObjectResultRepresentation || taggedHeapNullableSpecializedResultBoundary
                                             ? 'externref'
-                                            : func.resultType === 'heap_ref'
-                                                ? getHeapBoundaryWatType(func.heapResultRepresentation?.name ??
-                                                    (() => {
-                                                        throw createUnloweredHeapRuntimeBackendError();
-                                                    })(), runtime)
-                                                : getWatValueType(func.resultType)})`,
+                                            : hasFallbackObjectResultBoundary || hasTaggedHeapNullableFallbackResultBoundary
+                                                ? 'externref'
+                                                : func.resultType === 'owned_array_ref' || func.resultType === 'owned_number_array_ref' ||
+                                                    func.resultType === 'owned_boolean_array_ref' ||
+                                                    func.resultType === 'owned_tagged_array_ref' ||
+                                                    (func.resultType === 'owned_heap_array_ref' &&
+                                                        func.hostHeapArrayResultRepresentation !== undefined)
+                                                    ? 'externref'
+                                                    : func.resultType === 'heap_ref'
+                                                        ? getHeapBoundaryWatType(func.heapResultRepresentation?.name ??
+                                                            (() => {
+                                                                throw createUnloweredHeapRuntimeBackendError();
+                                                            })(), runtime)
+                                                        : getWatValueType(func.resultType)})`,
     ].join('');
     const wrapperLocals = [
         ...ownedArrayParamKinds.map(({ name, kind }) => `${indent(1)}(local $${name}__host_owned ${kind === 'string'
@@ -17165,15 +17957,20 @@ function emitHostExportWrapper(func, runtime, moduleUsesPromiseRuntime = false)
                 .filter((objectParam) => priorParamNames.has(objectParam.name))
                 .map((objectParam) => ({
                 name: objectParam.name,
-                representation: objectParam.boundary.representation,
+                representation: objectParam.boundary
+                    .representation,
             }));
             const priorAllSpecializedObjectParams = [
                 ...priorObjectParams,
                 ...priorTaggedHeapNullableSpecializedParams,
             ];
             const priorFallbackParams = fallbackObjectParamBoundaryNames.filter((name) => priorParamNames.has(name));
-            const priorTaggedHeapNullableFallbackParams = taggedHeapNullableFallbackParamBoundaryNames.filter((name) => priorParamNames.has(name));
-            const priorAllFallbackParams = [...priorFallbackParams, ...priorTaggedHeapNullableFallbackParams];
+            const priorTaggedHeapNullableFallbackParams = taggedHeapNullableFallbackParamBoundaryNames
+                .filter((name) => priorParamNames.has(name));
+            const priorAllFallbackParams = [
+                ...priorFallbackParams,
+                ...priorTaggedHeapNullableFallbackParams,
+            ];
             const kinds = taggedPrimitiveParamsByName.get(param.name);
             const taggedHeapNullableBoundary = taggedHeapNullableParamsByName.get(param.name);
             const taggedArrayKinds = taggedArrayParamsByName.get(param.name);
@@ -17242,9 +18039,7 @@ function emitHostExportWrapper(func, runtime, moduleUsesPromiseRuntime = false)
                                                                         : [`${indent(1)}local.get $${param.name}`];
         }),
         `${indent(1)}call $${func.name}`,
-        ...(needsHostSyncScratch
-            ? [`${indent(1)}local.set $result__host_sync_tmp`]
-            : []),
+        ...(needsHostSyncScratch ? [`${indent(1)}local.set $result__host_sync_tmp`] : []),
         ...(moduleUsesPromiseRuntime
             ? [`${indent(1)}call $${SOUNDSCRIPT_PROMISE_DRAIN_HELPER_NAME}`]
             : []),
@@ -17316,6 +18111,8 @@ function emitHostExportWrapper(func, runtime, moduleUsesPromiseRuntime = false)
                 ...(func.hostTaggedPrimitiveResultKinds ||
                     func.hostTaggedHeapNullableResult ||
                     func.hostPromiseResult ||
+                    func.hostGeneratorResult ||
+                    func.hostAsyncGeneratorResult ||
                     func.hostLengthViewResult ||
                     hostObjectResultRepresentation !== undefined ||
                     taggedHeapNullableSpecializedResultBoundary !== undefined ||
@@ -17325,7 +18122,8 @@ function emitHostExportWrapper(func, runtime, moduleUsesPromiseRuntime = false)
                     func.resultType === 'owned_number_array_ref' ||
                     func.resultType === 'owned_boolean_array_ref' ||
                     func.resultType === 'owned_tagged_array_ref' ||
-                    (func.resultType === 'owned_heap_array_ref' && func.hostHeapArrayResultRepresentation !== undefined)
+                    (func.resultType === 'owned_heap_array_ref' &&
+                        func.hostHeapArrayResultRepresentation !== undefined)
                     ? []
                     : [`${indent(1)}local.get $result__host_sync_tmp`]),
             ]
@@ -17360,41 +18158,65 @@ function emitHostExportWrapper(func, runtime, moduleUsesPromiseRuntime = false)
                                 ...(needsHostSyncScratch ? [`${indent(1)}local.get $result__host_sync_tmp`] : []),
                                 `${indent(1)}call ${SOUNDSCRIPT_HOST_PROMISE_TO_HOST_IMPORT_NAME}`,
                             ]
-                            : func.hostLengthViewResult
+                            : func.hostGeneratorResult
                                 ? [
                                     ...(needsHostSyncScratch ? [`${indent(1)}local.get $result__host_sync_tmp`] : []),
-                                    `${indent(1)}call $host_length_view_from_length`,
+                                    `${indent(1)}call $owned_string_literal_${generatorStepKeyLiteralId}`,
+                                    `${indent(1)}call $get_dynamic_object_property`,
+                                    `${indent(1)}call $untag_heap_object`,
+                                    `${indent(1)}ref.cast (ref null $closure)`,
+                                    `${indent(1)}call $host_closure_to_host_${generatorStepSignature.id}`,
+                                    `${indent(1)}call ${SOUNDSCRIPT_HOST_SYNC_GENERATOR_WRAP_IMPORT_NAME}`,
                                 ]
-                                : func.hostClosureResultSignatureId !== undefined
+                                : func.hostAsyncGeneratorResult
                                     ? [
                                         ...(needsHostSyncScratch ? [`${indent(1)}local.get $result__host_sync_tmp`] : []),
-                                        `${indent(1)}call $host_closure_to_host_${func.hostClosureResultSignatureId}`,
+                                        `${indent(1)}call $owned_string_literal_${generatorStepKeyLiteralId}`,
+                                        `${indent(1)}call $get_dynamic_object_property`,
+                                        `${indent(1)}call $untag_heap_object`,
+                                        `${indent(1)}ref.cast (ref null $closure)`,
+                                        `${indent(1)}call $host_closure_to_host_${generatorStepSignature.id}`,
+                                        `${indent(1)}call ${SOUNDSCRIPT_HOST_ASYNC_GENERATOR_WRAP_IMPORT_NAME}`,
                                     ]
-                                    : hostObjectResultRepresentation
-                                        ? emitHostSpecializedObjectResultAdaptation(hostObjectResultRepresentation, allSpecializedObjectParamBoundaries, 1, runtime)
-                                        : hasFallbackObjectResultBoundary
-                                            ? emitHostFallbackObjectResultAdaptation(allFallbackObjectParamBoundaryNames, 1)
-                                            : func.resultType === 'owned_array_ref'
-                                                ? needsHostSyncScratch
-                                                    ? emitHostOwnedArrayResultAdaptation('string', ownedArrayParamKinds, 1)
-                                                    : [`${indent(1)}call $owned_string_array_to_host_array`]
-                                                : func.resultType === 'owned_number_array_ref'
-                                                    ? needsHostSyncScratch
-                                                        ? emitHostOwnedArrayResultAdaptation('number', ownedArrayParamKinds, 1)
-                                                        : [`${indent(1)}call $owned_number_array_to_host_array`]
-                                                    : func.resultType === 'owned_boolean_array_ref'
+                                    : func.hostLengthViewResult
+                                        ? [
+                                            ...(needsHostSyncScratch ? [`${indent(1)}local.get $result__host_sync_tmp`] : []),
+                                            `${indent(1)}call $host_length_view_from_length`,
+                                        ]
+                                        : func.hostClosureResultSignatureId !== undefined
+                                            ? [
+                                                ...(needsHostSyncScratch ? [`${indent(1)}local.get $result__host_sync_tmp`] : []),
+                                                `${indent(1)}call $host_closure_to_host_${func.hostClosureResultSignatureId}`,
+                                            ]
+                                            : hostObjectResultRepresentation
+                                                ? emitHostSpecializedObjectResultAdaptation(hostObjectResultRepresentation, allSpecializedObjectParamBoundaries, 1, runtime)
+                                                : hasFallbackObjectResultBoundary
+                                                    ? emitHostFallbackObjectResultAdaptation(allFallbackObjectParamBoundaryNames, 1)
+                                                    : func.resultType === 'owned_array_ref'
                                                         ? needsHostSyncScratch
-                                                            ? emitHostOwnedArrayResultAdaptation('boolean', ownedArrayParamKinds, 1)
-                                                            : [`${indent(1)}call $owned_boolean_array_to_host_array`]
-                                                        : func.resultType === 'owned_tagged_array_ref' && func.hostTaggedArrayResultKinds
+                                                            ? emitHostOwnedArrayResultAdaptation('string', ownedArrayParamKinds, 1)
+                                                            : [`${indent(1)}call $owned_string_array_to_host_array`]
+                                                        : func.resultType === 'owned_number_array_ref'
                                                             ? needsHostSyncScratch
-                                                                ? emitHostOwnedTaggedArrayResultAdaptation(func.hostTaggedArrayResultKinds, ownedTaggedArrayParamKinds, 1)
-                                                                : [`${indent(1)}call $${getOwnedTaggedArrayToHostHelperName(func.hostTaggedArrayResultKinds)}`]
-                                                            : func.resultType === 'owned_heap_array_ref' && func.hostHeapArrayResultRepresentation
+                                                                ? emitHostOwnedArrayResultAdaptation('number', ownedArrayParamKinds, 1)
+                                                                : [`${indent(1)}call $owned_number_array_to_host_array`]
+                                                            : func.resultType === 'owned_boolean_array_ref'
                                                                 ? needsHostSyncScratch
-                                                                    ? emitHostOwnedHeapArrayResultAdaptation(func.hostHeapArrayResultRepresentation, heapArrayParamBoundaries, 1)
-                                                                    : [`${indent(1)}call $${getOwnedHeapArrayToHostHelperName(func.hostHeapArrayResultRepresentation)}`]
-                                                                : []),
+                                                                    ? emitHostOwnedArrayResultAdaptation('boolean', ownedArrayParamKinds, 1)
+                                                                    : [`${indent(1)}call $owned_boolean_array_to_host_array`]
+                                                                : func.resultType === 'owned_tagged_array_ref' && func.hostTaggedArrayResultKinds
+                                                                    ? needsHostSyncScratch
+                                                                        ? emitHostOwnedTaggedArrayResultAdaptation(func.hostTaggedArrayResultKinds, ownedTaggedArrayParamKinds, 1)
+                                                                        : [
+                                                                            `${indent(1)}call $${getOwnedTaggedArrayToHostHelperName(func.hostTaggedArrayResultKinds)}`,
+                                                                        ]
+                                                                    : func.resultType === 'owned_heap_array_ref' && func.hostHeapArrayResultRepresentation
+                                                                        ? needsHostSyncScratch
+                                                                            ? emitHostOwnedHeapArrayResultAdaptation(func.hostHeapArrayResultRepresentation, heapArrayParamBoundaries, 1)
+                                                                            : [
+                                                                                `${indent(1)}call $${getOwnedHeapArrayToHostHelperName(func.hostHeapArrayResultRepresentation)}`,
+                                                                            ]
+                                                                        : []),
         ')',
     ];
 }
@@ -17448,6 +18270,11 @@ function collectBoxValueTypesFromStatement(statement, used) {
         case 'specialized_object_field_set':
             collectBoxValueTypesFromExpression(statement.value, used);
             return;
+        case 'throw_tagged':
+            collectBoxValueTypesFromExpression(statement.value, used);
+            return;
+        case 'trap':
+            return;
         case 'box_set':
             used.add(statement.valueType);
             collectBoxValueTypesFromExpression(statement.box, used);
@@ -17505,6 +18332,9 @@ function emitClosureRuntimeTypes(module) {
         ...(usedBoxValueTypes.has('owned_string_ref')
             ? ['(type $box_owned_string (struct (field (mut (ref null $string_runtime)))))']
             : []),
+        ...(usedBoxValueTypes.has('owned_heap_array_ref')
+            ? ['(type $box_owned_heap_array (struct (field (mut (ref null $owned_heap_array)))))']
+            : []),
         ...(usedBoxValueTypes.has('owned_array_ref')
             ? ['(type $box_owned_string_array (struct (field (mut (ref null $owned_string_array)))))']
             : []),
@@ -17514,6 +18344,9 @@ function emitClosureRuntimeTypes(module) {
         ...(usedBoxValueTypes.has('owned_boolean_array_ref')
             ? ['(type $box_owned_boolean_array (struct (field (mut (ref null $owned_boolean_array)))))']
             : []),
+        ...(usedBoxValueTypes.has('owned_tagged_array_ref')
+            ? ['(type $box_owned_tagged_array (struct (field (mut (ref null $owned_tagged_array)))))']
+            : []),
         ...(usedBoxValueTypes.has('tagged_ref')
             ? ['(type $box_tagged (struct (field (mut (ref null $tagged_value)))))']
             : []),
@@ -17533,7 +18366,9 @@ function emitClosureCallHelpers(module, layoutsByRepresentationName, fallbackObj
     if (signatures.length === 0) {
         return [];
     }
-    const hostClosureSignatures = new Map(getHostClosureBoundarySignatures(module).map(({ signatureId, signature }) => [signatureId, signature]));
+    const hostClosureSignatures = new Map(getHostClosureBoundarySignatures(module)
+        .filter(({ signatureId }) => signatureId !== module.syncTryCatchClosureSignatureId)
+        .map(({ signatureId, signature }) => [signatureId, signature]));
     const closureFunctionsBySignature = new Map();
     for (const func of module.functions) {
         if (func.closureFunctionId === undefined || func.closureSignatureId === undefined) {
@@ -17648,10 +18483,214 @@ function emitClosureCallHelpers(module, layoutsByRepresentationName, fallbackObj
         ];
     });
 }
-function emitHostClosureInvokeExports(module, layoutsByRepresentationName, fallbackObjectLayout) {
-    return getHostClosureBoundarySignatures(module)
-        .filter(({ needsResultBoundary }) => needsResultBoundary)
+function emitSyncTryCatchHelper(module, layoutsByRepresentationName, dynamicObjectLayout) {
+    const signatureId = module.syncTryCatchClosureSignatureId;
+    if (signatureId === undefined) {
+        return [];
+    }
+    if (!dynamicObjectLayout) {
+        throw createUnsupportedHeapRuntimeBackendError('Sync try/catch helper requires the dynamic object runtime.');
+    }
+    const stringLiteralIdsByText = createStringLiteralIds(module);
+    const builtinErrorBrandKeyLiteralId = getRequiredStringLiteralId(stringLiteralIdsByText, SOUNDSCRIPT_BUILTIN_ERROR_INTERNAL_BRAND_KEY);
+    const builtinErrorLiteralId = getRequiredStringLiteralId(stringLiteralIdsByText, 'Error');
+    const builtinErrorNameLiteralId = getRequiredStringLiteralId(stringLiteralIdsByText, 'name');
+    const builtinErrorMessageLiteralId = getRequiredStringLiteralId(stringLiteralIdsByText, 'message');
+    const syncTryHostBuiltinErrorHelperName = '__soundscript_sync_try_host_builtin_error_to_dynamic';
+    return [
+        `(func $${syncTryHostBuiltinErrorHelperName} (param $value externref) (result (ref null $${dynamicObjectLayout.watTypeId}))`,
+        `${indent(1)}(local $name externref)`,
+        `${indent(1)}(local $name_tag i32)`,
+        `${indent(1)}(local $message externref)`,
+        `${indent(1)}(local $message_tag i32)`,
+        `${indent(1)}(local $result (ref null $${dynamicObjectLayout.watTypeId}))`,
+        `${indent(1)}call $allocate_dynamic_object`,
+        `${indent(1)}local.set $result`,
+        `${indent(1)}local.get $value`,
+        `${indent(1)}call $${getHostObjectImportFunctionName('get_tagged', 'name')}`,
+        `${indent(1)}local.tee $name`,
+        `${indent(1)}call $tagged_type_tag`,
+        `${indent(1)}local.set $name_tag`,
+        `${indent(1)}local.get $value`,
+        `${indent(1)}call $${getHostObjectImportFunctionName('get_tagged', 'message')}`,
+        `${indent(1)}local.tee $message`,
+        `${indent(1)}call $tagged_type_tag`,
+        `${indent(1)}local.set $message_tag`,
+        `${indent(1)}local.get $message_tag`,
+        `${indent(1)}i32.const 3`,
+        `${indent(1)}i32.eq`,
+        `${indent(1)}if`,
+        `${indent(2)}local.get $result`,
+        `${indent(2)}call $owned_string_literal_${builtinErrorBrandKeyLiteralId}`,
+        `${indent(2)}local.get $name_tag`,
+        `${indent(2)}i32.const 3`,
+        `${indent(2)}i32.eq`,
+        `${indent(2)}if (result (ref null $tagged_value))`,
+        `${indent(3)}local.get $name`,
+        `${indent(3)}call $string_to_owned`,
+        `${indent(3)}call $tag_string`,
+        `${indent(2)}else`,
+        `${indent(3)}call $owned_string_literal_${builtinErrorLiteralId}`,
+        `${indent(3)}call $tag_string`,
+        `${indent(2)}end`,
+        `${indent(2)}call $set_dynamic_object_property`,
+        `${indent(2)}local.get $result`,
+        `${indent(2)}call $owned_string_literal_${builtinErrorNameLiteralId}`,
+        `${indent(2)}local.get $name_tag`,
+        `${indent(2)}i32.const 3`,
+        `${indent(2)}i32.eq`,
+        `${indent(2)}if (result (ref null $tagged_value))`,
+        `${indent(3)}local.get $name`,
+        `${indent(3)}call $string_to_owned`,
+        `${indent(3)}call $tag_string`,
+        `${indent(2)}else`,
+        `${indent(3)}call $owned_string_literal_${builtinErrorLiteralId}`,
+        `${indent(3)}call $tag_string`,
+        `${indent(2)}end`,
+        `${indent(2)}call $set_dynamic_object_property`,
+        `${indent(2)}local.get $result`,
+        `${indent(2)}call $owned_string_literal_${builtinErrorMessageLiteralId}`,
+        `${indent(2)}local.get $message`,
+        `${indent(2)}call $string_to_owned`,
+        `${indent(2)}call $tag_string`,
+        `${indent(2)}call $set_dynamic_object_property`,
+        `${indent(1)}end`,
+        `${indent(1)}local.get $result`,
+        ')',
+        `(func $${SOUNDSCRIPT_TRY_CATCH_TAGGED_HELPER_NAME} (param $closure (ref null $closure)) (result (ref null $owned_tagged_array))`,
+        `${indent(1)}(local $host_result externref)`,
+        `${indent(1)}(local $host_threw i32)`,
+        `${indent(1)}(local $host_value externref)`,
+        `${indent(1)}(local $host_value_tag i32)`,
+        `${indent(1)}(local $host_value_tagged (ref null $tagged_value))`,
+        `${indent(1)}(local $result (ref null $owned_tagged_array))`,
+        `${indent(1)}local.get $closure`,
+        `${indent(1)}call $host_closure_to_host_${signatureId}`,
+        `${indent(1)}call ${SOUNDSCRIPT_HOST_TRY_TAGGED_IMPORT_NAME}`,
+        `${indent(1)}local.set $host_result`,
+        `${indent(1)}local.get $host_result`,
+        `${indent(1)}call ${SOUNDSCRIPT_HOST_TRY_RESULT_THREW_IMPORT_NAME}`,
+        `${indent(1)}local.set $host_threw`,
+        `${indent(1)}local.get $host_result`,
+        `${indent(1)}call ${SOUNDSCRIPT_HOST_TRY_RESULT_VALUE_IMPORT_NAME}`,
+        `${indent(1)}local.set $host_value`,
+        `${indent(1)}local.get $host_value`,
+        `${indent(1)}call $tagged_type_tag`,
+        `${indent(1)}local.set $host_value_tag`,
+        `${indent(1)}(block $host_value_tagged__done`,
+        `${indent(2)}local.get $host_value_tag`,
+        `${indent(2)}i32.const 0`,
+        `${indent(2)}i32.eq`,
+        `${indent(2)}(if`,
+        `${indent(3)}(then`,
+        `${indent(4)}call $tag_undefined`,
+        `${indent(4)}local.set $host_value_tagged`,
+        `${indent(4)}br $host_value_tagged__done`,
+        `${indent(3)})`,
+        `${indent(2)})`,
+        `${indent(2)}local.get $host_value_tag`,
+        `${indent(2)}i32.const 6`,
+        `${indent(2)}i32.eq`,
+        `${indent(2)}(if`,
+        `${indent(3)}(then`,
+        `${indent(4)}call $tag_null`,
+        `${indent(4)}local.set $host_value_tagged`,
+        `${indent(4)}br $host_value_tagged__done`,
+        `${indent(3)})`,
+        `${indent(2)})`,
+        `${indent(2)}local.get $host_value_tag`,
+        `${indent(2)}i32.const 1`,
+        `${indent(2)}i32.eq`,
+        `${indent(2)}(if`,
+        `${indent(3)}(then`,
+        `${indent(4)}local.get $host_value`,
+        `${indent(4)}call $tagged_boolean_value`,
+        `${indent(4)}call $tag_boolean`,
+        `${indent(4)}local.set $host_value_tagged`,
+        `${indent(4)}br $host_value_tagged__done`,
+        `${indent(3)})`,
+        `${indent(2)})`,
+        `${indent(2)}local.get $host_value_tag`,
+        `${indent(2)}i32.const 2`,
+        `${indent(2)}i32.eq`,
+        `${indent(2)}(if`,
+        `${indent(3)}(then`,
+        `${indent(4)}local.get $host_value`,
+        `${indent(4)}call $tagged_number_value`,
+        `${indent(4)}call $tag_number`,
+        `${indent(4)}local.set $host_value_tagged`,
+        `${indent(4)}br $host_value_tagged__done`,
+        `${indent(3)})`,
+        `${indent(2)})`,
+        `${indent(2)}local.get $host_value_tag`,
+        `${indent(2)}i32.const 3`,
+        `${indent(2)}i32.eq`,
+        `${indent(2)}(if`,
+        `${indent(3)}(then`,
+        `${indent(4)}local.get $host_value`,
+        `${indent(4)}call $string_to_owned`,
+        `${indent(4)}call $tag_string`,
+        `${indent(4)}local.set $host_value_tagged`,
+        `${indent(4)}br $host_value_tagged__done`,
+        `${indent(3)})`,
+        `${indent(2)})`,
+        `${indent(2)}local.get $host_value_tag`,
+        `${indent(2)}i32.const 4`,
+        `${indent(2)}i32.eq`,
+        `${indent(2)}(if`,
+        `${indent(3)}(then`,
+        `${indent(4)}local.get $host_value`,
+        `${indent(4)}call $${syncTryHostBuiltinErrorHelperName}`,
+        `${indent(4)}call $tag_heap_object`,
+        `${indent(4)}local.set $host_value_tagged`,
+        `${indent(4)}br $host_value_tagged__done`,
+        `${indent(3)})`,
+        `${indent(2)})`,
+        `${indent(2)}unreachable`,
+        `${indent(1)})`,
+        `${indent(1)}i32.const 2`,
+        `${indent(1)}array.new_default $owned_tagged_array_data`,
+        `${indent(1)}struct.new $owned_tagged_array`,
+        `${indent(1)}local.set $result`,
+        `${indent(1)}local.get $result`,
+        `${indent(1)}struct.get $owned_tagged_array 0`,
+        `${indent(1)}i32.const 0`,
+        `${indent(1)}local.get $host_threw`,
+        `${indent(1)}call $tag_boolean`,
+        `${indent(1)}array.set $owned_tagged_array_data`,
+        `${indent(1)}local.get $result`,
+        `${indent(1)}struct.get $owned_tagged_array 0`,
+        `${indent(1)}i32.const 1`,
+        `${indent(1)}local.get $host_value_tagged`,
+        `${indent(1)}array.set $owned_tagged_array_data`,
+        `${indent(1)}local.get $result`,
+        ')',
+    ];
+}
+function emitHostClosureInvokeExports(module, layoutsByRepresentationName, fallbackObjectLayout, dynamicObjectLayout) {
+    const generatorStepSignature = moduleUsesGeneratorStepClosureHostBridge(module)
+        ? getGeneratorStepClosureSignature(module)
+        : undefined;
+    const usesAsyncGeneratorStepPromiseBridge = moduleUsesAsyncGeneratorHostStepBridge(module) ||
+        moduleUsesAsyncGeneratorHostResultBridge(module);
+    const hostClosureSignatures = getHostClosureBoundarySignatures(module);
+    const syncTryCatchSignature = module.syncTryCatchClosureSignatureId === undefined
+        ? undefined
+        : (module.closureSignatures ?? []).find((signature) => signature.id === module.syncTryCatchClosureSignatureId);
+    const invokeExportSignatures = hostClosureSignatures
+        .filter(({ needsResultBoundary }) => needsResultBoundary);
+    if (syncTryCatchSignature &&
+        !invokeExportSignatures.some(({ signatureId }) => signatureId === syncTryCatchSignature.id)) {
+        invokeExportSignatures.push({
+            signatureId: syncTryCatchSignature.id,
+            signature: syncTryCatchSignature,
+            needsParamBoundary: false,
+            needsResultBoundary: true,
+        });
+    }
+    return invokeExportSignatures
         .flatMap(({ signatureId, signature }) => {
+        const isGeneratorStepSignature = generatorStepSignature?.id === signatureId;
         const sourceParamBoundaries = getHostClosureSourceParamBoundaries(signature);
         const invokeLocals = [
             ...sourceParamBoundaries.flatMap((param) => param.type === 'tagged_ref'
@@ -17667,9 +18706,27 @@ function emitHostClosureInvokeExports(module, layoutsByRepresentationName, fallb
                     `${indent(1)}(local $result__host_value externref)`,
                 ]
                 : []),
+            ...(isGeneratorStepSignature
+                ? [
+                    `${indent(1)}(local $result__iterator_result_raw (ref null eq))`,
+                    `${indent(1)}(local $result__iterator_result (ref null $${dynamicObjectLayout?.watTypeId ?? 'dynamic_object'}))`,
+                    `${indent(1)}(local $result__host_object externref)`,
+                    ...(usesAsyncGeneratorStepPromiseBridge
+                        ? [`${indent(1)}(local $result__brand_tagged (ref null $tagged_value))`]
+                        : []),
+                    `${indent(1)}(local $result__value_tagged (ref null $tagged_value))`,
+                    `${indent(1)}(local $result__value_tag i32)`,
+                    `${indent(1)}(local $result__value_host_value externref)`,
+                    `${indent(1)}(local $result__done_tagged (ref null $tagged_value))`,
+                    `${indent(1)}(local $result__done_tag i32)`,
+                    `${indent(1)}(local $result__done_host_value externref)`,
+                ]
+                : []),
         ];
         return [
-            `(func $__soundscript_closure_invoke_${signatureId} (export "__soundscript_closure_invoke_${signatureId}") (param $closure (ref null $closure))${sourceParamBoundaries.map((param) => ` (param $arg_${param.sourceIndex} ${param.classTagId !== undefined ? 'externref' : getHostClosureBoundaryWatType(param.type)})`).join('')} (result ${signature.resultClassConstructorTagId !== undefined
+            `(func $__soundscript_closure_invoke_${signatureId} (export "__soundscript_closure_invoke_${signatureId}") (param $closure (ref null $closure))${sourceParamBoundaries.map((param) => ` (param $arg_${param.sourceIndex} ${param.classTagId !== undefined
+                ? 'externref'
+                : getHostClosureBoundaryWatType(param.type)})`).join('')} (result ${signature.resultClassConstructorTagId !== undefined
                 ? 'externref'
                 : getHostClosureBoundaryWatType(signature.resultType)})`,
             ...invokeLocals,
@@ -17686,7 +18743,63 @@ function emitHostClosureInvokeExports(module, layoutsByRepresentationName, fallb
                 ]
                 : emitHostClosureBoundaryParamToInternal(param.type, param.closureSignatureId, param.taggedKinds, param.heapRepresentation, param.heapArrayRepresentation, `arg_${param.sourceIndex}`, 1, layoutsByRepresentationName)),
             `${indent(1)}call $closure_call_${signatureId}`,
-            ...emitInternalClosureBoundaryResultToHost(signature.resultType, signature.resultClassConstructorTagId, signature.resultClosureSignatureId, signature.resultTaggedPrimitiveKinds, signature.resultHeapRepresentation, signature.resultHeapArrayRepresentation, 1, layoutsByRepresentationName, fallbackObjectLayout),
+            ...(isGeneratorStepSignature
+                ? [
+                    `${indent(1)}local.set $result__iterator_result_raw`,
+                    `${indent(1)}local.get $result__iterator_result_raw`,
+                    `${indent(1)}ref.cast (ref null $${dynamicObjectLayout?.watTypeId ?? 'dynamic_object'})`,
+                    `${indent(1)}local.set $result__iterator_result`,
+                    ...(usesAsyncGeneratorStepPromiseBridge
+                        ? [
+                            `${indent(1)}local.get $result__iterator_result`,
+                            `${indent(1)}call $owned_string_literal_${getRequiredStringLiteralId(createStringLiteralIds(module), SOUNDSCRIPT_PROMISE_INTERNAL_BRAND_KEY)}`,
+                            `${indent(1)}call $get_dynamic_object_property`,
+                            `${indent(1)}local.set $result__brand_tagged`,
+                            `${indent(1)}local.get $result__brand_tagged`,
+                            `${indent(1)}struct.get $tagged_value 0`,
+                            `${indent(1)}i32.const 1`,
+                            `${indent(1)}i32.eq`,
+                            `${indent(1)}if`,
+                            `${indent(2)}local.get $result__brand_tagged`,
+                            `${indent(2)}call $untag_boolean`,
+                            `${indent(2)}if`,
+                            `${indent(3)}local.get $result__iterator_result`,
+                            `${indent(3)}call ${SOUNDSCRIPT_HOST_PROMISE_TO_HOST_IMPORT_NAME}`,
+                            `${indent(3)}return`,
+                            `${indent(2)}end`,
+                            `${indent(1)}end`,
+                        ]
+                        : []),
+                    `${indent(1)}call $host_object_empty`,
+                    `${indent(1)}local.set $result__host_object`,
+                    `${indent(1)}local.get $result__iterator_result`,
+                    `${indent(1)}call $owned_string_literal_${getRequiredStringLiteralId(createStringLiteralIds(module), 'value')}`,
+                    `${indent(1)}call $get_dynamic_object_property`,
+                    `${indent(1)}local.set $result__value_tagged`,
+                    `${indent(1)}local.get $result__value_tagged`,
+                    `${indent(1)}call $${SOUNDSCRIPT_ASYNC_GENERATOR_TAGGED_TO_HOST_HELPER_NAME}`,
+                    `${indent(1)}local.set $result__value_host_value`,
+                    `${indent(1)}local.get $result__host_object`,
+                    `${indent(1)}local.get $result__value_host_value`,
+                    `${indent(1)}call $${getHostObjectImportFunctionName('set_tagged', 'value')}`,
+                    `${indent(1)}local.get $result__iterator_result`,
+                    `${indent(1)}call $owned_string_literal_${getRequiredStringLiteralId(createStringLiteralIds(module), 'done')}`,
+                    `${indent(1)}call $get_dynamic_object_property`,
+                    `${indent(1)}local.set $result__done_tagged`,
+                    ...emitTaggedPrimitiveToHostExternref('result__done_tagged', 'result__done_tag', 'result__done_host_value', {
+                        includesBoolean: true,
+                        includesNull: false,
+                        includesNumber: false,
+                        includesString: false,
+                        includesUndefined: false,
+                    }, 1, indent),
+                    `${indent(1)}local.set $result__done_host_value`,
+                    `${indent(1)}local.get $result__host_object`,
+                    `${indent(1)}local.get $result__done_host_value`,
+                    `${indent(1)}call $${getHostObjectImportFunctionName('set_tagged', 'done')}`,
+                    `${indent(1)}local.get $result__host_object`,
+                ]
+                : emitInternalClosureBoundaryResultToHost(signature.resultType, signature.resultClassConstructorTagId, signature.resultClosureSignatureId, signature.resultTaggedPrimitiveKinds, signature.resultHeapRepresentation, signature.resultHeapArrayRepresentation, 1, layoutsByRepresentationName, fallbackObjectLayout, dynamicObjectLayout)),
             ')',
         ];
     });
@@ -17699,7 +18812,8 @@ function emitFunction(module, func, moduleUsesPromiseRuntime, functionsByName, r
     assertFunctionIsBackendLowerable(func);
     const header = [
         `(func $${func.name}`,
-        ...(func.exportName.length === 0 || functionNeedsHostExportWrapper(func, moduleUsesPromiseRuntime) ||
+        ...(func.exportName.length === 0 ||
+            functionNeedsHostExportWrapper(func, moduleUsesPromiseRuntime) ||
             func.closureFunctionId !== undefined
             ? []
             : [` (export "${func.exportName}")`]),
@@ -17714,10 +18828,14 @@ function emitFunction(module, func, moduleUsesPromiseRuntime, functionsByName, r
             ]
             : []),
         ...(runtime.ownedHeapArrayScratchLocalName
-            ? [`${indent(1)}(local $${runtime.ownedHeapArrayScratchLocalName} (ref null $owned_heap_array))`]
+            ? [
+                `${indent(1)}(local $${runtime.ownedHeapArrayScratchLocalName} (ref null $owned_heap_array))`,
+            ]
             : []),
         ...(runtime.ownedArrayScratchLocalName
-            ? [`${indent(1)}(local $${runtime.ownedArrayScratchLocalName} (ref null $owned_string_array))`]
+            ? [
+                `${indent(1)}(local $${runtime.ownedArrayScratchLocalName} (ref null $owned_string_array))`,
+            ]
             : []),
         ...(runtime.ownedNumberArrayScratchLocalName
             ? [
@@ -17740,12 +18858,18 @@ function emitFunction(module, func, moduleUsesPromiseRuntime, functionsByName, r
             : getWatValueType(local.type)})`),
         ...func.body.flatMap((statement) => emitStatement(statement, 1, labelCounter, runtime)),
     ];
-    return [header, ...body, ')', ...emitHostExportWrapper(func, runtime, moduleUsesPromiseRuntime)];
+    return [
+        header,
+        ...body,
+        ')',
+        ...emitHostExportWrapper(module, func, runtime, moduleUsesPromiseRuntime),
+    ];
 }
 export function emitCompilerModuleToWat(module) {
     const layoutsByRepresentationName = createSpecializedObjectLayouts(module.runtime);
     const specializedObjectInstanceOfUsages = collectSpecializedObjectInstanceOfUsages(module);
     const builtinErrorInstanceOfUsages = collectBuiltinErrorInstanceOfUsages(module);
+    const dynamicObjectLayout = getDynamicObjectLayout(module.runtime);
     const stringRuntimeLayout = getStringRuntimeLayout(module.runtime) ??
         (moduleUsesOwnedStringRuntime(module) ? createDefaultStringRuntimeLayout() : undefined);
     const usedOwnedStringLiteralIds = moduleUsedOwnedStringLiteralIds(module);
@@ -17775,10 +18899,15 @@ export function emitCompilerModuleToWat(module) {
     const lines = [
         '(module',
         ...emitPromiseRuntimeImports(module).map((line) => `${indent(1)}${line}`),
+        ...emitAsyncGeneratorRuntimeImports(module).map((line) => `${indent(1)}${line}`),
+        ...emitSyncGeneratorRuntimeImports(module).map((line) => `${indent(1)}${line}`),
+        ...emitTaggedThrowRuntimeImports(module).map((line) => `${indent(1)}${line}`),
+        ...emitSyncTryCatchRuntimeImports(module).map((line) => `${indent(1)}${line}`),
         ...emitStringRuntimeImports(module).map((line) => `${indent(1)}${line}`),
         ...emitClosureRuntimeImports(module).map((line) => `${indent(1)}${line}`),
         ...module.functions.flatMap((func) => emitHostImportedFunction(func).map((line) => `${indent(1)}${line}`)),
-        ...emitObjectRuntimeImports(module, layoutsByRepresentationName, fallbackPropertyKeyIdsByKey).map((line) => `${indent(1)}${line}`),
+        ...emitObjectRuntimeImports(module, layoutsByRepresentationName, fallbackPropertyKeyIdsByKey)
+            .map((line) => `${indent(1)}${line}`),
         ...emitArrayRuntimeImportsFromArrays({
             usesHeapParamBoundary: moduleUsesOwnedHeapArrayHostParamBoundary(module),
             usesHeapParamCopyBack: moduleUsesOwnedHeapArrayHostParamCopyBack(module),
@@ -17808,12 +18937,61 @@ export function emitCompilerModuleToWat(module) {
         ...emitOwnedStringNativeHelpers(module, stringRuntimeLayout).map((line) => `${indent(1)}${line}`),
         ...emitTaggedValueType(module.runtime).map((line) => `${indent(1)}${line}`),
         ...emitTaggedValueHelpers(module, stringRuntimeLayout).map((line) => `${indent(1)}${line}`),
+        ...(moduleUsesTaggedThrowRuntime(module)
+            ? [
+                `(func $${SOUNDSCRIPT_THROW_TAGGED_HELPER_NAME} (param $value (ref null $tagged_value))`,
+                `${indent(1)}(local $value__tag i32)`,
+                `${indent(1)}(local $value__host externref)`,
+                `${indent(1)}local.get $value`,
+                `${indent(1)}struct.get $tagged_value 0`,
+                `${indent(1)}local.set $value__tag`,
+                `${indent(1)}local.get $value__tag`,
+                `${indent(1)}i32.const 4`,
+                `${indent(1)}i32.eq`,
+                `${indent(1)}if`,
+                ...(dynamicObjectLayout && moduleUsesBuiltinErrorRuntime(module)
+                    ? [
+                        `${indent(2)}local.get $value`,
+                        `${indent(2)}call $untag_heap_object`,
+                        `${indent(2)}ref.test (ref null $${dynamicObjectLayout.watTypeId})`,
+                        `${indent(2)}if`,
+                        `${indent(3)}local.get $value`,
+                        `${indent(3)}call $untag_heap_object`,
+                        `${indent(3)}ref.cast (ref null $${dynamicObjectLayout.watTypeId})`,
+                        `${indent(3)}call $${getHostDynamicBuiltinErrorHelperName()}`,
+                        `${indent(3)}local.set $value__host`,
+                        `${indent(3)}local.get $value__host`,
+                        `${indent(3)}call ${SOUNDSCRIPT_HOST_THROW_IMPORT_NAME}`,
+                        `${indent(3)}unreachable`,
+                        `${indent(2)}end`,
+                    ]
+                    : []),
+                `${indent(2)}unreachable`,
+                `${indent(1)}end`,
+                ...emitTaggedPrimitiveToHostExternref('value', 'value__tag', 'value__host', {
+                    includesBoolean: true,
+                    includesNull: true,
+                    includesNumber: true,
+                    includesString: true,
+                    includesUndefined: true,
+                }, 1, indent),
+                `${indent(1)}local.set $value__host`,
+                `${indent(1)}local.get $value__host`,
+                `${indent(1)}call ${SOUNDSCRIPT_HOST_THROW_IMPORT_NAME}`,
+                `${indent(1)}unreachable`,
+                `)`,
+            ].map((line) => `${indent(1)}${line}`)
+            : []),
         ...emitOwnedArrayTypesFromArrays({
             usesOwnedHeapArray: moduleUsesOwnedHeapArrayRuntime(module),
-            usesOwnedStringArray: moduleUsesObjectKeysArrayRuntime(module),
-            usesOwnedNumberArray: moduleUsesOwnedNumberArrayRuntime(module),
-            usesOwnedBooleanArray: moduleUsesOwnedBooleanArrayRuntime(module),
-            usesOwnedTaggedArray: moduleUsesOwnedTaggedArrayRuntime(module),
+            usesOwnedStringArray: moduleUsesObjectKeysArrayRuntime(module) ||
+                moduleUsesGeneratorStepClosureHostBridge(module),
+            usesOwnedNumberArray: moduleUsesOwnedNumberArrayRuntime(module) ||
+                moduleUsesGeneratorStepClosureHostBridge(module),
+            usesOwnedBooleanArray: moduleUsesOwnedBooleanArrayRuntime(module) ||
+                moduleUsesGeneratorStepClosureHostBridge(module),
+            usesOwnedTaggedArray: moduleUsesOwnedTaggedArrayRuntime(module) ||
+                moduleUsesGeneratorStepClosureHostBridge(module),
         }).map((line) => `${indent(1)}${line}`),
         ...emitClassStaticFieldGlobals(module).map((line) => `${indent(1)}${line}`),
         ...emitOwnedArrayNativeHelpersFromArrays({
@@ -17910,27 +19088,31 @@ export function emitCompilerModuleToWat(module) {
             usesTaggedParamBoundary: moduleUsesOwnedTaggedArrayHostParamBoundary(module),
             usesTaggedParamCopyBack: moduleUsesOwnedTaggedArrayHostParamCopyBack(module),
             usesTaggedResultBoundary: moduleUsesOwnedTaggedArrayHostResultBoundary(module),
+            extraTaggedKindSets: moduleUsesGeneratorStepClosureHostBridge(module)
+                ? [ASYNC_GENERATOR_HOST_TAGGED_ARRAY_BRIDGE_KINDS]
+                : undefined,
             fallbackObjectWatTypeId: fallbackObjectLayout?.watTypeId,
             indent,
             layoutsByRepresentationName,
             stringRuntimeLayout,
             createUnsupportedHeapRuntimeBackendError,
         }).map((line) => `${indent(1)}${line}`),
-        ...emitOwnedHeapArrayBoundaryHelpers(module, layoutsByRepresentationName, fallbackObjectLayout).map((line) => `${indent(1)}${line}`),
+        ...emitOwnedHeapArrayBoundaryHelpers(module, layoutsByRepresentationName, fallbackObjectLayout)
+            .map((line) => `${indent(1)}${line}`),
         ...emitStringCodePointAtHelper(module).map((line) => `${indent(1)}${line}`),
         ...emitFallbackObjectTypes(fallbackObjectLayout).map((line) => `${indent(1)}${line}`),
-        ...emitDynamicObjectTypes(getDynamicObjectLayout(module.runtime), stringRuntimeLayout).map((line) => `${indent(1)}${line}`),
+        ...emitDynamicObjectTypes(dynamicObjectLayout, stringRuntimeLayout).map((line) => `${indent(1)}${line}`),
         ...emitClosureRuntimeTypes(module).map((line) => `${indent(1)}${line}`),
         ...emitSpecializedObjectTypes(layoutsByRepresentationName).map((line) => `${indent(1)}${line}`),
         ...emitSpecializedObjectInstanceOfHelpers(specializedObjectInstanceOfUsages, layoutsByRepresentationName)
             .map((line) => `${indent(1)}${line}`),
-        ...emitBuiltinErrorInstanceOfHelpers(builtinErrorInstanceOfUsages, getDynamicObjectLayout(module.runtime), stringRuntimeLayout, stringLiteralIdsByText).map((line) => `${indent(1)}${line}`),
+        ...emitBuiltinErrorInstanceOfHelpers(builtinErrorInstanceOfUsages, dynamicObjectLayout, stringRuntimeLayout, stringLiteralIdsByText).map((line) => `${indent(1)}${line}`),
         ...emitHostSpecializedObjectBoundaryHelpers(module, layoutsByRepresentationName).map((line) => `${indent(1)}${line}`),
         ...emitHostClassConstructorBoundaryHelpers(module, layoutsByRepresentationName).map((line) => `${indent(1)}${line}`),
         ...emitHostFallbackObjectBoundaryHelpers(module, fallbackObjectLayout, fallbackPropertyKeyIdsByKey, layoutsByRepresentationName)
             .map((line) => `${indent(1)}${line}`),
         ...emitFallbackRuntimeHelpers(fallbackObjectLayout, fallbackPropertyKeyIdsByKey).map((line) => `${indent(1)}${line}`),
-        ...emitDynamicRuntimeHelpers(getDynamicObjectLayout(module.runtime), stringRuntimeLayout, {
+        ...emitDynamicRuntimeHelpers(dynamicObjectLayout, stringRuntimeLayout, {
             usesBooleanValueListing: usesDynamicObjectBooleanValueListing,
             usesCopyEntries: usesDynamicObjectEntryCopy,
             usesKeyListing: usesDynamicObjectKeyListing,
@@ -17941,9 +19123,13 @@ export function emitCompilerModuleToWat(module) {
             usesTaggedValueListing: usesDynamicObjectTaggedValueListing,
         }).map((line) => `${indent(1)}${line}`),
         ...emitHostDynamicCollectionBoundaryHelpers(module, stringRuntimeLayout).map((line) => `${indent(1)}${line}`),
-        ...emitClosureCallHelpers(module, layoutsByRepresentationName, fallbackObjectLayout, getDynamicObjectLayout(module.runtime)).map((line) => `${indent(1)}${line}`),
-        ...emitPromiseRuntimeHelpers(module, getDynamicObjectLayout(module.runtime), stringRuntimeLayout).map((line) => `${indent(1)}${line}`),
-        ...emitHostClosureInvokeExports(module, layoutsByRepresentationName, fallbackObjectLayout).map((line) => `${indent(1)}${line}`),
+        ...emitClosureCallHelpers(module, layoutsByRepresentationName, fallbackObjectLayout, dynamicObjectLayout).map((line) => `${indent(1)}${line}`),
+        ...emitSyncTryCatchHelper(module, layoutsByRepresentationName, dynamicObjectLayout).map((line) => `${indent(1)}${line}`),
+        ...emitPromiseRuntimeHelpers(module, dynamicObjectLayout, stringRuntimeLayout).map((line) => `${indent(1)}${line}`),
+        ...((!usesPromiseRuntime || moduleUsesSyncTryCatchRuntime(module))
+            ? emitHostBuiltinErrorBridgeHelpers(module, dynamicObjectLayout).map((line) => `${indent(1)}${line}`)
+            : []),
+        ...emitHostClosureInvokeExports(module, layoutsByRepresentationName, fallbackObjectLayout, dynamicObjectLayout).map((line) => `${indent(1)}${line}`),
         ...emitClassStaticFieldStart(module).map((line) => `${indent(1)}${line}`),
         ...module.functions.flatMap((func) => emitFunction(module, func, usesPromiseRuntime, functionsByName, module.runtime, layoutsByRepresentationName, stringRuntimeLayout).map((line) => `${indent(1)}${line}`)),
         ')',