void main() {
  int a[5] = (int[5])0;
  return;
}