DEBUG_FUNCTION void debug_varpool (void) { dump_varpool (stderr); }
void debug_varpool (void) { dump_varpool (stderr); }