extern void* heap_base;
void init_pages(void);
void* get_reserved_pages(void* addr, size_t size);
void free_pages(void* addr, size_t size);