Yeah, I think you're right. I guess a more general statement would be that the example optimization may not be valid because that function may contain unknown s

Yeah, I think you're right. I guess a more general statement would be that the example optimization may not be valid because that function may contain unknown side effects, including program termination.