[sr-dev] git:master:e5b3474a: core/dset: Add options field to print_dset()