(long v, int idx)
| 134 | a[idx] = this.get(val); |
| 135 | } |
| 136 | public synchronized long foreignArrayAt(long v, int idx) { |
| 137 | Object[] a = (Object[])this.get(v); |
| 138 | return track(a[idx]); |
| 139 | } |
| 140 | public synchronized long foreignArrayLen(long v) { |
| 141 | Object[] a = (Object[])this.get(v); |
| 142 | return a.length; |