modified:   src/bt_sets.c