#include <stdio.h>

void f (int i[])
{
  printf ("i: %i %i %i\n", i[0], i[1], i[2]);
}

int main (int argc, char *argv[])
{
  f ((int []) {1, 3, 7});
  return 0;
}