Comment by newtypecola

The hard part is no longer generating code, but defining what “correct” means and verifying it.