Adds RecordArray that generalizes several tasks performed by debugger.