Cheng Shao pushed new branch wip/c11-checks at
Glasgow Haskell Compiler / GHC