void foo(void) { 
	if (int i = 3) {
		//@ assert i < 10;
	}
}