var baz1 = 42;
var baz2 = 10;

function f(x) {
	var y = x + 7+ baz1;
	TAJS_dumpValue(y);
	baz1 = baz1 + 1;
	var g = function gg(z) { y = y+1; /*baz1 = 44; baz2 = 45;*/ return x+y+z+baz1 + baz2 - 1}
	var w = g(123);
	return w + y;
}

var a = f(567);

TAJS_assert(a == 1976);
TAJS_dumpValue(a);
//TAJS_dumpState();
