Comment by willahmad

this assumes generated code is always correct and does exactly what's needed.