clarified semantics of arrays as function argument