void ignoreHeap(void* addr, std::size_t size);
void unignoreHeap(void* addr, std::size_t size);
void declareSymbol(const char *name, int* value);
void ignoreHeap(void* addr, std::size_t size);
void unignoreHeap(void* addr, std::size_t size);
void declareSymbol(const char *name, int* value);