let strict_add t k =
    if mem t k then failwith "Hash_set.strict_add"
    else Hashtbl.add t ~key:k ~data:()