On Wed Dec 7 16:15:41 2022 +0000, Jacek Caban wrote:
This is not really generic nor used outside GC, I'd suggest to make it private to GC and not have it in the header at all.
I see. I thought it could be useful in the future to implement other stack-based algorithms if we ever (hypothetically) run into stack overflows due to certain scripts. But I guess it's easy enough to change then to have it generic.