Support for array-typed variables in native-array-access