2 files changed, 34 insertions, 0 deletions
diff --git a/test/example/c-api-kitchen-sink.c b/test/example/c-api-kitchen-sink.c
index 84f04b45a..feffc9d4c 100644
--- a/test/example/c-api-kitchen-sink.c
+++ b/test/example/c-api-kitchen-sink.c
@@ -433,8 +433,29 @@ void test_binaries() {
   BinaryenModuleDispose(module);
 }
 
+void test_interpret() {
+  // create a simple module with a start method that prints a number, and interpret it, printing that number.
+  BinaryenModuleRef module = BinaryenModuleCreate();
+
+  BinaryenType iparams[2] = { BinaryenInt32() };
+  BinaryenFunctionTypeRef vi = BinaryenAddFunctionType(module, "vi", BinaryenNone(), iparams, 1);
+  BinaryenAddImport(module, "print-i32", "spectest", "print", vi);
+
+  BinaryenFunctionTypeRef v = BinaryenAddFunctionType(module, "v", BinaryenNone(), NULL, 0);
+  BinaryenExpressionRef callOperands[] = { makeInt32(module, 1234) };
+  BinaryenExpressionRef call = BinaryenCallImport(module, "print-i32", callOperands, 1, BinaryenNone());
+  BinaryenFunctionRef starter = BinaryenAddFunction(module, "starter", v, NULL, 0, call);
+  BinaryenSetStart(module, starter);
+
+  BinaryenModulePrint(module);
+  assert(BinaryenModuleValidate(module));
+  BinaryenModuleInterpret(module);
+  BinaryenModuleDispose(module);
+}
+
 int main() {
   test_core();
   test_relooper();
   test_binaries();
+  test_interpret();
 }
diff --git a/test/example/c-api-kitchen-sink.txt b/test/example/c-api-kitchen-sink.txt
index e4973ba16..6776fe2a5 100644
--- a/test/example/c-api-kitchen-sink.txt
+++ b/test/example/c-api-kitchen-sink.txt
@@ -664,3 +664,16 @@ module loaded from binary form:
     )
   )
 )
+(module
+  (memory 0)
+  (start $starter)
+  (type $vi (func (param i32)))
+  (type $v (func))
+  (import $print-i32 "spectest" "print" (param i32))
+  (func $starter (type $v)
+    (call_import $print-i32
+      (i32.const 1234)
+    )
+  )
+)
+(i32.const 1234)