4 files changed, 64 insertions, 0 deletions
diff --git a/src/Execution/ExternVals/Func.php b/src/Execution/ExternVals/Func.php
new file mode 100644
index 0000000..314d44d
--- /dev/null
+++ b/src/Execution/ExternVals/Func.php
@@ -0,0 +1,16 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Nsfisis\Waddiwasi\Execution\ExternVals;
+
+use Nsfisis\Waddiwasi\Execution\ExternVal;
+use Nsfisis\Waddiwasi\Execution\FuncAddr;
+
+final readonly class Func extends ExternVal
+{
+    protected function __construct(
+        public FuncAddr $addr,
+    ) {
+    }
+}
diff --git a/src/Execution/ExternVals/Global_.php b/src/Execution/ExternVals/Global_.php
new file mode 100644
index 0000000..ae38c78
--- /dev/null
+++ b/src/Execution/ExternVals/Global_.php
@@ -0,0 +1,16 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Nsfisis\Waddiwasi\Execution\ExternVals;
+
+use Nsfisis\Waddiwasi\Execution\ExternVal;
+use Nsfisis\Waddiwasi\Execution\GlobalAddr;
+
+final readonly class Global_ extends ExternVal
+{
+    protected function __construct(
+        public GlobalAddr $addr,
+    ) {
+    }
+}
diff --git a/src/Execution/ExternVals/Mem.php b/src/Execution/ExternVals/Mem.php
new file mode 100644
index 0000000..7bded5a
--- /dev/null
+++ b/src/Execution/ExternVals/Mem.php
@@ -0,0 +1,16 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Nsfisis\Waddiwasi\Execution\ExternVals;
+
+use Nsfisis\Waddiwasi\Execution\ExternVal;
+use Nsfisis\Waddiwasi\Execution\MemAddr;
+
+final readonly class Mem extends ExternVal
+{
+    protected function __construct(
+        public MemAddr $addr,
+    ) {
+    }
+}
diff --git a/src/Execution/ExternVals/Table.php b/src/Execution/ExternVals/Table.php
new file mode 100644
index 0000000..cd36bb2
--- /dev/null
+++ b/src/Execution/ExternVals/Table.php
@@ -0,0 +1,16 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Nsfisis\Waddiwasi\Execution\ExternVals;
+
+use Nsfisis\Waddiwasi\Execution\ExternVal;
+use Nsfisis\Waddiwasi\Execution\TableAddr;
+
+final readonly class Table extends ExternVal
+{
+    protected function __construct(
+        public TableAddr $addr,
+    ) {
+    }
+}