Had been reading the SOSP paper: <https://pdos.csail.mit.edu/papers/stack:sosp13.pdf>
and this blog post that proposes a simpler C: <http://blog.regehr.org/archives/1180> I wonder how Plan 9 C compiler, which is a non-ANSI compliant compiler, treats those parts that the ANSI C standard treats as undefined. -- Ramakrishnan