A small test suite for the CompCert C verified compiler - View it on GitHub