Comment by sesm

Just to clarify, you did this for C tools using LLMs or using deterministic conversion tools?