Dear David,

This seems to me an OS issue. If `malloc' does not fail we cannot do much. On Windows, I got stack overflow before No Memory exception. Only when I extend the stack size to very large, the program apparently runs into infinite loop. The OS finally becomes very slow, but no crash. I think in that situation the OS may think it still possible to allocate memory, but simply very slow.