It seems trivially obvious to me that there is no way to guarantee and code you write won't be transformed into any runtime under arbitrary "optimization" (tran

It seems trivially obvious to me that there is no way to guarantee and code you write won't be transformed into any runtime under arbitrary "optimization" (transformation). As in, you can have just a single numberic constant in your code and Apple is permitted to insert a for loop up to that constant.