/* 
f takes:
  an array of restricted pointers to int
  an restricted array of restricted pointers to int
*/
void f(int *restrict a[2], int *restrict c[restrict]);