[treyd]

But that doesn't stop it from generating code that segfaults.

[mejutoco]

That is the same problem as generating python that blows up, no? (assuming it is tested in a sandbox)