@foonathan@jrose If you have concurrency, that memory has to be in TLS.
Now I'm wondering: your compiler could statically mark a lot of functions as "non-recursive", based on a conservative call graph. Would it make sense to statically allocate their "stack space" or is this not actually faster?