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


int procWithArray(int x);

int procWithArray(int x) {
	int a[];
	a[0] = 0;
	return 1;
}