1 2 3 4 5 6
/* 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]);