diff --git a/targets/wasm-module/tacle-kernel-cosf.cpp b/targets/wasm-module/tacle-kernel-cosf.cpp
new file mode 100644
index 0000000..10f6734
--- /dev/null
+++ b/targets/wasm-module/tacle-kernel-cosf.cpp
@@ -0,0 +1,27 @@
+#include "../lib.h"
+
+extern "C" {
+void __pragma_loopbound(unsigned, unsigned) {}
+
+void cosf_init(void);
+void cosf_main(void);
+int cosf_return(void);
+
+EXPORT("wasm_module") int wasm_module(void) {
+  cosf_init();
+
+  fail_start_trace();
+  cosf_main();
+  fail_stop_trace();
+
+  int ret = cosf_return();
+  if (ret == 0) {
+    PRINT("result correct.\n");
+    fail_marker_positive();
+  } else {
+    PRINT("result incorrect.\n");
+    fail_marker_negative();
+  }
+  return ret;
+}
+}
diff --git a/targets/wasm-module/tacle-kernel-cubic.cpp b/targets/wasm-module/tacle-kernel-cubic.cpp
new file mode 100644
index 0000000..a461538
--- /dev/null
+++ b/targets/wasm-module/tacle-kernel-cubic.cpp
@@ -0,0 +1,27 @@
+#include "../lib.h"
+
+extern "C" {
+void __pragma_loopbound(unsigned, unsigned) {}
+
+void cubic_init(void);
+void cubic_main(void);
+int cubic_return(void);
+
+EXPORT("wasm_module") int wasm_module(void) {
+  cubic_init();
+
+  fail_start_trace();
+  cubic_main();
+  fail_stop_trace();
+
+  int ret = cubic_return();
+  if (ret == 0) {
+    PRINT("result correct.\n");
+    fail_marker_positive();
+  } else {
+    PRINT("result incorrect.\n");
+    fail_marker_negative();
+  }
+  return ret;
+}
+}
diff --git a/targets/wasm-module/tacle-kernel-deg2rad.cpp b/targets/wasm-module/tacle-kernel-deg2rad.cpp
new file mode 100644
index 0000000..8fd7630
--- /dev/null
+++ b/targets/wasm-module/tacle-kernel-deg2rad.cpp
@@ -0,0 +1,27 @@
+#include "../lib.h"
+
+extern "C" {
+void __pragma_loopbound(unsigned, unsigned) {}
+
+void deg2rad_init(void);
+void deg2rad_main(void);
+int deg2rad_return(void);
+
+EXPORT("wasm_module") int wasm_module(void) {
+  deg2rad_init();
+
+  fail_start_trace();
+  deg2rad_main();
+  fail_stop_trace();
+
+  int ret = deg2rad_return();
+  if (ret == 0) {
+    PRINT("result correct.\n");
+    fail_marker_positive();
+  } else {
+    PRINT("result incorrect.\n");
+    fail_marker_negative();
+  }
+  return ret;
+}
+}
diff --git a/targets/wasm-module/tacle-kernel-fac.cpp b/targets/wasm-module/tacle-kernel-fac.cpp
new file mode 100644
index 0000000..8e9c681
--- /dev/null
+++ b/targets/wasm-module/tacle-kernel-fac.cpp
@@ -0,0 +1,27 @@
+#include "../lib.h"
+
+extern "C" {
+void __pragma_loopbound(unsigned, unsigned) {}
+
+void fac_init(void);
+void fac_main(void);
+int fac_return(void);
+
+EXPORT("wasm_module") int wasm_module(void) {
+  fac_init();
+
+  fail_start_trace();
+  fac_main();
+  fail_stop_trace();
+
+  int ret = fac_return();
+  if (ret == 0) {
+    PRINT("result correct.\n");
+    fail_marker_positive();
+  } else {
+    PRINT("result incorrect.\n");
+    fail_marker_negative();
+  }
+  return ret;
+}
+}
diff --git a/targets/wasm-module/tacle-kernel-iir.cpp b/targets/wasm-module/tacle-kernel-iir.cpp
new file mode 100644
index 0000000..ca61dda
--- /dev/null
+++ b/targets/wasm-module/tacle-kernel-iir.cpp
@@ -0,0 +1,27 @@
+#include "../lib.h"
+
+extern "C" {
+void __pragma_loopbound(unsigned, unsigned) {}
+
+void iir_init(void);
+void iir_main(void);
+int iir_return(void);
+
+EXPORT("wasm_module") int wasm_module(void) {
+  iir_init();
+
+  fail_start_trace();
+  iir_main();
+  fail_stop_trace();
+
+  int ret = iir_return();
+  if (ret == 0) {
+    PRINT("result correct.\n");
+    fail_marker_positive();
+  } else {
+    PRINT("result incorrect.\n");
+    fail_marker_negative();
+  }
+  return ret;
+}
+}
diff --git a/targets/wasm-module/tacle-kernel-isqrt.cpp b/targets/wasm-module/tacle-kernel-isqrt.cpp
new file mode 100644
index 0000000..4a14b18
--- /dev/null
+++ b/targets/wasm-module/tacle-kernel-isqrt.cpp
@@ -0,0 +1,27 @@
+#include "../lib.h"
+
+extern "C" {
+void __pragma_loopbound(unsigned, unsigned) {}
+
+void isqrt_init(void);
+void isqrt_main(void);
+int isqrt_return(void);
+
+EXPORT("wasm_module") int wasm_module(void) {
+  isqrt_init();
+
+  fail_start_trace();
+  isqrt_main();
+  fail_stop_trace();
+
+  int ret = isqrt_return();
+  if (ret == 0) {
+    PRINT("result correct.\n");
+    fail_marker_positive();
+  } else {
+    PRINT("result incorrect.\n");
+    fail_marker_negative();
+  }
+  return ret;
+}
+}
diff --git a/targets/wasm-module/tacle-kernel-jfdctint.cpp b/targets/wasm-module/tacle-kernel-jfdctint.cpp
new file mode 100644
index 0000000..0c03d8d
--- /dev/null
+++ b/targets/wasm-module/tacle-kernel-jfdctint.cpp
@@ -0,0 +1,27 @@
+#include "../lib.h"
+
+extern "C" {
+void __pragma_loopbound(unsigned, unsigned) {}
+
+void jfdctint_init(void);
+void jfdctint_main(void);
+int jfdctint_return(void);
+
+EXPORT("wasm_module") int wasm_module(void) {
+  jfdctint_init();
+
+  fail_start_trace();
+  jfdctint_main();
+  fail_stop_trace();
+
+  int ret = jfdctint_return();
+  if (ret == 0) {
+    PRINT("result correct.\n");
+    fail_marker_positive();
+  } else {
+    PRINT("result incorrect.\n");
+    fail_marker_negative();
+  }
+  return ret;
+}
+}