5 ms·FYI, this has been done: https://compcert.org/ https://compcert.org/by crocal 4y agoFYI, this has been done: https://compcert.org/ https://compcert.org/