void foo(void) {
	int x = 1;
	{
		int x;
	}
	//@ assert x == 1;
}