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

#include <stdlib.h>

int main(void) {
	int a[2] = { 23, 42 };
	int *p = &a[0];
	int x;
	
	p = p + 2;
	x = *p;
	return 0;
}