// ------------------------------------------------------
// Last edited on 2024-11-20 02:49:08 by stolfi
#include <stdio.h>

void proc(unsigned n, int vc[], char *tb[]);

int main (void) {

  unsigned n = 0;
  int vector[n];
  char *table[n];
  int vnext;
  
  fprintf(stderr, "vector = %p table = %p vnext = %p\n",  
    (void*)vector, (void*)table, (void*)(&vnext));
  
  /* proc(n, vector, table); */
  return 0;
}

void proc(unsigned n, int vc[], char *tb[])
  { }
// ------------------------------------------------------