// formal array parameter:

void foo(int a[2])
{
}