//#Unsafe
// Unsafe because n could be smaller than one
// Author: heizmann@informatik.uni-freiburg.de
// Date: 27.7.2012


void procWithArray(int n);

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