diff --git a/targets/wasm-module/tacle-kernel-binarysearch.cpp b/targets/wasm-module/tacle-kernel-binarysearch.cpp
new file mode 100644
index 0000000..9514c2d
--- /dev/null
+++ b/targets/wasm-module/tacle-kernel-binarysearch.cpp
@@ -0,0 +1,25 @@
+#include "../lib.h"
+
+extern "C" {
+void __pragma_loopbound(unsigned, unsigned) {}
+
+void binarysearch_init(void);
+void binarysearch_main(void);
+int binarysearch_return(void);
+
+EXPORT("wasm_module") int wasm_module(void) {
+  binarysearch_init();
+
+  fail_start_trace();
+  binarysearch_main();
+  fail_stop_trace();
+
+  int ret = binarysearch_return() - (-1);
+  if (ret == 0) {
+    fail_marker_positive();
+  } else {
+    fail_marker_negative();
+  }
+  return ret;
+}
+}
diff --git a/targets/wasm-module/tacle-kernel-complex_updates.cpp b/targets/wasm-module/tacle-kernel-complex_updates.cpp
new file mode 100644
index 0000000..54f5a82
--- /dev/null
+++ b/targets/wasm-module/tacle-kernel-complex_updates.cpp
@@ -0,0 +1,25 @@
+#include "../lib.h"
+
+extern "C" {
+void __pragma_loopbound(unsigned, unsigned) {}
+
+void complex_updates_init(void);
+void complex_updates_main(void);
+int complex_updates_return(void);
+
+EXPORT("wasm_module") int wasm_module(void) {
+  complex_updates_init();
+
+  fail_start_trace();
+  complex_updates_main();
+  fail_stop_trace();
+
+  int ret = complex_updates_return();
+  if (ret == 0) {
+    fail_marker_positive();
+  } else {
+    fail_marker_negative();
+  }
+  return ret;
+}
+}
diff --git a/targets/wasm-module/tacle-kernel-matrix1.cpp b/targets/wasm-module/tacle-kernel-matrix1.cpp
new file mode 100644
index 0000000..7d08633
--- /dev/null
+++ b/targets/wasm-module/tacle-kernel-matrix1.cpp
@@ -0,0 +1,25 @@
+#include "../lib.h"
+
+extern "C" {
+void __pragma_loopbound(unsigned, unsigned) {}
+
+void matrix1_init(void);
+void matrix1_main(void);
+int matrix1_return(void);
+
+EXPORT("wasm_module") int wasm_module(void) {
+  matrix1_init();
+
+  fail_start_trace();
+  matrix1_main();
+  fail_stop_trace();
+
+  int ret = matrix1_return();
+  if (ret == 0) {
+    fail_marker_positive();
+  } else {
+    fail_marker_negative();
+  }
+  return ret;
+}
+}