6Source: https://compcert.org/doc/html/compcert.cfrontend.Cop.html