[mgaunard]

C programs with undefined behaviour were never conforming or well-working.

I stopped reading at the abstract; garbage rant full of contradictions.