Symbol: numbucketlocks