#include <dmmlib/heap.h>
#include "dmm_config.h"

#ifdef WITH_MEMORY_SPACE_AWARENESS
void initialize_allocator(allocator_t *allocator, void *starting_address, size_t size);
#else
void initialize_allocator(allocator_t *allocator);
#endif /* WITH_MEMORY_SPACE_AWARENESS */