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

void procWithArray();

void procWithArray() {
	int a[1];
	int i = 0;
	a[i++] = 0;
}