a → &a[0]
p[i] → *(p + i)
arrays passed by reference
array parameter declarations rewritten
a[i] → (&a[0])[i] → *(&a[0] + i)
