implement dump_set