hash-sets: use push-unsafe from hashtables.private.