Index: src/debug/print.c
===================================================================
--- src/debug/print.c	(revision d7568a9f69f58e260601d89047d089b639a4f5d6)
+++ src/debug/print.c	(revision f2ffad4342f5a0d642de7381ee4fe7692a9fa8ef)
@@ -47,9 +47,9 @@
 void print_str(const char *str)
 {
-        int i = 0;
+	int i = 0;
 	char c;
-    
+	
 	while (c = str[i++])
-	    putchar(c);
+		putchar(c);
 }
 
@@ -85,10 +85,10 @@
  *
  */
-void print_number(const __native num, const int base)
+void print_number(const __native num, const unsigned int base)
 {
 	int val = num;
 	char d[sizeof(__native)*8+1];		/* this is good enough even for base == 2 */
-        int i = sizeof(__native)*8-1;
-    
+	int i = sizeof(__native)*8-1;
+	
 	do {
 		d[i--] = digits[val % base];