% exports of recordheap
