void print_array_int(int x, ...) {
  dXSARGS;
  int i;

  for(i=0;i < items - 1; i++) {
    printf("Element array[%d] = %d\n",i,SvIV(ST(i)));
  }
  XSRETURN(0);
}