Money quote for those checking the comments first:<p>&quot;Furthermore, we argue that the C standard does not allow Turing complete implementations, and that its evaluation semantics does not preserve typing.
Finally, we claim that no strictly conforming programs exist. That is, there is no C program for which the standard can guarantee that it will not crash.&quot;