- handles are transformed from pointer to indices.
- fix bug in GC marking the pair tail.