Index: uspace/libc/include/as.h
===================================================================
--- uspace/libc/include/as.h	(revision 2def78824559e9a326693314a605af8e1e7e690a)
+++ uspace/libc/include/as.h	(revision 9a5b556abb26634c82cbd3954b0fdb4db62b828e)
@@ -41,6 +41,4 @@
 #include <kernel/mm/as.h>
 
-#define USER_ADDRESS_SPACE_SIZE_ARCH (USER_ADDRESS_SPACE_END_ARCH-USER_ADDRESS_SPACE_START_ARCH+1)
-
 extern void *as_area_create(void *address, size_t size, int flags);
 extern int as_area_resize(void *address, size_t size, int flags);
Index: uspace/libc/include/stdio.h
===================================================================
--- uspace/libc/include/stdio.h	(revision 2def78824559e9a326693314a605af8e1e7e690a)
+++ uspace/libc/include/stdio.h	(revision 9a5b556abb26634c82cbd3954b0fdb4db62b828e)
@@ -41,5 +41,15 @@
 #define EOF (-1)
 
+#include <string.h>
 #include <io/stream.h>
+
+#define DEBUG(fmt, ...) \
+{ \
+	char buf[256]; \
+	int n; \
+	n = snprintf(buf, sizeof(buf), fmt, ##__VA_ARGS__); \
+	if (n > 0) \
+		(void) __SYSCALL3(SYS_IO, 1, (sysarg_t) buf, strlen(buf)); \
+}
 
 extern int getchar(void);