BucketSet -> RegisterSet