Yes, but that requires eliminating aliasing and expressions with side effects?