3 ms·CompCert doesn’t guarantee these two functions will work. Thanks, didn’t know about that project.by tobylane 6y agoCompCert doesn’t guarantee these two functions will work. Thanks, didn’t know about that project.