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

void procWithArray();

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