Scripts that I used to write a blog post about section 7.24.1(2) of C11 - View it on GitHub