execute = (moduleEnvironmentRecord, compartment) => {
    if (
      /** @type {LavaMoatEndoPackagePolicy} */ (compartmentDescriptor?.policy)
        ?.options?.native !== true
    ) {
      // TODO: we may be guaranteed a compartmentDescriptor. find out!
      throw new PermissionDeniedError(
        `Native modules are disallowed in package ${hrLabel(compartmentDescriptor?.label ?? compartment.name)}`
      )
    }

    const finalExports = require(fileURLToPath(location))

    // copies the contents of `default` into the root of the module environment record
    moduleEnvironmentRecord.default = finalExports
    for (const prop of keys(moduleEnvironmentRecord.default || {})) {
      if (prop !== 'default') {
        moduleEnvironmentRecord[prop] = moduleEnvironmentRecord.default[prop]
      }
    }
  }
Enforces policy; the package policy must have `options.native` set to
`true`

@type {ThirdPartyStaticModuleInterface['execute']}