Yeah, there are transformations that we could apply to the code to make it work. But those transformations aren&#x27;t trivial in the general case: how about breaking out of multiple loops or returns out of the function from inside loops? At some point, the transformations that we&#x27;d have to do would get so complex they&#x27;d hinder the programmer&#x27;s mental model of what code will get generated. We&#x27;d also have to do a fair bit of work to make sure the optimizer can figure out what we&#x27;re encoding so as to not lose performance.