> as a lot of things become possible & better with data flow > analysis, not just bounds check elimination. Great. Now I know. Btw: Could you elaborate a bit on what data flow optimizations mean? What other kinds of optimizations will become possible? Is this something that other langs/compilers offer?