1// This function is broken, but this file is blacklisted
2int externalBrokenFunction(int argc) {
3  char x[10] = {0};
4  return x[argc * 10];  // BOOM
5}
6