diff --git a/runtime/sample.c b/runtime/sample.c
index c45eaa5..c7c18b1 100644
--- a/runtime/sample.c
+++ b/runtime/sample.c
@@ -1,6 +1,4 @@
-#include <stdint.h>
-
-void print(char *variable_name, uint64_t value);
+extern void print(char *variable_name, unsigned long long value);
 
 void gogogo() {
     print("x", 4);