Support for index-based filtering in dump_file.