$input int a[];
int main(int argc, char * argv[]) {
  void *p = (a + 1);

  return 0;
}