[1] Whether w1 and w2 share the same physical code stored in the computer, or whether they each keep a copy of the code, is a detail of the implementation. For the interpreter we implement in chapter 4, the code is in fact shared.
3.2.3 Frames as the Repository of Local State