michael@0: // -*- mode:js2 -*-
michael@0: 
michael@0: function f() {
michael@0:     var x = 1;                          // line 4
michael@0:     return function g() {
michael@0:         var y = 2;                      // line 6
michael@0:         return function h() {
michael@0:             var z = 3;                  // line 8
michael@0:             return x+y+z;
michael@0:         };
michael@0:     };
michael@0: }