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