fix: various spectests

1 files changed, 0 insertions, 104 deletions

diff --git a/tests/src/SpecTestsuites/Core/BulkTest.php b/tests/src/SpecTestsuites/Core/BulkTest.php
index 0556c20..455ed8b 100644
--- a/tests/src/SpecTestsuites/Core/BulkTest.php
+++ b/tests/src/SpecTestsuites/Core/BulkTest.php
@@ -43,7 +43,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAction3(): void
     {
         $this->runActionCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'fill', 'args' => [['type' => 'i32', 'value' => '1'], ['type' => 'i32', 'value' => '255'], ['type' => 'i32', 'value' => '3']]],
             line: 27,
         );
@@ -53,7 +52,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn4(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '0']]],
             expected: [['type' => 'i32', 'value' => '0']],
             line: 28,
@@ -64,7 +62,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn5(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '1']]],
             expected: [['type' => 'i32', 'value' => '255']],
             line: 29,
@@ -75,7 +72,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn6(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '2']]],
             expected: [['type' => 'i32', 'value' => '255']],
             line: 30,
@@ -86,7 +82,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn7(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '3']]],
             expected: [['type' => 'i32', 'value' => '255']],
             line: 31,
@@ -97,7 +92,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn8(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '4']]],
             expected: [['type' => 'i32', 'value' => '0']],
             line: 32,
@@ -108,7 +102,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAction9(): void
     {
         $this->runActionCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'fill', 'args' => [['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '48042'], ['type' => 'i32', 'value' => '2']]],
             line: 35,
         );
@@ -118,7 +111,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn10(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '0']]],
             expected: [['type' => 'i32', 'value' => '170']],
             line: 36,
@@ -129,7 +121,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn11(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '1']]],
             expected: [['type' => 'i32', 'value' => '170']],
             line: 37,
@@ -140,7 +131,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAction12(): void
     {
         $this->runActionCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'fill', 'args' => [['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '65536']]],
             line: 40,
         );
@@ -150,7 +140,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertTrap13(): void
     {
         $this->runAssertTrapCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'fill', 'args' => [['type' => 'i32', 'value' => '65280'], ['type' => 'i32', 'value' => '1'], ['type' => 'i32', 'value' => '257']]],
             text: 'out of bounds memory access',
             line: 43,
@@ -161,7 +150,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn14(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '65280']]],
             expected: [['type' => 'i32', 'value' => '0']],
             line: 45,
@@ -172,7 +160,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn15(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '65535']]],
             expected: [['type' => 'i32', 'value' => '0']],
             line: 46,
@@ -183,7 +170,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAction16(): void
     {
         $this->runActionCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'fill', 'args' => [['type' => 'i32', 'value' => '65536'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '0']]],
             line: 49,
         );
@@ -193,7 +179,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertTrap17(): void
     {
         $this->runAssertTrapCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'fill', 'args' => [['type' => 'i32', 'value' => '65537'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '0']]],
             text: 'out of bounds memory access',
             line: 52,
@@ -214,7 +199,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAction19(): void
     {
         $this->runActionCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '10'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '4']]],
             line: 71,
         );
@@ -224,7 +208,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn20(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '9']]],
             expected: [['type' => 'i32', 'value' => '0']],
             line: 73,
@@ -235,7 +218,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn21(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '10']]],
             expected: [['type' => 'i32', 'value' => '170']],
             line: 74,
@@ -246,7 +228,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn22(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '11']]],
             expected: [['type' => 'i32', 'value' => '187']],
             line: 75,
@@ -257,7 +238,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn23(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '12']]],
             expected: [['type' => 'i32', 'value' => '204']],
             line: 76,
@@ -268,7 +248,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn24(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '13']]],
             expected: [['type' => 'i32', 'value' => '221']],
             line: 77,
@@ -279,7 +258,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn25(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '14']]],
             expected: [['type' => 'i32', 'value' => '0']],
             line: 78,
@@ -290,7 +268,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAction26(): void
     {
         $this->runActionCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '8'], ['type' => 'i32', 'value' => '10'], ['type' => 'i32', 'value' => '4']]],
             line: 81,
         );
@@ -300,7 +277,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn27(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '8']]],
             expected: [['type' => 'i32', 'value' => '170']],
             line: 82,
@@ -311,7 +287,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn28(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '9']]],
             expected: [['type' => 'i32', 'value' => '187']],
             line: 83,
@@ -322,7 +297,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn29(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '10']]],
             expected: [['type' => 'i32', 'value' => '204']],
             line: 84,
@@ -333,7 +307,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn30(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '11']]],
             expected: [['type' => 'i32', 'value' => '221']],
             line: 85,
@@ -344,7 +317,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn31(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '12']]],
             expected: [['type' => 'i32', 'value' => '204']],
             line: 86,
@@ -355,7 +327,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn32(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '13']]],
             expected: [['type' => 'i32', 'value' => '221']],
             line: 87,
@@ -366,7 +337,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAction33(): void
     {
         $this->runActionCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '10'], ['type' => 'i32', 'value' => '7'], ['type' => 'i32', 'value' => '6']]],
             line: 90,
         );
@@ -376,7 +346,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn34(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '10']]],
             expected: [['type' => 'i32', 'value' => '0']],
             line: 91,
@@ -387,7 +356,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn35(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '11']]],
             expected: [['type' => 'i32', 'value' => '170']],
             line: 92,
@@ -398,7 +366,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn36(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '12']]],
             expected: [['type' => 'i32', 'value' => '187']],
             line: 93,
@@ -409,7 +376,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn37(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '13']]],
             expected: [['type' => 'i32', 'value' => '204']],
             line: 94,
@@ -420,7 +386,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn38(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '14']]],
             expected: [['type' => 'i32', 'value' => '221']],
             line: 95,
@@ -431,7 +396,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn39(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '15']]],
             expected: [['type' => 'i32', 'value' => '204']],
             line: 96,
@@ -442,7 +406,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn40(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '16']]],
             expected: [['type' => 'i32', 'value' => '0']],
             line: 97,
@@ -453,7 +416,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAction41(): void
     {
         $this->runActionCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '65280'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '256']]],
             line: 100,
         );
@@ -463,7 +425,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAction42(): void
     {
         $this->runActionCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '65024'], ['type' => 'i32', 'value' => '65280'], ['type' => 'i32', 'value' => '256']]],
             line: 101,
         );
@@ -473,7 +434,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAction43(): void
     {
         $this->runActionCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '65536'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '0']]],
             line: 104,
         );
@@ -483,7 +443,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAction44(): void
     {
         $this->runActionCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '65536'], ['type' => 'i32', 'value' => '0']]],
             line: 105,
         );
@@ -493,7 +452,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertTrap45(): void
     {
         $this->runAssertTrapCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '65537'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '0']]],
             text: 'out of bounds memory access',
             line: 108,
@@ -504,7 +462,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertTrap46(): void
     {
         $this->runAssertTrapCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '65537'], ['type' => 'i32', 'value' => '0']]],
             text: 'out of bounds memory access',
             line: 110,
@@ -525,7 +482,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAction48(): void
     {
         $this->runActionCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'init', 'args' => [['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '1'], ['type' => 'i32', 'value' => '2']]],
             line: 129,
         );
@@ -535,7 +491,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn49(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '0']]],
             expected: [['type' => 'i32', 'value' => '187']],
             line: 130,
@@ -546,7 +501,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn50(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '1']]],
             expected: [['type' => 'i32', 'value' => '204']],
             line: 131,
@@ -557,7 +511,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn51(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '2']]],
             expected: [['type' => 'i32', 'value' => '0']],
             line: 132,
@@ -568,7 +521,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAction52(): void
     {
         $this->runActionCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'init', 'args' => [['type' => 'i32', 'value' => '65532'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '4']]],
             line: 135,
         );
@@ -578,7 +530,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertTrap53(): void
     {
         $this->runAssertTrapCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'init', 'args' => [['type' => 'i32', 'value' => '65534'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '3']]],
             text: 'out of bounds memory access',
             line: 138,
@@ -589,7 +540,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn54(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '65534']]],
             expected: [['type' => 'i32', 'value' => '204']],
             line: 140,
@@ -600,7 +550,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn55(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '65535']]],
             expected: [['type' => 'i32', 'value' => '221']],
             line: 141,
@@ -611,7 +560,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAction56(): void
     {
         $this->runActionCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'init', 'args' => [['type' => 'i32', 'value' => '65536'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '0']]],
             line: 144,
         );
@@ -621,7 +569,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAction57(): void
     {
         $this->runActionCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'init', 'args' => [['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '4'], ['type' => 'i32', 'value' => '0']]],
             line: 145,
         );
@@ -631,7 +578,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertTrap58(): void
     {
         $this->runAssertTrapCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'init', 'args' => [['type' => 'i32', 'value' => '65537'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '0']]],
             text: 'out of bounds memory access',
             line: 148,
@@ -642,7 +588,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertTrap59(): void
     {
         $this->runAssertTrapCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'init', 'args' => [['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '5'], ['type' => 'i32', 'value' => '0']]],
             text: 'out of bounds memory access',
             line: 150,
@@ -663,7 +608,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAction61(): void
     {
         $this->runActionCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'init_passive', 'args' => [['type' => 'i32', 'value' => '1']]],
             line: 168,
         );
@@ -673,7 +617,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAction62(): void
     {
         $this->runActionCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'drop_passive', 'args' => []],
             line: 169,
         );
@@ -683,7 +626,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAction63(): void
     {
         $this->runActionCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'drop_passive', 'args' => []],
             line: 170,
         );
@@ -693,7 +635,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn64(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'init_passive', 'args' => [['type' => 'i32', 'value' => '0']]],
             expected: [],
             line: 171,
@@ -704,7 +645,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertTrap65(): void
     {
         $this->runAssertTrapCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'init_passive', 'args' => [['type' => 'i32', 'value' => '1']]],
             text: 'out of bounds memory access',
             line: 172,
@@ -715,7 +655,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAction66(): void
     {
         $this->runActionCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'init_passive', 'args' => [['type' => 'i32', 'value' => '0']]],
             line: 173,
         );
@@ -725,7 +664,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAction67(): void
     {
         $this->runActionCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'drop_active', 'args' => []],
             line: 174,
         );
@@ -735,7 +673,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn68(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'init_active', 'args' => [['type' => 'i32', 'value' => '0']]],
             expected: [],
             line: 175,
@@ -746,7 +683,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertTrap69(): void
     {
         $this->runAssertTrapCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'init_active', 'args' => [['type' => 'i32', 'value' => '1']]],
             text: 'out of bounds memory access',
             line: 176,
@@ -757,7 +693,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAction70(): void
     {
         $this->runActionCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'init_active', 'args' => [['type' => 'i32', 'value' => '0']]],
             line: 177,
         );
@@ -797,7 +732,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertTrap74(): void
     {
         $this->runAssertTrapCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'init', 'args' => [['type' => 'i32', 'value' => '2'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '2']]],
             text: 'out of bounds table access',
             line: 219,
@@ -808,7 +742,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertTrap75(): void
     {
         $this->runAssertTrapCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '2']]],
             text: 'uninitialized element 2',
             line: 221,
@@ -819,7 +752,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAction76(): void
     {
         $this->runActionCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'init', 'args' => [['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '1'], ['type' => 'i32', 'value' => '2']]],
             line: 224,
         );
@@ -829,7 +761,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn77(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '0']]],
             expected: [['type' => 'i32', 'value' => '1']],
             line: 225,
@@ -840,7 +771,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn78(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '1']]],
             expected: [['type' => 'i32', 'value' => '0']],
             line: 226,
@@ -851,7 +781,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertTrap79(): void
     {
         $this->runAssertTrapCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '2']]],
             text: 'uninitialized element',
             line: 227,
@@ -862,7 +791,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAction80(): void
     {
         $this->runActionCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'init', 'args' => [['type' => 'i32', 'value' => '1'], ['type' => 'i32', 'value' => '2'], ['type' => 'i32', 'value' => '2']]],
             line: 230,
         );
@@ -872,7 +800,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAction81(): void
     {
         $this->runActionCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'init', 'args' => [['type' => 'i32', 'value' => '3'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '0']]],
             line: 233,
         );
@@ -882,7 +809,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAction82(): void
     {
         $this->runActionCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'init', 'args' => [['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '4'], ['type' => 'i32', 'value' => '0']]],
             line: 234,
         );
@@ -892,7 +818,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertTrap83(): void
     {
         $this->runAssertTrapCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'init', 'args' => [['type' => 'i32', 'value' => '4'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '0']]],
             text: 'out of bounds table access',
             line: 237,
@@ -903,7 +828,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertTrap84(): void
     {
         $this->runAssertTrapCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'init', 'args' => [['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '5'], ['type' => 'i32', 'value' => '0']]],
             text: 'out of bounds table access',
             line: 239,
@@ -924,7 +848,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAction86(): void
     {
         $this->runActionCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'init_passive', 'args' => [['type' => 'i32', 'value' => '1']]],
             line: 261,
         );
@@ -934,7 +857,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAction87(): void
     {
         $this->runActionCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'drop_passive', 'args' => []],
             line: 262,
         );
@@ -944,7 +866,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAction88(): void
     {
         $this->runActionCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'drop_passive', 'args' => []],
             line: 263,
         );
@@ -954,7 +875,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn89(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'init_passive', 'args' => [['type' => 'i32', 'value' => '0']]],
             expected: [],
             line: 264,
@@ -965,7 +885,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertTrap90(): void
     {
         $this->runAssertTrapCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'init_passive', 'args' => [['type' => 'i32', 'value' => '1']]],
             text: 'out of bounds table access',
             line: 265,
@@ -976,7 +895,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAction91(): void
     {
         $this->runActionCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'init_passive', 'args' => [['type' => 'i32', 'value' => '0']]],
             line: 266,
         );
@@ -986,7 +904,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAction92(): void
     {
         $this->runActionCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'drop_active', 'args' => []],
             line: 267,
         );
@@ -996,7 +913,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn93(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'init_active', 'args' => [['type' => 'i32', 'value' => '0']]],
             expected: [],
             line: 268,
@@ -1007,7 +923,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertTrap94(): void
     {
         $this->runAssertTrapCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'init_active', 'args' => [['type' => 'i32', 'value' => '1']]],
             text: 'out of bounds table access',
             line: 269,
@@ -1018,7 +933,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAction95(): void
     {
         $this->runActionCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'init_active', 'args' => [['type' => 'i32', 'value' => '0']]],
             line: 270,
         );
@@ -1058,7 +972,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAction99(): void
     {
         $this->runActionCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '3'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '3']]],
             line: 319,
         );
@@ -1068,7 +981,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn100(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '3']]],
             expected: [['type' => 'i32', 'value' => '0']],
             line: 321,
@@ -1079,7 +991,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn101(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '4']]],
             expected: [['type' => 'i32', 'value' => '1']],
             line: 322,
@@ -1090,7 +1001,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn102(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '5']]],
             expected: [['type' => 'i32', 'value' => '2']],
             line: 323,
@@ -1101,7 +1011,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAction103(): void
     {
         $this->runActionCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '1'], ['type' => 'i32', 'value' => '3']]],
             line: 326,
         );
@@ -1111,7 +1020,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn104(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '0']]],
             expected: [['type' => 'i32', 'value' => '1']],
             line: 328,
@@ -1122,7 +1030,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn105(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '1']]],
             expected: [['type' => 'i32', 'value' => '2']],
             line: 329,
@@ -1133,7 +1040,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn106(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '2']]],
             expected: [['type' => 'i32', 'value' => '0']],
             line: 330,
@@ -1144,7 +1050,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAction107(): void
     {
         $this->runActionCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '2'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '3']]],
             line: 333,
         );
@@ -1154,7 +1059,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn108(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '2']]],
             expected: [['type' => 'i32', 'value' => '1']],
             line: 335,
@@ -1165,7 +1069,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn109(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '3']]],
             expected: [['type' => 'i32', 'value' => '2']],
             line: 336,
@@ -1176,7 +1079,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertReturn110(): void
     {
         $this->runAssertReturnCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '4']]],
             expected: [['type' => 'i32', 'value' => '0']],
             line: 337,
@@ -1187,7 +1089,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAction111(): void
     {
         $this->runActionCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '6'], ['type' => 'i32', 'value' => '8'], ['type' => 'i32', 'value' => '2']]],
             line: 340,
         );
@@ -1197,7 +1098,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAction112(): void
     {
         $this->runActionCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '8'], ['type' => 'i32', 'value' => '6'], ['type' => 'i32', 'value' => '2']]],
             line: 341,
         );
@@ -1207,7 +1107,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAction113(): void
     {
         $this->runActionCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '10'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '0']]],
             line: 344,
         );
@@ -1217,7 +1116,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAction114(): void
     {
         $this->runActionCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '10'], ['type' => 'i32', 'value' => '0']]],
             line: 345,
         );
@@ -1227,7 +1125,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertTrap115(): void
     {
         $this->runAssertTrapCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '11'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '0']]],
             text: 'out of bounds table access',
             line: 348,
@@ -1238,7 +1135,6 @@ final class BulkTest extends SpecTestsuiteBase
     public function testAssertTrap116(): void
     {
         $this->runAssertTrapCommand(
-            module: null,
             action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '11'], ['type' => 'i32', 'value' => '0']]],
             text: 'out of bounds table access',
             line: 350,