c/language/as if

Allows any and all code transformations that do not change the observable behavior of the program.