Index: include/print.h
===================================================================
--- include/print.h	(revision ea3fb2e58368cb95b4d9ba4e162af9d94a98b17a)
+++ include/print.h	(revision f3ebb6497f267e4a44a4e59b458382cb8b11bc98)
@@ -35,4 +35,5 @@
 #define INT16	2
 #define INT32	4
+#define INT64	8
 
 static void print_str(const char *str);