Better "Record decode(int index)" in RecordDecoder
Better toString for DummyRecord