https://blog.regehr.org/archives/1678
Tool for creating minimal examples of C code that triggers compiler bugs.