I was about to write a helper function that dispatches to either malloc or alloca then I realized how flawed this idea is. If only there was a way to alloca in one of your callers, by getting some kind of handle from them...
Maybe just a separate stack for allocations? You could even make it so that objects can be destroyed in arbitrary order, but actual freeing is deferred until all object at the top of the stack are destroyed.
