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