Agreed that it can be done but at a considerable cost. Translating every assignment into a function call is within what I didn't consider feasible from a practi

Agreed that it can be done but at a considerable cost. Translating every assignment into a function call is within what I didn't consider feasible from a practical point of view. The best research papers I saw on this topic proposed to pass an additional "ghost stack" as a parameters in every function call that is structured in a specific way so that roots are not "optimized away" by the compiler.