diff --git a/src/kernel/alloc.c b/src/kernel/alloc.c
index f83c2c8..2fb08c3 100644
--- a/src/kernel/alloc.c
+++ b/src/kernel/alloc.c
@@ -1,3 +1,4 @@
+#include "alloc.h"
 #include <assert.h>
 
 typedef struct block_header
diff --git a/src/kernel/alloc.h b/src/kernel/alloc.h
index 0171ef2..7c9f478 100644
--- a/src/kernel/alloc.h
+++ b/src/kernel/alloc.h
@@ -1,4 +1,6 @@
 #pragma once
 
+#include "def.h"
+
 void* malloc(size_t size);
 void free(void* ptr);
\ No newline at end of file
diff --git a/src/lib/def.h b/src/lib/def.h
index 4669018..1fd01d2 100644
--- a/src/lib/def.h
+++ b/src/lib/def.h
@@ -7,12 +7,6 @@ typedef __builtin_va_list va_list;
 #define va_end(ap) __builtin_va_end(ap)
 #define va_copy(dest, src) __builtin_va_copy(dest, src)
 
-#define bool _Bool
-#define true 1
-#define false 0
-
-#define __bool_true_false_are_defined 1
-
 #ifndef NULL
 #define NULL ((void*)0)
 #endif