#ifndef early_kalloc_h
#define early_kalloc_h
#include <stdint.h>
uint64_t early_kalloc(int size);
#endif