Like I said, you can use a signal handler (we already have an alternate signal stack) to give a better error message, which is an improvement, but it doesn't really solve the problem. I wonder how much disabling the alloca stuff costs. It shouldn't matter for the basic operations since they don't `allocate' any thing on the heap and they aren't very recursive.