diff --git a/nac3artiq/demo/min_artiq.py b/nac3artiq/demo/min_artiq.py
index 88cb981..2fbd076 100644
--- a/nac3artiq/demo/min_artiq.py
+++ b/nac3artiq/demo/min_artiq.py
@@ -8,6 +8,7 @@ import nac3artiq
 
 __all__ = ["KernelInvariant", "extern", "kernel", "portable", "nac3",
            "ms", "us", "ns",
+           "print_int32", "print_int64",
            "Core", "TTLOut", "parallel", "sequential"]
 
 
@@ -100,6 +101,17 @@ def rtio_input_data(channel: int32) -> int32:
     raise NotImplementedError("syscall not simulated")
 
 
+# These is not part of ARTIQ and only available in runkernel. Defined here for convenience.
+@extern
+def print_int32(x: int32):
+    raise NotImplementedError("syscall not simulated")
+
+
+@extern
+def print_int64(x: int64):
+    raise NotImplementedError("syscall not simulated")
+
+
 @nac3
 class Core:
     ref_period: KernelInvariant[float]
diff --git a/runkernel/src/main.rs b/runkernel/src/main.rs
index e639276..5ce64d9 100644
--- a/runkernel/src/main.rs
+++ b/runkernel/src/main.rs
@@ -34,8 +34,13 @@ pub extern "C" fn rtio_output(target: i32, data: i32) {
 }
 
 #[no_mangle]
-pub extern "C" fn print_int(x: i32) {
-    println!("print_int: {}", x);
+pub extern "C" fn print_int32(x: i32) {
+    println!("print_int32: {}", x);
+}
+
+#[no_mangle]
+pub extern "C" fn print_int64(x: i64) {
+    println!("print_int64: {}", x);
 }