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


void procWithArray(int n);

void procWithArray(int n) {
	if (n > 0) {
		int a[n];
		a[0] = 0;
	}
}