//#Unsafe
// Author: heizmann@informatik.uni-freiburg.de
// Date: 2015-09-19

int main(void);

int main(void) {
	int a[2] = { 23, 42 };
	int x = a[2];
}