Example with a Cerise module

wat-toys/external/env.s

@@ -0,0 +1,30 @@
+.text
+    #(RO, Global, 13, 17, 13)
+    mov r10 pc
+    lea r10 -1
+    load r10 r10                ; fetch data capanbility
+    lea r10 2
+    load r1 r10                 ; fetch capability to global Main.g
+    lea r10 1
+    load r10 r10                ; fetch common.link_tbl cap
+    lea r10 5
+    load r10 r10                ; fetch store_global cap
+    mov r2 31
+    loadU r0 stk -3
+    jmp r10
+
+.data
+    #(E, Global, 0, 13, 1)          ; function adv
+    #{1: (RW, Global, 17, 20, 17)}  ; sealed to global
+    $main.g
+    $_Common.link_tbl
+    #0
+    #0
+    ;; Global h
+    #3
+    #0
+    #1
+
+.symtab
+    $env.h: 1
+    $env.adv: 0

wat-toys/external/main.wat

@@ -0,0 +1,17 @@
+(module $main
+        (type $main_t (func))
+        (global $g mut i32 10)
+
+        (import "env" "adv" (func $env.adv (type 0)))
+        (import "env" "h" (global mut i32))
+        (export "g" (global 1))
+
+        (func $main (type 0)
+              global.get 0
+              i32.const 0
+              i32.add
+              global.set 0
+
+              call 0)
+
+        (start 1))