diff --git a/src/printf.h b/src/printf.h
new file mode 100644
index 0000000..8431566
--- /dev/null
+++ b/src/printf.h
@@ -0,0 +1,23 @@
+#ifndef _PRINTF_H
+#define _PRINTF_H
+
+#include "types.h"
+/*
+  Set standard output channel (default 1)
+*/
+index_t print_stdout(index_t handle);
+
+void print_char(char c);
+void print_int(int n);
+void print_uint_hex(int n);
+void print_uint(unsigned int n);
+int print_array(number_t *s, index_t len);
+int print_string(char *s);
+void print_number(number_t x);
+void print_format(char *format, ...);
+char* sprint_int(char *buf, int i);
+// buffer version supporting up and down growing cyclic buffers
+int bprint_char(char *buf, int off, int size, int dir, char c);
+int bprint_int(char *buf, int off, int size, int dir, int i);
+
+#endif