zlacker

>>ingve+(OP)
This strikes me as a very agent-friendly problem. Given a harness that enforces sufficiently-rigorous tests, I'm sure you could spin up an agent loop that methodically churns through these functions one by one, finishing in a few days.

>>nemo16+EV
hallucinations in a libc implementation would be especially bad