main() {
	x := 1
	y := x + 1
	x = 2
	assert y == 2
}