#ifndef PRINTER_H
#define PRINTER_H
+#pragma GCC visibility push(hidden)
+
extern void printPtr ( StgPtr p );
extern void printObj ( StgClosure *obj );
extern void DEBUG_LoadSymbols( char *name );
extern const char *lookupGHCName( void *addr );
+
+extern char *what_next_strs[];
#endif
+#pragma GCC visibility pop
+
#endif /* PRINTER_H */