Cool! It's really helpful to read a blow-by-blow account of someone pushing through this idea, seeing what worked in practice and what didn't. Zopfli is a very

Cool! It's really helpful to read a blow-by-blow account of someone pushing through this idea, seeing what worked in practice and what didn't. Zopfli is a very suitable project. I do wonder though... Surely the high-level goal of porting C code to Rust is not simply to have Rust code, but rather to have code that is immune to a class of memory access problems. So to the extent that the results of your translation are "unsafe", and thus susceptible to those same errors, what has actually been gained? If a second LLM pass is an acceptable way to get rid of those "unsafe"s, shouldn't it also be acceptable to apply such a second pass to the output of c2rust?