//#Safe
// Author: heizmann@informatik.uni-freiburg.de
// Date: 27.7.2012

void procWithArray();

void procWithArray() {
	int a[1];
	a[0] = 0;
	//@assert a[0] == 0;
}