#include <stdint.h>
uint32_t kmalloc(uint32_t size);