#ifndef BLOCK_ALLOC_H
#define BLOCK_ALLOC_H
-#pragma GCC visibility push(hidden)
+BEGIN_RTS_PRIVATE
/* Debugging -------------------------------------------------------------- */
+extern nat countBlocks (bdescr *bd);
+extern nat countAllocdBlocks (bdescr *bd);
+
#ifdef DEBUG
void checkFreeListSanity(void);
nat countFreeList(void);
extern lnat n_alloc_blocks; // currently allocated blocks
extern lnat hw_alloc_blocks; // high-water allocated blocks
-#pragma GCC visibility pop
+END_RTS_PRIVATE
#endif /* BLOCK_ALLOC_H */