CompCert version: 3.7

Release date: March 31, 2020