I'm regretting ever pushing for including ggc_free; the more it's used the more I think we made a fundamental mistake. I agree. It seems to combine the worst of obstacks with the worst of GC.