}
print HEADER "
#define NUM_SYSCALLS ",$i,"
-#define SYS_DEBUG 0x100
-#define SYS_DEBUGHEX 0x101
+#define SYS_DEBUGS 0x100
+#define SYS_DEBUGF 0x101
+#define SYS_DEBUGHEX 0x102
#if !defined(__ASSEMBLER__) && !defined(NO_SYSCALL_STRS)
static const char *cSYSCALL_NAMES[] = {