Same question about the performance of pattern matching vs indexing into the array manually.