9a10,11
> /* INSTRUMENTED VERSION */
>
43c45,48
<   def isTuple(x: Any) = x != null && tupleNames(x.getClass.getName)
---
>   var arrayApplyCount = 0
>   var arrayUpdateCount = 0
>
>   def isTuple(x: Any) = tupleNames(x.getClass.getName)
75c80,82
<   def array_apply(xs: AnyRef, idx: Int): Any = xs match {
---
>   def array_apply(xs: AnyRef, idx: Int): Any = {
>     arrayApplyCount += 1
>     xs match {
87a95
>   }
90c98,100
<   def array_update(xs: AnyRef, idx: Int, value: Any): Unit = xs match {
---
>   def array_update(xs: AnyRef, idx: Int, value: Any): Unit = {
>     arrayUpdateCount += 1
>     xs match {
101a112
>   }