I can already see it: > This C code is guaranteed to be safe. We had an AI go through it and make it safe. No, thanks. That sounds more like a problem than a

I can already see it: > This C code is guaranteed to be safe. We had an AI go through it and make it safe. No, thanks. That sounds more like a problem than a solution.