Great survey of what semantics C users expect from their compilers: http://t.co/3xmwmOkkU2