#ifndef BLOCK_ALLOC_H
#define BLOCK_ALLOC_H
-#pragma GCC visibility push(hidden)
+BEGIN_RTS_PRIVATE
/* Debugging -------------------------------------------------------------- */
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 */