x := 1 y := 2 y := y + x x := y + x z := y + x put z get x y := 2 y := y + x x := y + x z := y + x put z