tree cbba214daaf712ac78547d136aa24b12d1308294
parent 196bb94d66e727e0aec053a0276c3ad701500762
author Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1653588894 -0300
committer Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1653588894 -0300

More checks and documentation for uses of EXTRA_STACK