let rec bucketlist_length = function
  | Empty -> 0
  | Cons (_,bl) -> succ (bucketlist_length bl)