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

void procWithArray();

void procWithArray() {
    _Bool a[3];
    a[5] = 0;
}