void f(int x[2]);