added noalias attribute for array arguments