The part where behavior is undefined when you overflow the stack makes alloca difficult to use safely, but it is very nice when you can use it!<p>Did you write your 6502 code with closures, higher-order functions, and so on?  My point is that can be hard to figure out when to free an object in this kind of environment, where a value can be captured by multiple closures and may not have a clear owner.