@julesh Didn't SML/NJ do essentially something like this? The "call stack" was heap allocated.<google>...Yeah something like thishttps://www.cs.princeton.edu/~appel/papers/stack2.pdf