#ifdef PROFILING
+#pragma GCC visibility push(hidden)
+
/*
Type 'retainer' defines the retainer identity.
// the best place to define it.
void printRetainer(FILE *, retainer);
+#pragma GCC visibility pop
+
#endif /* PROFILING */
#endif /* RETAINERSET_H */