Building a C compiler should not have this problem. There is probably a million test suites coming from outside the LLM that it can sue verify correctness.