Possible issue?
I wonder how well this will support code optimisation (supposing anyone bothers any more), as it's quite possible to generate fully functional but non-optimal code that's nevertheless hard or impossible to optimise without major rewrite.