main() {
	a := 1
	b := a + 1
	a = 2
	assert b == 2
}