Great blog post on termination analysis in compilers: http://t.co/GcEUa9jxYe and scary to learn that while(1){} may be removed by a compiler