let strict_remove t k =
    if mem t k then remove t k else failwith "Hash_set.strict_remove"