There are enough ambiguities between language libs, even different versions of the same lib, that transpilation will always depend on verification.

It'll work for toy examples. For nontrivial code the generated transpilation will flame out in a different way on every run.