diff --git a/tests/emurt/emurt.c b/tests/emurt/emurt.c
index 24a2de395..d29ee5763 100644
--- a/tests/emurt/emurt.c
+++ b/tests/emurt/emurt.c
@@ -26,13 +26,6 @@ void _exit(int code) {
   __builtin_unreachable();
 }
 
-void print_s(const char *c) {
-  while (*c) {
-    t1_put_char(*c);
-    c++;
-  }
-}
-
 ///////////////////////
 // allocation
 ///////////////////////
diff --git a/tests/emurt/emurt.h b/tests/emurt/emurt.h
index 56c3dbb82..12b58b362 100644
--- a/tests/emurt/emurt.h
+++ b/tests/emurt/emurt.h
@@ -2,5 +2,4 @@
 
 #include <stdint.h>
 
-void print_s(const char *c);
 void place_counter(int i);
diff --git a/tests/emurt/tests/default.nix b/tests/emurt/tests/default.nix
index eb66ef1ab..a3692b361 100644
--- a/tests/emurt/tests/default.nix
+++ b/tests/emurt/tests/default.nix
@@ -9,10 +9,11 @@ in
     dontUnpack = true;
     csrc = writeText "simple-emurt-test.c" ''
       #include <emurt.h>
+      #include <stdio.h>
 
       void test() {
         place_counter(1);
-        print_s("Hello, World\n");
+        printf("Hello, %s", "World\n");
         place_counter(2);
       }
     '';