Array[n] in formal arg should error out